User guide

20-7
Using OpenVera Assertions
You can also increment a second counter using the compile-time
option ova_enable_dialog. In this case, the first counter is the
same as the default counter, and the second counter reports the
number of total matches of the event expression.
OVA Flow
OVA uses the following flow:
1. Create a temporal assertion or cover file. See the OpenVera
Assertions Language Reference Manual ($VCS_HOME/doc/
UserGuide/ova_lrm.pdf).
Start with simple temporal expressions and then combine them
to form complex sequences. Simple expressions compile and run
faster, and might use less memory.
Files named with an .ova extension (filename.ova) are recognized
as assertion and cover files.
2. Compile and simulate the design, including Temporal Assertions
files and options, on the vcs and simv command lines.
3. After running the simulation, verify the results:
- See “Viewing Results in a Report File” on page 20-41.
- See “Viewing Results with Functional Coverage” on page
20-42.
- Results can also be monitored through a Vera testbench.