STG Based Logic Synthesis - the Petrify Approach

C-Element Based Example

CE-653 - STG-based Logic Synthesis - Petrify

45

ab

cd

00

01

11

10

00

01

11

10

1

1

1

1

1

1

0

0

0

0

0

C

S

R

d

0000

1000

1100

0100

0110

0111

1111

1011

0011

1001

0001

a+

b+

c+

a-

b-

c-

a+

c-

a-

a-

d-

d+