User guide

20-32
Using OpenVera Assertions
Enables the tracing of the specified assertion in the specified
instance, at the specified simulation time.
ova_trace_on assertion_hierarchical_name
Enables tracing of the specified assertion name the next time.
Using Multiple Post-Processing Sessions
You can repeatedly run the post-processor using different input
(either different temporal assertion files or different waveforms). This
section describes how to use the -ova_name option to generate a
unique report for each session. For example:
vcs -ova_RPP first.ova
ovapp -ova_name first -ova_report
vcs -ova_RPP second.ova
ovapp -ova_name second -ova_report
After these two post-processing sessions, the simv.vdb/report
directory contains:
first.report second.report
Multiple OVA Post-Processing Sessions in One
Directory
You can run multiple OVA post-process sessions in the same
directory. While only one design should be simulated in any one
directory, any number of OVA assertion sets and any number of
stimulus waveform patterns can be executed against that one design
from within the same working directory.