Ejercicio 5.a · Introducció als Computadors UPC 2013

a. Completad el grafo de estados de la UC agregando los arcos, sus etiquetas de transición y las salidas en los nodos según la leyenda indicada (2,5 puntos):

Solución: En cada nodo $\frac{q_1, q_0}{InZ, Vzz}$ y en los arcos las condiciones $(Vz, End)$: - Estado 00 (Espera/Idle): Salidas $InZ = x$, $Vzz = 0$. - Transición a 00 con condición $Vz = 0$ ($0x$). - Transición a 01 con condición $Vz = 1$ ($1x$). - Estado 01 (Carga de Z y cálculo del decremento inicial): Salidas $InZ = 1$, $Vzz = 0$. - Transición a 01 con condición $Vz = 1$ ($1x$). - Transición a 10 con condición $Vz = 0$ y $End = 0$ ($00$). - Transición directa a 11 con condición $Vz = 0$ y $End = 1$ ($01$, caso $Z_u = 1$). - Estado 10 (Bucle de sumas sucesivas y decremento): Salidas $InZ = 0$, $Vzz = 0$. - Transición a 01 con condición $Vz = 1$ ($1x$, aborta y reinicia). - Transición a 10 con condición $Vz = 0$ y $End = 0$ ($00$). - Transición a 11 con condición $Vz = 0$ y $End = 1$ ($01$). - Estado 11 (Fin de cómputo y validación): Salidas $InZ = x$, $Vzz = 1$. - Transición a 01 con condición $Vz = 1$ ($1x$). - Transición a 00 con condición $Vz = 0$ ($0x$).