User guide

20-33
Using OpenVera Assertions
In this section, reference will be made to the following four-step
post-process flow:
1. Capture waveforms from a simulation of the base design.
2. Compile the base design for post-processing (vcs -ova_PP).
3. Compile the OVA checkers against the base design
(vcs -ova_RPP).
4. Replay the captured waveforms against the compiled checkers
(
ovapp).
Note that step 1 could also be run after step 2 using the executable
generated as part of the compilation of the base design. Note also
that step 3 could be run more than once with different OVA checkers
and that step 4 could be run more than once with different captured
waveform files as input.
In each of these steps, information generated by one step is read and
used by the immediately succeeding step. In step 3, the skeleton
design data generated in step 2 is used to compile the OVA checkers
into an engine that will be used during the post-processing replay. In
step 4, the compiled OVA runtime engine and checker database are
used during the replay. All this intermediate data is stored in
predetermined locations in the vdb directory.
You can select two separate vdb directories via the command line at
each step in the flow. One of these directories takes the same
basename as the simulation executable (derived from the -o option).
This is the vdb directory into which the results of the current step are
written.