STG Based Logic Synthesis - the Petrify Approach

Concurrency Reduction –
Migration to STG/PTnet Level

CE-653 - STG-based Logic Synthesis - Petrify

26

LDS+

LDTACK+

D+

DTACK+

DSr-

D-

DTACK-

LDS-

LDTACK-

DSr+