User guide

23-38
SystemVerilog Assertion Constructs
maxcover=N
When you include the -cm assert compile-time and runtime
option, VCS include information about cover statements in the
assertion coverage reports. This argument 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, the assertion is disabled. N must be supplied,
otherwise no limit is set.
maxsuccess=N
Limits the total number of reported successes to N. N must be
supplied, otherwise no limit is set. The monitoring of assertions
continues, even after the limit is reached.
nocovdb
When you include the -cm assert compile-time and runtime
option, VCS records assertion coverage information in the
./simv.vdb/fcov/results.db database file.This argument tells VCS
not to write the this file.
nopostproc
Whenther or not you include the -cm assert compile-time and
runtime option, after simulation VCSdisplays the SystemVerilog
asssertion coverage summary. This argument disables the
display of this summary. This summary looks like this for each
cover statement:
"source_filename.v", line_number:
cover_statement_hierarchical_name number attempts,
number total match, number first match, number vacuous
match