Cartas ASM. Cartas ASM: cajas de estado

Transcripción

1 artas M Descripción gráfica del desarrollo de instrucciones en microoperaciones Grafo orientado y cerrado cuyos nodos son bloques M Un bloque M es similar a un estado en un circuito secuencial síncrono: todas las acciones asociadas a un bloque M tienen lugar en el mismo ciclo de reloj Un bloque M puede estar formado por tres tipos de elementos (gráficos): Una caja de estado ajas de decisión ajas de acción condicional artas M: cajas de estado Hay una y sólo una en cada bloque M Especifica las acciones incondicionales del bloque M (aquellas que se activan siempre que se ejecuta el bloque) Las acciones son transferencias entre registros activación de señales de control identificador cciones Transferencias entre registros, p.e: eñales de control activas, p.e: R, W

2 artas M: cajas de decisión Puede haber varias en un mismo bloque, o ninguna Permiten especificar bifurcaciones dentro del bloque M Están caracterizadas por una condición sobre las entradas de control eternas del sistema las salidas de control de la unidad de datos Epr. lóg. ondición... Variables aminos de salida artas M: ejemplos de cajas de decisión X +X - X X - X X on equivalentes entre sí

3 artas M: cajas de acción condicional Puede haber varias en un mismo bloque, o ninguna Especifica las acciones condicionales del bloque M (aquellas que se activan siempre que se ejecuta el bloque y además se cumpla una condición) Por tanto, van siempre asociadas a las cajas de decisión Las acciones son transferencias entre registros activación de señales de control cciones Transferencias entre registros, p.e: eñales de control activas, p.e: R, W artas M: bloque M El bloque M está caracterizado por la caja de estado El camino de entrada al bloque siempre va a la caja de estado Los demás elementos (cajas de decisión y acción condicional) son opcionales, pueden aparecer en cualquier número Un bloque M se ejecuta en ciclo de reloj cciones condic. condición cciones incondicionales condición cciones condic.

4 cciones incondicionales condición cciones condic. condición cciones condic. cciones condic. cciones incondicionales condición condición cciones condic. artas M: relación con las diagramas de estados Diagrama de estados ombinaciones de entrada alidas - tipo Moore [=f(estado)] - tipo Mealy [=f(estado, entradas)] Estados -actual -siguiente arta M ondiciones en cajas de decisión cciones - en cajas de estado - en cajas de acción condicional loque M -actual - bloque apuntado por el camino de salida habilitado /z z / z / z artas M: estructura típica loque M de espera a la activación de la señal de comienzo () loques M resultantes de traducir las instrucciones del sistema a microoperaciones FIN loque M de activación de la señal de fin de ejecución (FIN)

5 artas M: ejemplo calculadora,rt Instrucción + IR - = + IR - = - IR - = - IR - = RT, RT IR µops RT, + RT + RT - RT clk +RT -RT Instrucción - + IR - = - + IR - = - - IR - = - - IR - = IR µops, RT RT, - RT + RT - RT clk +RT -RT IR arta M de procesado las acciones se epresan como transferencias entre registros F (FIN) artas M: ejemplo calculadora (),RT RT IR +RT -RT IR +RT -RT IR F (FIN) arta M de procesado las acciones se epresan como transferencias entre registros arta M de control las acciones se epresan como activación de señales de control Z,WT,R W,WT,R IR s r W IR s r R IR W W F FIN 5

6 artas M: errores comunes Indeterminación del siguiente estado: y D Lazos sin cajas de estado: z artas M: errores comunes () aminos imposibles y y z z + y 6

7 artas M: consideraciones temporales Un bloque M se ejecuta en ciclo de reloj z = z z z z z artas M: consideraciones temporales () X R R k M ontrol WM WN X WM M WN N N clk k+ clk k- k k+ X R, WM WN M M M N N N 7