Buenas en este ejemplo se pretende construir un contador de transiciones en una entrada E, la idea si no me equivoco es que el contador aumente en uno cada vez que se da una transición de 0 a 1 en dicha entrada.
Mi pregunta es la siguiente, observando que si se mantiene la entrada E constante en 1 y se deja avanzar el clk, se le permite al circuito avanzar de estado (sin estar la entrada E obligada a pasar nunca a 0), ¿es correcto decir que dicho circuito es realmente un "contador de transiciones" siendo que en realidad solo cuenta "ciclos en 1"? ¿No se está asumiendo de antemano que la entrada E va a presentar un valor distinto (0 o 1) en cada ciclo de reloj?