Professional Documents
Culture Documents
Web: http://www.cs.columbia.edu/~martha/courses/3827/sp11/
Transitions: Arcs
BYellow
BGreen
AGreen
AYellow
Inputs TB X X X 0 1 X
BYellow
BGreen
BGreen BYellow
output encoding
Output Green Yellow Red Encoding 0 0 1 0 1 0 State AGreen AYellow BGreen BYellow S1 0 0 1 1
red light
What does the Reset signal do to this machine? S = 00 = AGreen = A gets green light, B gets red light
Parade FSM
Unfactored FSM Factored FSM
Write Boolean equations for the next state and output logic Sketch the circuit schematic
output
CL
YN S A
FFs
N SY
MOORE
input
AS C N Y
CL 1
AS
C N Y
FFs
SY
NC
CL 2
N SY
output
22
Unused states: extra state encodings (e.g., using 3 FFs to represent 6 states leaves 2 unused states) can be treated as dont care values and used to simplify the combinational logic State minimization: two states are equivalent if they transition to the same or equivalent states on the same inputs (while producing the same outputs in the case of a Mealy machine)
23