Implementation using sequential logic
Encoding:
- How many bits per input?
- How many inputs in sequence?
- How do we know a new input is entered?
- How do we represent the system states?
Behavior:
- Clock wire tells us when to look at inputs
- After inputs have settled
- Sequential: Must enter sequence of numbers
- Sequential: Remember if error occurred
- Finite-state specification