Contents
Up
Previous
Next
Concurrent assertion statements
The concurrent assertion statement asserts that a condition is true.
The operation of the concurrent assertion statement is equivalent to a
process containing one statement, the assertion statement, and a
sensitivity list that includes any signals that appear in the condition
part of the assertion statement. The syntax of the concurrent assertion
is:
concurrent-assertion-statement :
[label ":"] assertion-statement