Question 1. In homework 2 you implemented a machine that would produce the mod 3 output for an input stream of bits representing a binary value. As part of that assignment you were asked to think about how the machine would return to the initial state once the completed binary value was provided. Once possible solution is to have a valid signal that comes along side the bits of input. The idea is that the machine will move through appropriate states based on the input so long as the valid signal is asserted. Once the valid signal is de-asserted then the machine would return to the initial state. A state diagram for this functionality can be seen below. Notice the legend, the 2-bit quantities on the arcs represent the value of valid followed by the value of A. E.g. 10 means that valid is high and A is low, and x0 means that valid is don't care (could be zero or one) and that A is low. Where ' + ' is used it means the logical OR. Figure 1.1: Divide by 3 State Machine A timing diagram for the same case from homework 2 is shown below. (a) Recall the following state assignment ... S0=2b00S1=2b01S2=2b10 Figure 1.2: Divide by 3 Timing for 27mod3 (b) Draw out a timing diagram that shows the timing for 14mod3. (c) Create simplified equations for the next state logic. Since there is no fourth state, use don't care for the next state when the current state is 2'b11 irrespective of the inputs. (d) From your minimum equations, determine what the actual next state would be when starting in state 2'b11. (e) Draw a complete labeled schematic for the implementation of this machine