Namespaces
#
Current State
Next State
Condition
1
'0'
'1'
[(not (rst = '1') and not (Avail = '0') and not (got = '1') and (put = '1'))]