statistic_s Struct Reference

#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

Detailed Description

Contains statistics for coverage results which is stored in a functional unit instance.


Field Documentation

unsigned int statistic_s::comb_hit
unsigned int statistic_s::line_hit

Specifies if a fully covered memory was found

Referenced by memory_funit_verbose(), memory_instance_verbose(), report_gather_funit_stats(), and report_gather_instance_stats().

unsigned int statistic_s::rtype_total[RACE_TYPE_NUM]

Total number of each race condition type found

Referenced by report_gather_funit_stats(), and report_gather_instance_stats().

unsigned int statistic_s::tog01_hit
unsigned int statistic_s::tog10_hit

Specifies if a fully covered signal was found

Referenced by report_gather_funit_stats(), report_gather_instance_stats(), toggle_funit_verbose(), and toggle_instance_verbose().

unsigned int statistic_s::tog_total

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