User guide

23-56
SystemVerilog Assertion Constructs
2failures
Holds the count of failed attempts.
3allsuccess
Holds the count of succesful attempts.
4realsuccess
Holds the count of attempts with nonvacuous success.
5events
Holds the count of generated event matches.
8incompletes
Holds the count of unterminated attempts.
The assertCovReport Report Files
When you compile for SystemVerilog or OpenVera assertion
coverage, by including the -cm assert compile-time option and
keyword argument, VCS creates the simv.vdb directory in the current
directory.
When you monitor for SystemVerilog or OpenVera assertion
coverage, by including the -cm assert runtime option and keyword
argument, VCS creates the fcov directory in the simv.vdb directory.
This directory contains binary data about SystemVerilog assertions
coverage (and if also included, about OpenVera assertions
coverage).
When you run assertCovReport, this utility does the following:
1. Creates the reports directory in the simv.vdb directory and writes
the report.index.html file in the reports directory.