Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MAQUINAS DE ESTADO
CAPITULO III
SINTESIS Y PRUEBA DE MÁQUINAS DE
ESTADO SINCRÓNICAS
Síntesis:
Compiladores Electrónicos. Se encargan de realizar
automáticamente la fase de síntesis, obteniendo y minimizando las
ecuaciones que realizan la máquina de estados.
✦ABEL de FutureNet
✦CUPL de Assited Technology.
Pruebas:
Simuladores. Aplican vectores de prueba en un ambiente simulado
del circuito en diagrama esquemático.
✦OrCAD de Hillsboro
✦X-BLOQX de Xilinx
✦Verilog HDL de Cadence Design Systems
CLASES DE MAQUINAS SINCRÓNICAS.
x
z
g(x,y) M f(x)
Z = f(X)
EJEMPLO: MAQUINA CLASE 0
x Y y z
g(x) M f(y)
Reloj
x Y y
f(g(x)) M
z
Y=g(x) y
Reloj
z= f(y)
x Y y Entonces z=f(g(x))
z retardada un ciclo de reloj
M f(g(x))
Reloj
Ejemplo: Diagrama ASM. Máquina Clase I
SELECCIÓN DE LA ESTRUCTURA
x Y y
f(g(x)) M
z
Reloj
x Y y z
M f(g(x))
Reloj
c) Memoria de estados: Se requiere hacer una asignación de estados y
es igual al número distinto de combinaciones de salida que están
presentes en el diagrama ASM de manera simultánea. La máxima
cantidad de variables de estado será el número de salida (pudiendo ser
menos).
x Y y z
g(x) M f(y)
Reloj
0000 001
0001 000
Se desea realizar una máquina digital que
satisfaga la lógica combinacional de la tabla
0010 110
adjunta, de modo que las salidas se actualicen
0011 010
con la llegada de una transición decreciente en
0100 000
la señal de entrada denominada CARGAR y
0101 110
permanezcan en ese estado,
0110 010
independientemente de las entradas, hasta el
0111 001 nuevo arribo de un borde decreciente en
1000 001 CARGAR
1001 001
1010 000
1011 010
1100 110
1101 110
1110 010
1111 000
SOLUCION a): ESTRUCTURA CON MEMORIA DE ESTADOS
DA=0
DB=0
DA=1
DB =1
A
CARGAR
Funciones de próximo estado g(x) MAPA DE ASIGNACION DE ESTADOS
K
A
1 1
1 1
b a
J
1 1
B d c
I 1 1
L
K FUNCIONES DE SALIDA f(y)
1 1
1 A A A
1
1 1 1 J 0 0 0 0 0 1
I 1
B 0 1 B 1 1 B 0 0
1
Entradas Salidas
1
J
IJKL MNO 1 1
0000 001 I
0001 000
0010 110 L K
0011 010
0100 000 1 1
0101 110
1 1
0110 010
1
J
0111 001 1 1
1000 001 I 1
1001 001
1010 000 L
1011 010 K
1100 110
1101 110 1
1110 010 1
1111 000 J
I
1 1
L
IMPLEMENTACION DEL CIRCUITO
CASO ESPECIAL DE MÁQUINAS CLASE1:
REGISTROS DE DESPLAZAMIENTO
A B C D
C/D
S
CLK
CS QA QB QC QD
Tabla de verdad del registro desplazante
ENTRADAS SALIDAS
C/D S A B C D QA QB QC QD
0 S X X X X S QA QB QC
1 X A B C D A B C D
l
x
Lógica Memoria de Lógica
Y Combinacional
z
Combinacional Estado
k m
g(x,y) M f(x,y)
y
k
Reloj
Solución:
001
a 1. Partiendo del diagrama ASM.
010
2. Se realiza la declaración de estados: CBA.
b 3. Se hace el Mapa de Asignación de Estados,
011
con las variables de estado en el mapa.
c 4. Se selecciona el tipo de FF a utilizar, en este
caso, FF tipo T.
101 B
d
x a c b
111
e C x d e x
A
Máquina Clase II
5. Función de cálculo del próximo estado
Para la variable B: TB =A
Para la variable A:
TA =A + C B
6. Diagrama esquemático de g(y)
b) FUNCION DE PRÓXIMO ESTADO CONDICIONAL
Solución:
1. Declaración de estados : AB
2. Mapa de Asignación de Estados
a d
A
c b
Para la Variable A:
B B
E1 0 E1 0
A
E1E2 E2 A E1E2 E2E1+E2E1
4. Función de cálculo de próximo estado:
Para la Variable B:
E1 0
A
E1+E1E2 E2
5. Diagrama esquemático
DETERMINACION DE LA FUNCION DE SALIDAS
B
a g b f
A e d h c
C
S2=AB+AC
Implementación del circuito de salidas
CALCULO DE LA FUNCION DE
SALIDAS CONDICIONALES
f(x,y)
Para S1:
A
1
B E2
(
S1 = A B + E 2 )
A
Para S2: 1
B 1
A
Para S3: E2
B 1
S3=A(B+E2)
Implementación del Circuito
CÁLCULO DE FUNCION DE SALIDAS
f(x,y)
PARA SALIDAS ACTIVAS
EN ESTADO BAJO
A A
a c 0 E
B x b B x
MAQUINAS SINCRONICAS CLASE 2, 3 Y 4
Temas complementarios.
b) Acondicionamiento de salidas.
a) Selección del tipo de Flip-Flop
Para J:
Conveniencia: Una secuencia de transiciones en Q es producida
por una secuencia 1X1X1X en J. Para permanencia de Q en 1 se
requiere X en J.
Inconveniencia : Un cambio a 1 luego de la permanencia en 0 por
más de un ciclo de reloj producen un 0 y un 1 adyacentes.
Para K: se tiene un comportamiento similar.
Observaciones:
✦ Si se usan FF tipo D se debe realizar la asignación de estados de modo que
todos los FF tengan el menor número de transiciones, tal que, los códigos de un
par de estados relacionados de la forma estado presente-próximo estado son
adyacentes en el mapa de asignación de estados.
✦ Si se usan FF T se debe realizar la asignación de estados de modo que las
variables de estado tengan el mayor número de transiciones posible resultando que
un par de estados relacionados en la forma estado presente-próximo estado
presenten un cambio en todas las variables o en todas las variables menos una en
forma alternada de una cambio al siguiente
Ejemplo 1: Máquina de 8 estados con asignación Gray
TOTAL DE
COMPUERTAS: 8
Implementación con FF tipo T:
JA B JB B JC B
1 1 X X 1 X X
A X X X X A X X A X X 1
C C C
KA B KB B KC B
X X X X X X X 1 X
A 1 A X X 1 A X 1 X
C C C
TOTAL DE
COMPUERTAS: 10
Ejemplo 2: Máquina clase 2 con ocho estados y asignación binaria
ESTADO
A B C
Mapa de estados
a 0 0 0
b 0 0 1
B
c 0 1 0 a b d c
d 0 1 1
A e f h g
e 1 0 0
f 1 0 1
C
g 1 1 0
h 1 1 1
B DC B
a b d c 1 1
A e f h g A 1 1
C C
DB B DA B
1 1 1
A 1 1 A 1 1 1
C C
TOTAL DE
COMPUERTAS: 10
Implementación con FF tipo T:
B TC B
a b d c 1 1 1 1
A e f h g A 1 1 1 1
C C
TB B TA B
1 1 1
A 1 1 A 1
C C
TOTAL DE
COMPUERTAS: 1
Implementación con Flip-Flop tipo JK
JA B JB B JC B
1 1 1 X 1 1 1 1
A 1 A 1 1 X A 1 1 1 1
C C C
KA B KB B KC B
1 1 1 1 1 1 1
A 1 A 1 1 A 1 1 1 1
C C C
TOTAL DE
COMPUERTAS: 1
MODOS DE ACTIVACION Y
ACONDICONAMIENTO
DE SALIDAS
MODOS DE ACTIVACIÓN
DE SALIDAS
Notación:
IE: Inicio del Estado
FE: Final del Estado EMPIECE EN
IRE: Inicio Retardado del Estado TERMINE EN
FRE: Fin Retardado del Estado
Modo de Activación de Salidas Incondicionales (Moore).
Observe el cambio en el
comportamiento en la
salida Z5R al incluir el
acondicionamiento para
que empiece en IRE y
finalice en FE
ACONDICIONAMIENTO TIPO II.
Otro tipo de acondicionamiento de las salidas de Mealy logra que la salida se extienda por
medio ciclo de reloj, hasta el primer semiciclo del estado siguiente denominado Fin
Retardado del Estado FRE.
Acondicionamiento de Salidas y Diagramas ASM.
Debido a que el tipo de salidas no queda bien definido en el ASM y
a que este debe ser una descripción lo más completa posible de la
máquina de estado, se le debe indicar el modo de activación y
desactivación de aquellas salidas que llevan acondicionamiento.
Existen dos posibilidades:
✦Salidas con un solo tipo de acondicionamiento
✦Salidas cuyo acondicionamiento cambia en diferentes estados
Más de un tipo de
Un solo tipo de acondicionamiento
acondicionamiento
Resumen: Acondicionamiento de salidas
(
S 2 = AB + AC CLK )
Implementación de la salida acondicionada S2
Línea de
acondicionamiento
Ejemplo: Acondicionamiento de salidas de Mealy
A
a b
B d c
A
E2Clk
Para S3:
B 1
S 3 = A( B + E 2CLK )
Implementación de la salida acondicionada S3
Acondicionamiento
de S3
SINTESIS DE
MAQUINAS CLASE 2
Modelo General de una Máquina Clase 2
DIAGRAMA ASM
Diseño de la Función de Próximo estado g(y)
B
0 1 3 2
4 5 7 6
C
12 13 15 14
D 11 10
8 9
A
Diseño de la Función de Próximo estado g(y)
B B
1 1 1 1 1 1
1 1 1 1
C 1 1
C
D
1 1 1 1
TA=1 1 1 TB=A
1 1 1 1
D
1 1
A A
B B
1
1 1
C
TC=AB C TD=ABC
1 1
D D
1
A A
Diseño de la Función de Salida f(y)
Ciclo
Sa
Sb
Sc
Estado a b c d e f
1. Diagrama ASM
2. Declaración y Asignación de estados
Estados Variables de
Estado
A B C
a 0 0 0
b 0 0 1
c 0 1 1
d 1 1 1
e 1 1 0
f 1 0 0
B
a b c x
A f x d e
C
4. Tipo del tipo de Flip Flop: D
5. Determinación de la función de próximo estado.
Para DA: B
1 x
A x 1 1
C
Para DB: B DA = B
1 1 x DB = C
A x 1 DC = A
C
Para DC: B
1 1 1 x
A x
C
6. Determinación de la función de salidas
B
1 1 1 x 7. Implementación del circuito
Sa = A
A x
C
B
1 1 x Sb = C
A x 1
C
B
x
Sc = AB
A 1 x
C
SINTESIS DE MAQUINAS CLASE 3 Y CLASE 4
x Y Memoria de y z
g(x,y) f(y)
Estado
x Y Memoria de y z
g(x,y) f(x,y)
Estado
Diagrama de Entradas/Salidas
Descripción ASM del contador a
diseñar.
Observe la denotación para el
acondicionamiento de la salida
activa en estado bajo AS:
AS : IER FE
Mapa de Asignación de Estados
B
a b d c
e f h g Se van a utilizar FF tipo T para
C la implementación del contador
x x x x
D
i j x x
A
Mapa de Karnaugh para TA Mapa de Karnaugh para TB
B B
74LS190
FIN
Prof. Ing. Geovanny Delgado M.Sc.E.E
Circuitos Digitales I
IE-323