2. Design a Mealy FSM that will detect the sequence "1001" with overlap (i.e. the bit stream "1001001"
will be detected as two instances of the sequence). Input is a 1-bit signal named A. The output, Y,
should be a '1' when a sequence has been detected and '0' otherwise. Use D flip-flops for state memory
and set the next-state and outputs of unused states to the Reset state and '0', respectively. Show the
state transition diagram, state assignment table, state transition table, next-state equations, and output
equations. Use K-maps to extract the most simplified equations. (35 pts)
3. Design a Moore FSM for the problem above. (30 pts)