User guide

C-27
Compile-Time Options
optimist
Specifies identifying illegal transitions when VCS extracts FSMs
in FSM coverage. cmView then reports illegal transitions in
report files.
report2StateFsms
By default, VCS does not extract two state FSMs. This keyword
tells VCS to extract them.
reportvalues
Specifies reporting the value transitions of the reg that holds
the current state of a One Hot or Hot Bit FSM where 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.
reportWait
Enables VCS to monitor transitions when the signal holding the
current state is assigned the same state value.
reportXassign
Enables the extraction of FSMs in which a state contains the X
(unknown) value.
-cm_fsmresetfilter filename
Filters out transitions in assignment statements controlled by if
statements where the conditional expression (following the
keyword if) is a signal you specify in the file. This filtering out
can be for the specified signal in any module definition or in the
module definition you specify in the file. You can also specify the
FSM and whether the signal is true or false in the file.
-cm_hier filename
When compiling for line, condition, toggle or FSM coverage,
specifies a configuration file that lists the module definitions,
instances and sub-hierarchies, and source files that you want VCS