Specification
CE-653 - STG-based Logic Synthesis - Petrify
6
x
y
z
x+
x-
y+
y-
z+
z-
Signal Transition Graph (STG)
y
z
x