stmt_blk_s Struct Reference

#include <defines.h>

---

Detailed Description

The stmt_blk structure contains extra information for a given signal that is only used during the parsing stage (therefore, the information does not need to be specified in the vsignal structure itself) and is used to keep track of information about that signal's use in the current functional unit. It is used for race condition checking.

Data Fields
statement *	stmt
bool	remove
bool	seq
bool	cmb
bool	bassign
bool	nassign

---

Field Documentation

bool stmt_blk_s::bassign

If true, at least one expression in statement block is a blocking assignment

bool stmt_blk_s::cmb

If true, this statement block is considered to include combinational logic

bool stmt_blk_s::nassign

If true, at least one expression in statement block is a non-blocking assignment

bool stmt_blk_s::remove

Specifies if this statement block should be removed after checking is complete

bool stmt_blk_s::seq

If true, this statement block is considered to include sequential logic

statement* stmt_blk_s::stmt

Pointer to top-level statement in statement tree that this signal is first found in

---

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

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

---