The ASM chart in Figure 7.17, which describes the bit-counting circuit, includes Moore-type outputs in states S1, S2, and S3, and it has a Mealy-type output in state S2.
(a) Show how the ASM chart can be modified such that it has only Moore-type outputs in state S2.
(b) Give the ASM chart for the control circuit corresponding to part (a).
(c) Give Verilog code that represents the modified control circuit.

Load A B+B+1 S1 O S2 Reset B 0 Shift right A A = 0? do S3 Done