Buenas,
Al intentar simular pot timing salta el siguiente error: Can't continue timing simulation because delay annotation information for design is missing
Hicimos una simulación aparte solamente con el contador y este funciona como debería.
El FF que usamos en la prueba es el mismo que se muestra en la letra.
Saludos