Funciona!!

Se valida el diseño sobre una Basys2.
Se corrige el pinout y la condición del contador de mili-segundos.