Pregunta 5 · Introducció als Computadors UPC 2013

Diseña el grafo de estados de la unidad de control indicando la leyenda con las señales de condición y la activación de las señales de control en cada estado.

Solución: Asignación de señales de control por estado (Máquina de Moore): * S0 (Reposo / Espera de selección): $Mx = 0$, $Ld\text{-}Preu = 1$, $Ld\text{-}Mon = X$, $Ld\text{-}Canvi = X$, $Fi = 0$. Carga en el registro de saldo el precio del producto servido a través de la entrada 0 del multiplexor. * S1 (Espera de moneda): $Mx = X$, $Ld\text{-}Preu = 0$, $Ld\text{-}Mon = 1$, $Ld\text{-}Canvi = X$, $Fi = 0$. Habilita la captura del importe de la moneda introducida en el registro de moneda. * S2 (Actualización de saldo y cálculo de cambio): $Mx = 1$, $Ld\text{-}Preu = 1$, $Ld\text{-}Mon = X$, $Ld\text{-}Canvi = 1$, $Fi = 0$. Resta el valor de la moneda al saldo acumulado ($Saldo - Moneda$) y realimenta el nuevo saldo mediante la entrada 1 del multiplexor hacia el registro de precio. De forma simultánea, registra el cambio en el registro de salida negando y sumando uno ($- (Saldo - Moneda)$). * S3 (Fin de venta y devolución de cambio): $Mx = 0$, $Ld\text{-}Preu = 1$, $Ld\text{-}Mon = X$, $Ld\text{-}Canvi = X$, $Fi = 1$. Genera la señal de finalización $Fi = 1$ con el cambio listo en el bus exterior CANVI. Grafo de estados y transiciones: * Leyenda: En cada arco se evalúan las entradas $(Ini, Moneda, Pagat)$. * Desde S0: Permanece en S0 si $Ini = 0$ $(0, X, X)$. Cuando $Ini = 1$ $(1, X, X)$, carga el precio y pasa a S1. * Desde S1: Permanece en S1 mientras $Moneda = 0$ $(X, 0, X)$. Cuando se introduce una moneda, $Moneda = 1$ $(X, 1, X)$, transita a S2. * Desde S2: Evalúa la señal de condición $Pagat$: * Si $Pagat = 0$ $(X, X, 0)$: el dinero introducido no cubre el precio total. Regresa a S1 para aguardar la siguiente moneda. * Si $Pagat = 1$ $(X, X, 1)$: el importe ha sido completado o sobrepasado. Pasa a S3. * Desde S3: Una vez activado $Fi = 1$ durante 1 ciclo, se retorna a S0 (bien incondicionalmente, considerando el margen de más de 100 ciclos, o al detectar $Ini = 0$). Si coincidiese con una nueva selección ($Ini = 1$), se pasaría directamente a S1.