User guide

23-45
SystemVerilog Assertion Constructs
-cm_assert_report path/filename
Specifies the file name or the full path name of the assertion
coverage report file. This option overrides the default report name
and location, which is ./simv.vdb/fcov/results.db If only a file name
is given, the default location is used resulting in: ./simv.vdb/fcov/
filename.db.
VCS also has the following runtime option and keyword options for
assertion coverage:
-assert nocovdb
Tells VCS not to write the results.db database file for assertion
coverage. Without this file there is no coverage data.
Reporting On Assertions Coverage
After running a series of simulations, you can generate a report
summarizing the coverage of both kinds of assertions. With this
report, you can quickly see if all assertions were attempted, how often
they were successful, and how often they failed. Potential problem
areas can be easily identified. The report can cover one test or merge
the results of a test suite. The report is written in HTML and you can
customize it with a Tcl script.
The default report shows the number of assertions that:
• Were attempted
• Had successes
• Had failures
Coverage is broken down by module and instance, showing for each
assertion and expression, the number of attempts, failures, and
successes.