Processes Revisited (Cont.)
Concurrent procedure call equivalent to process containing a corresponding procedure call
Concurrent assertion statement equivalent to a passive process containing a corresponding assertion statement
Concurrent signal assignments may also be postponed
[call_label :] [POSTPONED] procedure_call;
[assert_label :] [POSTPONED] assertion;
[label :] [POSTPONED] signal_assigment;
This slide reiterates the equivalence between processes and other concurrent statements. Note that many concurrent statements may be similarly postponed, for example, so that their executions will only occur in the final delta cycle of a simulation cycle.