#include <defines.h>
Data Fields | |
| unsigned int | line_hit |
| unsigned int | line_excluded |
| unsigned int | line_total |
| unsigned int | tog01_hit |
| unsigned int | tog10_hit |
| unsigned int | tog_excluded |
| unsigned int | tog_total |
| bool | tog_cov_found |
| unsigned int | comb_hit |
| unsigned int | comb_excluded |
| unsigned int | comb_total |
| int | state_total |
| int | state_hit |
| int | arc_total |
| int | arc_hit |
| int | arc_excluded |
| unsigned int | race_total |
| unsigned int | rtype_total [RACE_TYPE_NUM] |
| unsigned int | assert_hit |
| unsigned int | assert_excluded |
| unsigned int | assert_total |
| unsigned int | mem_wr_hit |
| unsigned int | mem_rd_hit |
| unsigned int | mem_ae_total |
| unsigned int | mem_tog01_hit |
| unsigned int | mem_tog10_hit |
| unsigned int | mem_tog_total |
| bool | mem_cov_found |
| unsigned int | mem_excluded |
| bool | show |
|
|
Number of excluded arcs |
|
|
Number of FSM arcs traversed |
|
|
Total number of FSM arcs |
|
|
Number of excluded assertions |
|
|
Number of assertions covered during simulation |
|
|
Total number of assertions |
|
|
Number of excluded logic combinations |
|
|
Number of logic combinations hit |
|
|
Total number of expression combinations |
|
|
Number of excluded lines |
|
|
Number of lines executed during simulation |
|
|
Total number of lines parsed |
|
|
Total number of addressable memory elements |
|
|
Specifies if a fully covered memory was found |
|
|
Total number of excluded memory coverage points |
|
|
Total number of addressable memory elements read |
|
|
Total number of bits toggling from 0 to 1 in memories |
|
|
Total number of bits toggling from 1 to 0 in memories |
|
|
Total number of bits in memories |
|
|
Total number of addressable memory elements written |
|
|
Total number of race conditions found |
|
|
Total number of each race condition type found |
|
|
Set to TRUE if this module should be output to the report |
|
|
Number of FSM states reached |
|
|
Total number of FSM states |
|
|
Number of bits toggling from 0 to 1 |
|
|
Number of bits toggling from 1 to 0 |
|
|
Specifies if a fully covered signal was found |
|
|
Number of excluded toggles |
|
|
Total number of bits to toggle |
1.3.4