User guide

C-7
Simulation Options
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 matches.
finish_maxfail=N
Terminates the simulation if the number of failures for any
assertion reaches N. You must supply N, otherwise no limit is
set.
global_finish_maxfail=N
Stops the simulation when the total number of failures, from all
SystemVerilog assertions, reaches N.
maxcover=N
Disables the collection of coverage information for cover
statements after the cover statements are covered N number
of times. N must be a positive integer; it can’t be 0.
maxfail=N
Limits the number of failures for each assertion to N. When the
limit is reached, VCS disables the assertion. You must supply
N, otherwise no limit is set.
maxsuccess=N
Limits the total number of reported successes to N. You must
supply N, otherwise no limit is set. VCS continues to monitor
assertions even after the limit is reached.
nocovdb
Tells VCS not to write the program_name.db database file for
assertion coverage.