User guide

20-41
Using OpenVera Assertions
Viewing Output Results
The two main ways of viewing the results of a simulation involving
OVA are:
• Viewing Results in a Report File
• Viewing Results with Functional Coverage
Viewing Results in a Report File
A report file is created when the -ova_report runtime option is
used. The report file name is ova.report unless you specified a
different name in the run command. This default ova.report file is
stored in directory simv.vdb/report, where the .vdb directory is the
root directory at the same level where the design is compiled and
simv is stored.
To override this default name and location for the report file, use the
-ova_report runtime option and provide the full path name of the
report file.
The report file is replaced with each simulation run. If you want to
save the results, be sure to rename the file before running the
simulation again.