FSM design procedure
We’ve seen counters
- simple because output is just state
- simple because no choice of next state based on input
State diagram to state transition table
- tabular form of state diagram
- like a truth-table
State encoding
- decide on representation of states
- for counters it is simple: just its value
Implementation
- flip-flop for each state bit
- combinational logic based on encoding