|
|||
label ::= identifier
assertion ::=
assert
condition
[
report
expression ]
[
severity
expression ]
For any concurrent assertion statement, there is an equivalent (passive) process statement.
The equivalent process statement of a concurrent assertion statement including the keyword POSTPONED is a postponed process.
If the concurrent assertion contains a static condition then the assertion will be executed only once at the beginning of the simulation.