User guide

20-31
Using OpenVera Assertions
-o simv_name
Specifies the executable name so the post-processor knows
the name and location of the post-processing engine and the
verification database directory. If you used the -o compile-time
option when you built the post-processor, you need to enter it
again on this command line so that the post-processor will know
the name and location of the dynamic library.
OVA Post-Processing CLI Commands
When you include the -cli option, the post-processor displays a CLI
command prompt just like the VCS CLI command prompt:
cli_0>
You can enter any VCS CLI command at this prompt, such as those
for moving up and down the hierarchy and displaying values. There
are also special CLI commands for OVA post-processing. The special
CLI commands are as follows:
pp_fastforward time
Advances post-processing to the specified simulation time.
pp_rewind time
Returns post-processing to the specified previous simulation time.
Disables the tracing of the specified assertion in the specified
instance, at the specified simulation time.
ova_trace_off assertion_hierarchical_name
Disables tracing of the specified assertion the next time.
ova_trace_off instance_hierarchical_name assertion_name time
ova_trace_on instance_hierarchical_name assertion_name time