User guide

20-75
Using OpenVera Assertions
- "continue" — Outputs the message associated with the
assertion failure but otherwise has no effect on the simulation.
Display Custom Message For an Assertion Failure
You can display a custom message upon failure of an assert
statement check or forbid. The assert statement accepts an
action block as follows:
assert [name] [[index]] : check | forbid
( sequence_expr | event_name [, message[, severity [,
category]]]) [action_block];
Where:
action_block ::= [else display_statement]
display_statement is similar to the standard $display system task:
$display(formatting_string, list_of args);
If both message and a $display are specified, then both are output
upon assertion failure.
The following expression and system function calls are allowed in the
list_of args.
expression
Output the value of the (bitvector) expression at the time of
assertion failure (or success). It can be any expression over formal
port/parameter names and OVA variables. It CANNOT contain
any OVA - specific operators such as the temporal operators
past, all edge operators, and count.