| Finite state machines: implementing | |||||||||||||||
|
|||||||||||||||
| q1 | q0 | x | q1+ | q0+ | z1 | z0 | |||||||||
| 0 | 0 | 0 | 1 | 0 | 0 | 1 | |||||||||
| 0 | 0 | 1 | 0 | 1 | 0 | 1 | |||||||||
| 0 | 1 | 0 | 0 | 1 | 1 | 1 | |||||||||
| 0 | 1 | 1 | 1 | 0 | 1 | 1 | |||||||||
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | |||||||||
| 1 | 0 | 1 | 0 | 0 | 1 | 1 | |||||||||
| 1 | 1 | 0 | d | d | |||||||||||
| 1 | 1 | 1 | d | d | |||||||||||
| Step 1: State transition table | |||||||||||||||
| (b) Write outputs | |||||||||||||||
| These are just a function of the state | |||||||||||||||
| State 10 has output 11 | |||||||||||||||