User guide

20-47
Using OpenVera Assertions
-ova_cov_merge filename
Specifies the path name of a functional coverage result file or
directory to be included in the report. If filename is a directory, all
coverage result files under that directory are merged. Repeat this
option for any result file or directory to be merged into this report.
If this option is not used, fcovReport merges all the result files in
the directory of the template database (specified with
-ova_cov_db or simv.vdb/fcov by default).
-ova_cov_report name | path/name
Specifies the base name for the report. The fcovReport command
creates an HTML index file at simv.vdb/reports/
name.fcov-index.html and stores the other report files under
simv.vdb/reports/name.fcov.
If you give a path name, the last component of the path is used
as the base name. So the report files are stored under path/name
and the index file is at path/name.fcov-index.html.
If this option is not included, the report files are stored under
simv.vdb/reports/report.fcov and the index file is named
report.fcov-index.html.
Customizing the Report with Tcl Commands
After you enter fcovReport, you can enter Tcl commands to modify
the report. These commands also work in assertCovReport that you
use for SystemVerilog assertions coverage reports. See “Tcl
Commands For SVA And OVA Functional Coverage Reports” on
page 23-49.