User guide

20-42
Using OpenVera Assertions
Assertion attempts generate messages with the following format:
Viewing Results with Functional Coverage
After running a series of simulations, you can generate a report
summarizing the coverage of the assertions and expressions in the
following two ways:
• With the default 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 presented in HTML and you can customize it with a Tcl script.
• An assertion and event summary report describes the total
number of assertions and events details of their performance. This
list can be filtered by category and severity to report matching
assertions.
Using the Default Report
The default report shows the number of assertions and expressions
that:
• Were attempted
Ova [0]: "cnt.ova", 10: cnt.dut.c_normal_s: started at 5ns failed at 9ns,
File and line with
the assertion
Full hierarchical name
of the assertion
Status (succeeded at ...,
failed at ...,
not finished)
Optional user-defined
failure message
Expression that failed (only with failure of check assertions)
"Wrong result sequence.",
Offending 'outp == 4 #1 outp == 6 #1 outp == 9 #1 outp == 3'
Start timeSeverity