STG Based Logic Synthesis - the Petrify Approach

State Encoding Conflicts

CE-653 - STG-based Logic Synthesis - Petrify

27

LDS-

LDTACK-

LDTACK+

LDS+

10110

10110