STG Based Logic Synthesis - the Petrify Approach

a+

b+

c+

d+

a-

b-

d-

a+

c-

a-

0000

1000

1100

0100

0110

0111

1111

1011

0011

1001

0001

a+

b+

c+

a-

b-

c-

a+

c-

a-

a-

d-

d+

36

CE-653 - STG-based Logic Synthesis - Petrify