STG Based Logic Synthesis - the Petrify Approach

Reachability Graph – Binary Encoding

CE-653 - STG-based Logic Synthesis - Petrify

20

DSr+

DSr+

DSr+

DTACK-

DTACK-

DTACK-

LDS-

LDS-

LDS-

LDTACK-

LDTACK-

LDTACK-

D-

DSr-

DTACK+

D+

LDTACK+

LDS+

10000

10010

10110

01110

01100

00110

10110