FSM design
A generalization of counter design
- With inputs
- More complex transitions
Combinational logic computes next state and outputs
- Next state is a function of current state and inputs
- Outputs are functions of current state (Moore machine) or current state and inputs (Mealy machine)