User guide

C-24
Compile-Time Options
fsm
Compile for FSM coverage.
tgl
Compile for toggle coverage.
path
Compile for path coverage.
branch
Compile for branch coverage
assert
Compile for SystemVerilog assertion coverage.
If you want VCS to compile for more than one type of coverage, use
the plus (+) character as a delimiter between arguments, for example:
-cm line+cond+fsm+tgl
The -cm option is also a runtime option and an option on the cmView
command line.
-cm_assert_hier filename
Limits assertion coverage to the module instances specified in
filename. Specify the instances using the same format as VCS
coverage metrics. If this option is not used, coverage is
implemented on the whole design.
-cm_cond arguments
Modifies condition coverage as specified by the argument or
arguments:
basic
Only logical conditions and no multiple conditions.
std
The default: only logical, multiple, sensitized conditions.