[VCS]Condition Coverage收不全的问题及解法

-cm line+cond+fsm+tgl+branch+assert

line : Enable collecting line or statement coverage
cond : Enable collecting condition coverage
fsm : Enable collecting FSM coverage
tgl : Enable collecting toggle coverage
branch : Enable collecting branch coverage
assert :  Enable collecting SystemVerilog assertion coverage

-cm_libs yv

yv :Enable collecting coverage source code from Verilog libraries
Default doesn't collect coverage of the library files. 

-cm_dir $directory_path_name

Specify an name and location for simv.vdb

Default is simv.vdb

-cm_log $filename

Specify a log file for monitoring coverage.

Default is cm.log. To suppress the log file, you could re-direct the log file to empty path. (ex, -cm_log /dev/null)

-cm_name $testname

Specify a different location for different simulation, used in dsim flow

-cm_hier $filename

Collect particular instances' coverage

$filename contents
------------------------------
+/-tree $instance_name [$level] //level number of 0 (or no level number) specifies the entire sub-hierarchy
+/-module $module_name

-cm_assert_hier $filename

Collect particular assertion' coverage

$filename contents
------------------------------
+/-assert my_assert
+/-assert A*
+/-assert $instance_name

-cm_line contassign

Specifies enabling line coverage for Verilog continuous assignments.

-cm_tgl portsonly

Only monitor port of toggle coverage, remove net and variables monitor in modules.

-dir <dir>

Use <dir> as directory for source data;

-report <dir>

Generate report in <dir> instead of default directory. default report directory is urgReport;

-metric line

Report line coverage;

-metric fsm

Report fsm coverage;

-metric cond

Report cond coverage;

-metric tgl

Report tgl coverage;

-metric assert

Report coverage for monitored cover directives, events and assertions;

-line nocasedef

Exclude case default lines in line coverage

-tgl portsonly

Only report ports in toggle coverage;

-elfile <file>

Exclude coverable objects specified in <file> for code/assertion/group coverage;

-elfilelist <file>

A <file> containing exclusion file names to be loaded;

-hier <file>

Specify the module definitions,instances,hierarchies,and source files you want to exclude or include for report;

-format both

Generate both HTML and text reports;

-show ratios

Show number of covered objects and total number of objects with each score;

-dbname dirname

Creates a merged database in the directory 'dirname.vdb'. The

name of the merged test will be 'test' by default.

-noreport

Generates only the merged results when used with -dbname; this

option does not generate reports

-mode64 | -full64

Use 64 bit URG;

-map <mod>

Report on merging mapped modules coverage;

-xmlplan

Also report HVP in the XML format;