State Machine - |signaltap|ps
Name ps.A ps.C ps.B 
ps.A 0 0 0 
ps.B 1 0 1 
ps.C 1 1 0