I've tried T_T...

Generate the pattern 0 1 on z while b is 1. z should be o otherwise. Assume b will stay 1 for at least 2 cycles. Simulate Pause State/transition info Insert state Insert transition Delete Initial state br s2 Actions z=0 z=0 CO do sl Condition z=1 Check Next * See table. b 0 0 1 1 0 0 0 1 1 Expected z 0 0 0 1 0 0 0 0 1 Your z 0 0 1 0 0 0 0 1 0 Feedback