| Finite state machines: counter | ||||||||||||||
| Input | Next | Output | Minterms | |||||||||||
| q1 | q0 | x | q1+ | q0+ | z1 | z0 | D1 | D0 | z1 | |||||
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | ||||||
| 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | ||||||
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | ||||||
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | ||||||
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | q1\q0\x | |||||
| 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | q1\q0x | |||||
| 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | q1q0\x | |||||
| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | q1q0x | |||||
| 4. Draw circuit: gates | ||||||||||||||
| Minterms | ||||||||||||||
| z1 = q1\q0\x + q1\q0x + q1q0\x + q1q0x | ||||||||||||||
| etc. | ||||||||||||||
| Simplified | ||||||||||||||
| z1 = q1 | ||||||||||||||
| z0 = q0 | ||||||||||||||
| D1 = q1\q0 + q0 (\q1x + q1\x) | ||||||||||||||
| D0 = \q0x + q0\x | ||||||||||||||