Problem $02$: Multiplication Circuit Finite$-$State Machine Controller

Draw the state$-$transition diagram for the control finite$-$state machine for the "More Compact Multiplication Circuit" shown in Figure $11\mathrm{.}24$ of the notes. This finite$-$state machine has tilde$(b{)}_0$I, where the I signal is used to indicate that the multiplication operation should begin, and $C_O,$ the carry$-$out of an appropriately sized counter, as inputs. This finite$-$state machine should have outputs $S_l$ to tell the Multiplicand register to shift left, $S_r$ to tell the Multiplier register to shift right, $Ld$ to tell the Product register to load the sum or not, and init to initialize $($load the correct values into$)$ the Multiplicand, Multiplier, and Product registers. The operation of the control finite$-$state machine is described in the flowchart given in Figure $11\mathrm{.}25$ of the notes.