User guide

20-38
Using OpenVera Assertions
Incremental Compile
The step 2 OVA engine compile (-ova_RPP) uses incremental
compile in order to speed up the compilation process for multiple runs.
Incremental compile generates intermediate files in a directory
named csrc by default. If you enable the incremental compile feature
in the step1 compile, it is possible for the csrc intermediate files to be
corrupted. If you use incremental compile, you should also add the
-Mdir=dirname option to the command line to direct the
VCScompiler to store it's intermediate files in a unique directory.
Inlined OVA
The step1 compile command can include the -ova_inline option
to enable the capture and processing of OVA statements inlined as
pragmas in the Verilog source. These pragmas are not copied to the
skeleton design and thus will not be processed during the
post-processing playback. This is in keeping with the strategy of
post-processing, which allows playback of one or more sets of signal
waveforms against one or more sets of OVA checkers.
Post-processing was designed to playback against checkers defined
in independent standalone OVA files (those given on the step 2
(-ova_RPP) command line).
Inlined OVA statements will not, however, interfere with the
post-processing execution of the OVA statements compiled in step
2. Inlined OVA may be freely included in the design for interactive/
debugging purposes, and inlined statements will simply be excluded
from the post-processing runs.