Write and verify a behavioral description of the machine specified in Problem 5.19. ( H...

Write and verify a behavioral description of the machine specified in Problem 5.19.

( Hint : See the discussion of the default case item preceding HDL Example 4.8 in Chapter 4 .)

Reference: Problem 5.19.

A sequential circuit has three flip-flops A, B, C ; one input x_in ; and one output y_out . The state diagram is shown in Fig. P5.19 . The circuit is to be designed by treating the unused states as don’t-care conditions. Analyze the circuit obtained from the design to determine the effect of the unused states.

(a) Use D flip-flops in the design.

(b) Use JK flip-flops in the design.