User guide

23-39
SystemVerilog Assertion Constructs
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 this file’s name and location is ./assert.report,
but you can change it to where you want by entering the filename
path name argument.
The filename can start with a number or letter. The following
special characters are acceptable in the filename: %, ^, and @.
Using the following unacceptable special characters: #, &, *, [],
$, (), or ! has the following consequences:
- A filename containing # or & results in a filename truncation
to the character before the # or &.
- A filename containing * or [] results in a no match
message.
- A filename containing $ results in an undefined variable
message.
- A filename containing () results in a badly placed ()’s
message.
- A filename containing ! results in an event not found
message.