Purpose
Store state of some
program variable
W is a write port
and R is a read port
Type (a)
R and W are assumed
to be mutually exclusive
Type (b)
Waits for token on
R/W 1-bit port
Dependent on
value
Waits for
request on W and store data value received or
Generates a
token on R with the previously stored data value