User guide

23-48
SystemVerilog Assertion Constructs
-cm_assert_map filename
Maps the module instances of one design onto another while
merging the results. For example, use this to merge the assertion
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.
-cm_assert_merge filename
Specifies the path name of an assertion 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, assertCovReport merges all the result
files in the directory of the template database (specified with
-cm_assert_dir or simv.vdb/snps/fcov by default).
-cm_assert_report name | path/name
Specifies the base name for the report. The assertCovReport
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.