User guide

20-37
Using OpenVera Assertions
Note that OVAPP internally requires a VPD file. Therefore, if you pass
a VCD file to OVAPP, it calls the vcd2vpd converter prior to the
post-processing run. This means that using VPD files to capture the
waveforms to be replayed will result in better overall performance.
Dumping Signals Automatically
If you include the OVA checkers to the compilation step before the
waveform replay dump is generated, these signals will be included
in the dump automatically.
Debugging
When the OVA files are compiled in step 2 (-ova_RPP), debugging
is enabled by default, and the -ova_enable_diag and +cli
compile-time options are entered automatically. This is to support the
OVAPP debugger.
PLI or Other 3rd Party Tools
If the initial compilation includes PLI or other 3rd party interfaces that
use PLI/DKI to interface to VCS, a daidir directory will be generated
during the step1 compile. To keep from corrupting this directory, the
-o option for the step 2 compile must name a different basename
from that used for the step1 compile. For safety, it's best to always
include the -o option and use a unique basename for each
compilation.