"se puede suponer que el tiempo que la entrada boton vale 0 o 1 siempre será mayor a un período de reloj".
La idea es que al diseñar piensen que entre 2 cambios consecutivos de botón, siempre hay uno o más flancos activos.
Luego de terminado el diseño, observen en la placa que pasa si lo anterior no se cumple y, por supuesto, por qué pasa.