User guide

23-57
SystemVerilog Assertion Constructs
2. Creates the report.fcov directory in the reports directory and writes
in the report.fcov directory the following files: category.html,
hier.html, and tests.html.
Note:
If you include the -cm_assert_report name option on the
assertCovReport command line, you see the following
differences:
- The report.fcov directory is named name.fcov
- The report.index.html file is named name.index.html
The report.index.html File
This file begins with tables of numerical data about the assertions in
your design. This information has a title for a type of information about
your assertions with a total number and percentage under it. In most
cases this title is blue and is a hypertext link to a list of these assertions
further down in this file. These titles and what the values under them
mean are as follows:
Total number of Assertions
The total number of SystemVerilog assert statements and
OpenVera assert directives in your design.
Assertions not Covered
The total number and percentage of the SystemVerilog assert
statements for properties that never matched and the OpenVera
assert directives for sequential expressions that never occur
during simulation.