User guide

23-40
SystemVerilog Assertion Constructs
success
Enables reporting of successful matches, and successes on
cover statements, in addition to failures. The default is to report
only failures.
verbose
Adds more information to the end of the report specified by the
report keyword argument and a summary with the number of
assertions present, attempted, and failed.
You can enter more than one keyword, using the plus + separator.
For example:
-assert maxfail=10+maxsucess=20+success+filter
By default VCS collects coverage information on cover statements,
you can limit or disable collectiong this information with the maxcover
and nocovdb arguments.
VCS collects coverage information on assert statements when you
enter the -cm assert compile-time option and keyword argument.
Most of the compile-time and runtime options that were implemented
for OpenVera assertions also work on SystemVerilog assertions.
These compile-time options are as follows:
These runtime options are as follows:
-ova_cov -ova_cov_events -ova_cov_hier
-ova_debug -ova_dir -ova_file
-ova_filter_past -ova_enable_diag
-ova_quiet -ova_report -ova_verbose
-ova_filter -ova_max_fail -ova_max_success