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: