User guide

C-26
Compile-Time Options
- In FSM coverage, reports not just whether an FSM reached a
state, and had such a transition, but also the number of times
it did.
- In condition coverage, reports not just whether a condition was
met or not, but also the number of times the condition was met.
- In line coverage, reports not just whether a line was executed,
but how many times.
-cm_constfile filename
Specifies a file listing signals and 0 or 1 values. VCS compiles for
line and condition coverage as if these signals were permanently
at the specified values and you included the -cm_noconst
option.
-cm_dir directory_path_name
Specifies an alternative name and location for the simv.cm
directory. The -cm_dir option is also a runtime option and a
cmView command line option.
-cm_fsmcfg filename
Specifies an FSM coverage configuration file.
-cm_fsmopt keyword_argument
The keyword arguments are as follows:
allowTemp
By default, the variable that holds the current state of the FSM
must be directly assigned a numerical constant or the value of
a variable that holds the next state of the FSM. This keyword
allows FSM extraction when there is indirect assignment to the
variable that holds the current state.