User guide

C-8
Simulation Options
nopostproc
Disables the display of the SVA coverage summary at the end
of simulation. This summary looks like this for each cover
statement:
"source_filename.v", line_number:
cover_statement_hierarchical_name number attempts,
number total match, number first match, number vacuous
match
quiet
Disables the display of messages when assertions fail.
quiet1
Disables the display of messages when assertions fail but
enables the display of summary information at the end of
simulation. For example:
Summary: 2 assertions, 2 with attempts, 2 with failures
report[=path/filename]
Generates a report file in addition to printing results on your
screen. By default the report file’s name and location is ./
assert.report, but you can change it by entering the path/
filename argument. The file name can start with a number or
letter. The following special characters are acceptable in the
file name: %, ^, and @. Using the following unacceptable special
characters: #, &, *, [], $, (), or ! has the following
consequences:
- A file name containing # or & results in a file name truncation
to the character before the # or &.
- A file name containing * or [] results in a No match
message.
- A file name containing $ results in an Undefined variable
message.