User guide

20-44
Using OpenVera Assertions
Assertion and Event Summary Report
Since no changes are introduced to the data collection process when
generating functional coverage reports, you can produce different
reports from a simulation. One report could show all assertions and
events; another report could show assertions filtered by category and
severity.
The assertion and event summary report generates four html files:
• The report.index.html file displays total assertions and events and
details including:
- Assertions with at least 1 real success
- Assertions with at least 1 failure
- Assertions with at least 1 incomplete
- Assertions without attempts
- Events with at least 1 attempt
- Events with at least 1 real match
- Events without any match or with only vacuous matches
- Events without any attempts
The report.index.html file also contains links to the other three
files.
• The tests.html file describes the tests merged to generate the
report.
• The hier.html file displays a hierarchical report table showing a
list of instances, the number of assertions in each instance, and
the number of events in each instance.