Академический Документы
Профессиональный Документы
Культура Документы
Electrónica Digital II
Síntesis de circuitos secuenciales sí
síncronos:
Máquinas de estados finitos
Susana Borromeo López
Ingeniería de Telecomunicación
Sistemas secuenciales
En
Enlos
lossistemas
sistemassecuenciales
secuencialeslalasalida
salidaZZen
enun
undeterminado
determinadoinstante
instantede detiempo
tiempotiti
depende
dependede deXX(la
(laentrada)
entrada)en
enese
esemismo
mismoinstante
instantede
detiempo
tiempotitiyyen
entodos
todoslos
losinstantes
instantes
temporales anteriores. Para ello es necesario que el sistema disponga de elementos
temporales anteriores. Para ello es necesario que el sistema disponga de elementos
de
dememoria
memoriaque quelelepermitan
permitanrecordar
recordarlalasituación
situaciónenenque
quese encuentra((estado).
seencuentra estado).
Máquinas de Mealy
En una máquina de Mealy:
S(t) S(t+1)
CLK
X(t) C. Combinacional
ESTADOS
S(t) S(t+1)
CLK
C. Combinacional
Z(t)
SALIDA
Metodología
1 Identificación de entradas y salidas
5 Asignación de estados
X
Z
CLK
Reset
S10
S2
5 Asignación de estados
Estado Q1 Q0
S0 0 0
S1 0 1
S10 1 0
Ej:
Ej: Detector
Detector 100
100
a/p
1/0
inicio
S0 S1
a/p
1/0
1/0
a/p
b/p
0/0
b/q
0/1 b/p
0/0
S10
S2
S R Q(t+1) J K Q(t+1)
0 0 Q(t) 0 0 Q(t) D Q(t+1) T Q(t+1)
0 1 0 0 1 0 0 0 0 Q(t)
1 0 1 1 0 1 1 1 1 Q(t)
1 1 - 1 1 Q(t)
Se obtienen las ecuaciones lógicas de las J, K y las salidas (Z), en función del
estado actual (Q1 y Q0) y las entradas (X)
Para minimizarlas se emplean los mapas de Karnaugh
Ej, para J1
Q 1Q 0 X · Q0
Q1 Q0 Entrada J’1
X 00 01 11 10
0 0 0 0
0 0 1 X X
0 0 1 0 X
0 1 0 1 1 0 0 X X
0 1 1 0
1 0 0 X
1 0 1 X
J1 = X·Q0
1 1 X X
Q 1Q 0 1 Q 1Q 0 X
K1 J0 Q 1Q 0 K0
00 01 11 10 00 01 11 10 00 01 11 10
0 X X X 1 0 0 X X 0 0 X 1 X X
X X X
1 X X X 1 1 1 X X 1 1 X 0 X X
K1 = 1 J0 = X X K0 = X
2009-2010 Máquinas de estados finitos 18
Ejemplo: Detector de secuencia 100 (MEALY)
8 Diseño del circuito (Implementación biestables J-K)
A partir de las
ecuaciones se puede
construir el circuito
J1 = X·Q0
K1 = 1 Z
J0 = X X J0 Q0 J1 Q1
K0 = X K0 '1'
K1
Z = X·Q1 CLK
Q 1Q 0 X·Q0 Q 1Q 0
D1 D0
00 01 11 10 00 01 11 10
0 0 1 X 0 0 0 0 X 0
X X
1 0 0 X 0 1 1 1 X 1
D1 = X·Q0 D0 = X X
D1 = X·Q0
D0 = X Z
Z = X·Q1 X D0 Q0 D1 Q1
La salida depende de
la entrada CLK
X(t) C. Combinacional
ESTADOS
S(t) S(t+1)
CLK
C. Combinacional
Z(t)
SALIDA
Entrada X(t) 1a
inicio a1
S0/p
S0/0 S1/0
S1/p
Estado S(t)/ Estado S(t+1)/ a1
Z(t) Z(t+1)
0b a1
0b b0
5 Asignación de estados
Estado Q1 Q0
S0 0 0
S1 0 1
S10 1 0
S100 1 1
Q1 Q0 Entrada Q’1 Q’0 Salida J’1 K’1 J’0 K’0 D’1 D’0
X Z
0 0 0 0 0 0 0 X 0 X 0 0
0 0 1 0 1 0 0 X 1 X 0 1
0 1 0 1 0 0 1 X X 1 1 0
0 1 1 0 1 0 0 X X 0 0 1
1 0 0 1 1 0 X 0 1 X 1 1
1 0 1 0 1 0 X 1 1 X 0 1
1 1 0 0 0 1 X 1 X 1 0 0
1 1 1 0 1 1 X 1 X 0 0 1
D0 = Q 1 ⋅ Q 0 + X 0
D1 = Q 1 ⋅ Q 0 ⋅ X 0 + Q 1 ⋅ Q 0 ⋅ X 0
D1 Z 0 (Q1 , Q 0 ) = Q 1 ⋅ Q 0
D0
5 Asignación de estados
II Expresiones algebraicas
Análisis
I. Identificación de entradas, estados y salidas
Entradas: X ∈ {0,1}
Salidas: Z ∈ {0,1}
Variables de estado: 2 {Q0,Q1} darán lugar a 4 estados como máximo
Q 0 ⋅ x0
1 Q1 ⋅ x 0
x0
x0
0
Análisis
II. Expresiones algebraicas J = X
0 0
K 0 = X0
J1 = X 0 ⋅ Q 0
Mq. de Mealy:
K1 = 1
Z= f (entrada, estado)
Z 0 = X 0 ⋅ Q1
III. Obtención de la
Q1 Q0 Entrada J1 K1 J0 K0
tabla de excitación del X
autómata ¿Cuál será el
0 0 0 0 1 1 0 estado siguiente
0 0 1 0 1 0 1 y la salida del
0 1 0 0 1 1 0 autómata?
0 1 1 1 1 0 1
1 0 0 0 1 1 0
1 0 1 0 1 0 1
1 1 0 0 1 1 0
1 1 1 1 1 0 1
K 0 = X0
J1 = X 0 ⋅ Q 0
Mq. de Mealy:
K1 = 1
Z= f (entrada, estado)
Z 0 = X 0 ⋅ Q1
III. Obtención de la
tabla de excitación del Q1 Q0 Entrada J1 K1 J0 K0 Q’1 Q’0 Salida
X Z
autómata
0 0 0 0 1 1 0 0 1 0
0 0 1 0 1 0 1 0 0 0
0 1 0 0 1 1 0 0 1 0
0 1 1 1 1 0 1 1 0 0
1 0 0 0 1 1 0 0 1 0
1 0 1 0 1 0 1 0 0 1
1 1 0 0 1 1 0 0 1 0
1 1 1 1 1 0 1 0 0 1
X
Q’1Q’0 /Z
CODIFICACIÓN Q1 Q0 0 1
S0 0 0 01/0 00/0
S1 0 1 01/0 10/0
S2 1 0 01/0 00/1
S3 1 1 01/0 00/1
1/0
b/p S3 0/0
a/p
inicio 0/0
a/p
S0 S1
a/p
0/0
a/p
0/0
b/p
1/0
b/q
1/1 b/p
1/0
S2
Análisis
x 0 ⋅ Q 0 ⋅ Q1
Q1 ⋅ Q 0
1
x0 ⋅ Q 1 ⋅ Q 0
x0
Q 0 ⋅ Q1
0
III. Obtención de la
Q1 Q0 Entrada D1 D0
tabla de excitación del X
autómata ¿Cuál será el
0 0 0 0 1 estado siguiente
0 0 1 0 0 y la salida del
0 1 0 0 1 autómata?
0 1 1 1 0
1 0 0 0 1
1 0 1 1 1
1 1 0 0 1
1 1 1 0 0
Análisis
II. Expresiones algebraicas
Q 0 ' = D 0 = Q1 ⋅ Q 0 + X 0
Q1 ' = D1 = Q1 ⋅ Q 0 ⋅ X 0 + Q 1 ⋅ Q 0 ⋅ X 0
Z 0 = Q1 ⋅ Q 0
Mq. de Moore: Z= f (estado)
III. Obtención de la
tabla de excitación del Q1 Q0 Entrada D1 D0 Q’1 Q’0 Salida
X Z
autómata
0 0 0 0 1 0 1 0
0 0 1 0 0 0 0 0
0 1 0 0 1 0 1 0
0 1 1 1 0 1 0 0
1 0 0 0 1 0 1 0
1 0 1 1 1 1 1 0
1 1 0 0 1 0 1 1
1 1 1 0 0 0 0 1
X
Q’1Q’0 Q’1Q’0
CODIFICACIÓN Q1 Q0 0 1 Z
S0 0 0 01 00 0
S1 0 1 01 10 0
S2 1 0 01 11 0
S3 1 1 01 00 1
Análisis
V. Obtención del diagrama de transición de estados
inicio 0a a0
S0/p
S0/0 S1/p
S1/0
0a
1b a0
1b b1
S3/q
S3/1 b
1 S2/p
S2/0
Máquinas secuenciales sí
síncronas: consideraciones
Moore vs. Mealy:
• En Moore la salida no depende de la entrada, es decir los cambios en la
entrada que no alteren el estado no pueden alterar el valor de la salida ⇒
Protección contra señales espurias
• En una máquina de Moore la respuesta de la salida de retarda hasta en
un periodo de reloj
“Clock Skew”: la señal de reloj no llega a la vez a los distintos
componentes:
CLK CLK1
• Longitud del bus
• Líneas no “equilibradas” CLK2
• “Crosstalk”
CLK3
• Rutado automático de las herramientas CAD
Máquinas secuenciales sí
síncronas: entradas así
asíncronas
Las entradas asíncronas pueden no respetar los parámetros de temporización
del biestable y hacer que quede en estado metaestable.
Máquina
secuencial
CLR
Q CLR
Q
Reloj Reloj
Alta estabilidad
Facilidad de diseño
Alto coste (aprox 1 €).
Consumo alto
Aspectos tecnoló
tecnológicos
Señal de reloj: Resonador cerámico
Estabilidad media
Facilidad de diseño
Consumo alto
f≈ 1
(1,4RC)
Aspectos tecnoló
tecnológicos
Pulsador de
Reset
Tensión de alimentación
Regulador lineal
Reguladores de tensión de 3.3V, 5V, 12V y 15V
(Más usual 7805 de 5V).
Circuitos antirrobotes