User manual

Blinky_D comments
I got sort of canonical. The counter was already a register because
of the way it was being used. At least I think it was.
The led_bit is aways updated in the always_ff block. The
next_led_bit = led_bit determines what the updated value is if
there isn’t a change to be made.
EECS 452 Fall 2014 Lecture 5 Page 100/143 Tuesday September 16, 2014