stmt_blk_s Struct Reference

#include <defines.h>

Data Fields

statementstmt
bool remove
bool seq
bool cmb
bool bassign
bool nassign

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.


Field Documentation

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

Referenced by race_calc_expr_assignment(), and race_check_modules().

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

Referenced by race_calc_stmt_blk_type(), and race_check_modules().

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

Referenced by race_calc_expr_assignment(), and race_check_modules().

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

Referenced by race_check_modules(), race_check_one_block_assignment(), and race_handle_race_condition().

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

Referenced by race_calc_stmt_blk_type(), and race_check_modules().

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

Referenced by race_check_assignment_types(), race_check_modules(), and race_check_one_block_assignment().


The documentation for this struct was generated from the following file:
Generated on Sun Nov 21 00:55:43 2010 for Covered by  doxygen 1.6.3