Logic
Decomposition - Example
CE-653 - STG-based Logic
Synthesis - Petrify
53
}Can we decompose yz into an independent AND
gate?
yz=1
yz=0
1001
1011
1000
1010
0001
0000
0101
0010
0100
0110
0111
0011
y-
y+
x-
x+
w+
w-
z+
z-
w-
w-
z-
z-
y+
y+
x+
x+
1001
1011
1000
1010
0001
0000
0101
0010
0100
0110
0111
0011
y-
y+
x-
x+
w+
w-
z+
z-
w-
w-
z-
z-
y+
y+
x+
x+
C
C
x
y
x
y
w
z
x
y
z
y
z
w
z
w
z
y
