Token flow
CE-653 - STG-based Logic Synthesis - Petrify
7
}
x
y
z
x+
x-
y+
y-
z+
z-