User guide

23-37
SystemVerilog Assertion Constructs
dumpoff
Disables the dumping of SVA information in the VPD file during
simulation.
VCS has the following runtime option for controllong SystemVerilog
assertions:
-assert keyword_argument
The keyword arguments are as follows:
dumpoff
Disables the dumping of SVA information in the VPD file during
simulation.
dve
Tells VCS to record SystemVerilog assertion information in the
VPD file.
filter
Blocks reporting of trivial implication successes. These happen
when an implication construct registers a success only because
the precondition (antecedent) portion is false (and so the
consequent portion is not checked). With this option, reporting
only shows successes in which the whole expression matched.
finish_maxfail=N
Used for simulation control, terminates the simulation if the
number of failures for any assertion reaches N. N must be
supplied, otherwise no limit is set.
global_finish_maxfail=N
Used for simulation control, stops the simulation when the total
number of failures, from all SystemVerilog assertions, reaches N.