22 / 37 · Check
Check: N=1 and bit width
Separate a declaration that guarantees minimum width from a counter’s actual number of states.
Lessons are free to read. Enroll to save your learning progress.
A counter with N states must also support N=1. Review its declared range and termination condition together.
A counter with N=1 uses CW=(N<=1)?1:$clog2(N) and LAST=N-1. What should happen on an enabled edge after reset?
The storage width is at least one bit, but the specification permits only state 0. LAST=0, so every enabled edge meets the terminal condition and returns to 0.
✓ Check completed