State machine model
Values stored in registers represent the state of the circuit
Combinational logic computes:
- next state
- function of current state and inputs
- outputs
- function of current state and inputs (Mealy machine)
- function of current state only (Moore machine)