Hola!
Estoy con un proyecto en el que uso mucho la máquina de contar. Por cuestiones de diseño (buscando la máxima velocidad) uno el "exec" con el "next". Sin embargo en contajes largos he apreciado un error en el contaje. De todas formas tiene una solución sencilla y es retrasar al menos un ciclo de reloj la salida "next" (en mi caso estoy usando tres flip-flops para asegurarme dicho retraso).
Adjunto un ejemplo en el que se ve todo esto de manera gráfica.
Gracias y un saludo!
ejemplosMaquinasDeContar.zip