Tu pregunta se sigue refiriendo a la parte (a) como dice en el título de la consulta? Si es así va respuesta:
En la parte (a) el RTL está dado en la letra, por lo tanto el comportamiento está especificado en un lenguaje formal, no hay ambiguedades
copio el paso 3:
3 disp0 = claveD
disp1 = claveC
disp2 = claveB
disp3 = claveA
-> (3)
El paso 3 tiene un salto incondicional al propio paso 3, de este modo el circuito se va a quedar en este paso hasta que venga un reset, mostrando en las salidas disp las claves.