User guide

20-21
Using OpenVera Assertions
For example it can be:
top.\gen_2.aova2 .cover_temp_no_vacuous_f_eq_t, 4 total
match, 4 first match
-ova_inline
Enables compiling of OVA code that is written inline with a Verilog
design.
Note:
You can also use the VCS -f option to specify a file containing a
list of all absolute pathnames for Verilog source files and
compile-time option. You can pass all OVA compile-time options
through this file, except -ova_debug.
The -assert compile-time option and keyword arguments, that were
implemented for SystemVerilog assertions, also work on OpenVera
assertions. The filter_past keyword argument, for the $past
system function, also works for the past operator. See "Options for
Compiling OpenVera Assertions (OVA)" in Appendix B and "Options
for Simulating OpenVera Assertions" in Appendix C.
OVA Runtime Options
The following runtime options are available for use with OVA:
-ova_quiet [1]
Disables printing results on screen. The report file is not affected.
With the 1 argument, only a summary is printed on screen.