there are parameters for the bit numbers of the signals that hold the
current and next state. The default behavior is to identify these
parameters as the states of the FSM and report assignments to their bits
as state transitions.
-cm_hier <filename>
When compiling for line, condition, FSM or toggle coverage, specifies a
configuration file that specifies module definitions, source files, or
module instances and their subhierarchies, that you want VCS to exclude
from coverage or be the only parts of the design compiled for coverage.
When compiling for observed coverage, specifies a file containing a list
of module instances. VCS compile for observed coverage only these instances
and their subhierarchies. Also by default when you use this option the
outputs of these instances are the new observation points unless you also
include the -cm_obc top compile-time option and keyword argument.
-cm_ignoreSignals <port_hierarchical_name>
Specifies an output or inout port that you don't want to be an additional
observation point in observed coverage. You use this option if you
specified the port's module instance with the -cm_instSignals option.
-cm_instSignals <instance_hierarchical_name>
Specifies a module instance whose output and inout ports you want to be
additional observation points in observed coverage.
-cm_libs yv|celldefine
Specifies compiling for coverage source files in Verilog libraries
when you include the yv argument. Specifies compiling for coverage
module definitions that are under the `celldefine compiler directive
when you include the celldefine argument. You can specify both
arguments using the plus (+) delimiter.
-cm_listSignals <signal_hierarchical_name>
Specifies a signal that you want to be an additional observation point
in observed coverage.
-cm_name <filename>
As a compile-time or runtime option, specifies the name of the
intermediate data files.
-cm_noconst
Tells VCS not to monitor for conditions that can never be met or lines
that can never execute because a signal is permanently at a 1 or 0 value.