Generalized FSM model
State variables (state vector) describes circuit state
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)
- Current state and inputs (Mealy machine)