Cartas ASM

Descripcin grfica del desarrollo de instrucciones en

microoperaciones
Grafo orientado y cerrado cuyos nodos son bloques ASM
Un bloque ASM es similar a un estado en un circuito
secuencial sncrono: todas las acciones asociadas a un
bloque ASM tienen lugar en el mismo ciclo de reloj
Un bloque ASM puede estar formado por tres tipos de
elementos (grficos):
Una caja de estado
Cajas de decisin
Cajas de accin condicional

Cartas ASM: cajas de estado

Hay una y slo una en cada bloque ASM

Especifica las acciones incondicionales del bloque ASM
(aquellas que se activan siempre que se ejecuta el bloque)
Las acciones son transferencias entre registros activacin
de seales de control
Camino de entrada

cdigo Transferencias entre registros,

p.e: B A
S Acciones
Seales de control activas,
p.e: RA, WB
identificador

Camino de salida

1
Cartas ASM: cajas de decisin

Puede haber varias en un mismo bloque, o ninguna

Permiten especificar bifurcaciones dentro del bloque ASM
Estn caracterizadas por una condicin sobre
las entradas de control externas del sistema
las salidas de control de la unidad de datos

Camino de entrada
0 1
Expr. lg.

Condicin

00...0 11...1
Variables

Caminos de salida

Cartas ASM: ejemplos de cajas de decisin

0 1
X1+X0

A B

0 1
X1
00 1-
X1 X0

-1 0 1
X0

A B
A B

Son equivalentes entre s

2
Cartas ASM: cajas de accin condicional

Puede haber varias en un mismo bloque, o ninguna

Especifica las acciones condicionales del bloque ASM
(aquellas que se activan siempre que se ejecuta el bloque y
adems se cumpla una condicin)
Por tanto, van siempre asociadas a las cajas de decisin
Las acciones son transferencias entre registros activacin
de seales de control
Camino de entrada

Transferencias entre registros,

p.e: B A
Acciones
Seales de control activas,
p.e: RA, WB

Camino de salida

Cartas ASM: bloque ASM

Camino de entrada
El bloque ASM est
caracterizado por la caja de
estado cdigo
El camino de entrada al Acciones
S incondicionales
bloque siempre va a la caja
de estado
Los dems elementos 0 1
condicin0
(cajas de decisin y accin
condicional) son opcionales, Acciones condic.
pueden aparecer en
cualquier nmero 0 1
condicin1
Un bloque ASM se
Acciones condic.
ejecuta en 1 ciclo
de reloj

Camino de salida Camino de salida

3
Cartas ASM: relacin con las diagramas de estados
Diagrama de estados Carta ASM
Combinaciones de entrada Condiciones en cajas de decisin
Salidas Acciones
- tipo Moore [=f(estado)] - en cajas de estado
- tipo Mealy [=f(estado, entradas)] - en cajas de accin condicional
Estados Bloque ASM
- actual - actual
- siguiente - bloque apuntado por el camino de
salida habilitado

x/z1z2 0/11

z2 B
B
1 0
x
1/01
C
C z1

Cartas ASM: estructura tpica

Bloque ASM de espera a la activacin

de la seal de comienzo (Xs)
0
Xs
1
Camino de entrada

cdigo
Acciones
S incondicionales

0 1
condicin0

Bloques ASM resultantes de traducir

Acciones condic.

0 1
condicin1

Acciones condic.
Camino de entrada

Camino de salida Camino de salida

0
Acciones
cdigo

incondicionales

condicin0
1
las instrucciones del sistema a microoperaciones
Acciones condic.

0 1
condicin1

Acciones condic.

Camino de salida Camino de salida

Bloque ASM de activacin de

FIN
la seal de fin de ejecucin (FIN)

4
 0

Cartas ASM: ejemplo calculadora 0

Xs

1 AC0,RTA

2 RTB
AA+B B A+ B A A-B B A-B
Instruccin
IR2-0 = 000 IR2-0 = 001 IR2-0 = 010 IR2-0 = 011
0 1
1 AC 0, RT A IR2

2 RT B, AC AC + RT 1 clk
ops ACAC+ RT ACAC-RT
3 AC AC + RT AC AC - RT
4 A AC B AC A AC B AC
3

A -A+B B-A+B A -A-B B-A-B

Instruccin 0
IR1
1
IR2-0 = 100 IR2-0 = 101 IR2-0 = 110 IR2-0 = 111
1 AC 0, RT A
ACAC+ RT ACAC-RT
2 RT B, AC AC - RT 1 clk
ops
3 AC AC + RT AC AC - RT 4

4 A AC B AC A AC B AC
0 1
IR0

Carta ASM de procesado AAC BAC

las acciones se expresan como

transferencias entre registros F (FIN)

0 0

Carta ASM
Cartas ASM: ejemplo calculadora (2)

0 0

de procesado
Xs Xs

1 1

1 AC0,RTA las acciones se 1 ZA C,WT,RA

expresan como
2 RTB transferencias 2 WAC,WT,RB

entre registros
0 1 0 1
IR2 IR2

ACAC+ RT ACAC-RT s r

3 3 WAC

0 1 0 1
IR1 IR1

ACAC+ RT ACAC-RT s r

Carta ASM
4 4 RAC

0
IR0
1
de control 0
IR0
1

las acciones se
AAC BAC expresan como WA WB

activacin de
F (FIN) seales de control F FIN

5
Cartas ASM: errores comunes

Indeterminacin del siguiente estado:

0 1 0 1
x y

B C

B C D

Lazos sin cajas de estado:

A
A

0 1
0 1 x
x

B z0
B

Cartas ASM: errores comunes (2)

Caminos imposibles

A
A

0 1
x
0 1
xy

0 1
y
z0

z0

1 0
x+y

0 1
x
B

6
Cartas ASM: consideraciones temporales
Un bloque ASM se ejecuta A

en 1 ciclo de reloj
1
C0
A
0
z0

1 1 1 1
C0 C1 C2 C2

0 0 0
= 0
z0 z1 z2 z2

1
C1

B
0
z1

Cartas ASM: consideraciones temporales (2)

X

Sk MA
RA
RA A

WM
Control 0 1
X
WN
WM WN
M N
NA

clk
Sk+1

clk

Sk-1 Sk Sk+1

RA, WM

WN
A A0 A0 A0
M M0 M0 A0
N N0 N0 A0