User guide

23-62
SystemVerilog Assertion Constructs
These links are followed by general information about generating this
report.
The tests.html File
You can use the -cm_assert_map and -cm_assert_merge
command line options to merge the results from one design to
another. This file indicates the path names of the results.db files from
which assertCovReport merges the results.
The category.html File
You can use the $ova_set_category and $ova_set_severity
system tasks to set the category and severity of a SystemVerilog
assertion and an OpenVera assertion.
You can also use the (* category=number *) SystemVerilog
attribute to set the category of a SystemVerilog assertion.
This file shows you the assertions in your design according to
category and severity.
The report begins with categories you used for the SystemVerilog
assert statements or OpenVera assert directives. It shows you
the total number and percentage of each category number (integer).
The word Category preceding a category number is a hypertext link
to a list of assert statements or directives with that category number,
showing you the hierarchical name, number of attempts, successes,
failures, and incompletes.
Next is the same information for the severity numbers you assigned
to your SystemVerilog assert statements or OpenVera assert
directives. The word Severity is a hypertext link to a similar list of
assert statements or directives with that severity number.