Logic
Decomposition - Example
CE-653 - STG-based Logic
Synthesis - Petrify
52
y-
z-
w-
y+
x+
z+
x-
w+
1001
1011
1000
0001
0000
0101
0010
0100
0110
0111
0011
y-
y+
x-
x+
w+
w-
z+
z-
w-
w-
z-
z-
y+
y+
x+
x+