← ProblemsCircuits / Sequential Logic / Finite State Machines

FSM from a state-assigned table

15%fsm

An FSM has been designed and its states already assigned binary codes. The state register is y[2:0], the input is x, and the output is z. Implement the machine described by this state-assigned table:

Present state y[2:0]Next state if x=0Next state if x=1Output z
000 (A)0000010
001 (B)0011000
010 (C)0100010
011 (D)0010101
100 (E)0111001

States 101, 110, and 111 are unused (you may treat them as don't-cares; they are never entered after reset).

reset is synchronous and active-high, forcing the state to 000.