Next-state functions
CE-653 - STG-based Logic Synthesis - Petrify
9
xyz
000
x+
100
y+
z+
z+
y+
101
110
111
x-
x-
001
011
y+
z-
010
y-
