The following applies to truth tables that are either
Assignments are made within truth tables following the Statemate step semantics. New values are sensed only at the next step. Writing twice to the same element flags a write/write race error. This means that after an assignment is made, it is not available for immediate use.
In the following example, DATA_2 receives the value 5 and DATA_3 receives the previous value of DATA_2.