| 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 | d | d | |||||||||
| 1 | 1 | 1 | d | d | d | d | |||||||||
| Step 1: State transition table | |||||||||||||||
| (b) Write outputs | |||||||||||||||
| These are just a function of the state | |||||||||||||||
| State 11 doesn't exist: "don't care" | |||||||||||||||