User guide

20-46
Using OpenVera Assertions
-ova_cov_cover
Specifies reporting of cover directive information only.
-ova_cov_db path
Specifies the path of the template database. If this option is not
included, fcovReport uses simv.vdb.
-ova_cov_events
Specifies reporting only about OVA events.
-ova_cov_grade_instances target,metric
[, time_limit]
Generates an additional report, grade.html, that lists the minimum
set of tests that add up to the target value for the metric (see
previous page for metric codes). The grading is by instance.
-ova_cov_grade_modules target, metric
[, time_limit]
Generates an additional report, grade.html, that lists the minimum
set of tests that add up to the target value for the metric (see
previous page for metric codes). The grading is by module.
-ova_cov_map filename
Maps the module instances of one design onto another while
merging the results. For example, use this to merge the functional
coverage results of unit tests with the results of system tests. Give
the path name of a file that lists the hierarchical names of from/to
pairs of instances with one pair per line:
from_name to_name
The results from the first instance are merged with the results of
the second instance in the report.