User guide

C-22
Compile-Time Options
Options for Compiling OpenVera Assertions (OVA)
-ovac
Starts the OVA compiler for checking the syntax of OVA files that
you specify on the vcs command line. This option is for when you
first start writing OVA files and need to make sure that they can
compile correctly.
-ova_cov
Enables viewing results with functional coverage.
-ova_cov_events
Enables coverage reporting of expressions.
-ova_cov_hier filename
Limits functional coverage to the module instances specified in
filename.
-ova_debug | -ova_debug_vpd
Enables viewing results with DVE.
-ova_file filename
Identifies filename as an assertion file. It is not required if the
file name ends with .ova. For multiple assertion files, repeat this
option with each file.
-ova_filter_past
Ignores assertions defined with the past operator when the past
history buffer is empty. For instance, at the very beginning of the
simulation the past history buffer is empty. So, a check/forbid at
the first sampling point and subsequent sampling points should
be ignored until the past buffer has been filled with respect to the
sampling point.
-ova_enable_diag
Enables further control of result reporting with runtime options.