fsm_var_s Struct Reference

#include <defines.h>

---

Detailed Description

Contains information for an FSM state variable.

Data Fields
char *	funit
char *	name
expression *	ivar
expression *	ovar
vsignal *	iexp
fsm *	table
bool	exclude
fsm_var *	next

---

Field Documentation

bool fsm_var_s::exclude

Set to TRUE if the associated FSM needs to be excluded from coverage consideration

char* fsm_var_s::funit

Name of functional unit containing FSM variable

vsignal* fsm_var_s::iexp

Pointer to input signal matching ovar name

expression* fsm_var_s::ivar

Pointer to input state expression

char* fsm_var_s::name

Name associated with this FSM variable

fsm_var* fsm_var_s::next

Pointer to next fsm_var element in list

expression* fsm_var_s::ovar

Pointer to output state expression

fsm* fsm_var_s::table

Pointer to FSM containing signal from ovar

---

The documentation for this struct was generated from the following file:

• /Users/trevorw/projects/release/covered-0.7.4/src/defines.h

---