Reachability
Graph – Binary Encoding
CE-653 - STG-based Logic
Synthesis - Petrify
19
DSr+
DSr+
DSr+
DTACK-
DTACK-
DTACK-
LDS-
LDS-
LDS-
LDTACK-
LDTACK-
LDTACK-
D-
DSr-
DTACK+
D+
LDTACK+
LDS+
