SSN Circuitos Secuenciales
SSN Circuitos Secuenciales
SSN Circuitos Secuenciales
SECUENCIALES
1
Definición
donde:
3
Señal de sincronismo (reloj)
▪ Periodo
▪ Frecuencia de reloj
▪ Ancho del pulso
▪ Ciclo útil
▪ Nivel
▪ Flanco
4
Latch
Memorizan un bit de información y son
sensibles a niveles.
S R Q(T) Q(T+1)
1
0 0 0 0 0
0
0 0 1 1
0
0 0 1 x 0
1
1 0 x 1
Tipo SR
1 1 x U
5
Simulación Latch SR
6
Latch SR sincronizado
1
1 ?
?
1
1
C S R Q(T) Q(T+1)
0 x x 0 0
0 x x 1 1
1 0 0 0 0
1 0 0 1 1
1 0 1 x 0
1 1 0 x 1
1 1 1 x U 7
Simulación Latch SR sincronizado
8
Latch D sincronizado
1
1 0
1
0
C D Q(T) Q(T+1)
0 x 0 0
0 x 1 1
1 0 x 0
1 1 x 1
9
Modelo VHDL
10
Ejemplo - 2 latch en
configuración maestro-esclavo
11
Simulación Ejemplo - dos
latch D
12
Flip-flop
Elemento de almacenamiento que modifica su
salida; evaluando sus entradas y estado, en el
flanco de la señal de sincronismo
▪ Tipo D
▪ Tipo JK
▪ Tipo T
▪ Tipo RS
13
Flip-flop D
Preset
D Q(T+1)
D Q
Q(T + 1) = D
Q′
0 0
Reset Ecuación de estado
1 1
Caja Negra
Tabla de funcionamiento
T Q(T+1)
0 Q(T)
1 Q’(T)
Tabla de funcionamiento
Caja gris
▪ Desplazamiento
▪ Rotación
▪ Carga paralela o serial
▪ Universal (todas las operaciones posibles)
Registro de desplazamiento
Q1 Q2 Q3 Q4
t In Q1 Q2 Q3 OUT
1 0 0 U U U
2 1 1 0 U U
3 0 0 1 0 U
4 1 1 0 1 0
5 1 1 1 0 1
Máquinas de Estado Finito
(FSM)
Es un modelo que puede representar
cualquier circuito secuencial a partir de n
entradas, k biestables y m salidas.
x1
x2 FSM y1(X, S)
⋮ ⋮
xn s1, s2, . . . , sk ym(X, S)
clk rst
Modelo Canónico - FSM Mealy
h
Caso especial - FSM Moore
h
Contador Función
Comb.
Registro
▪ Flip-flops tipo D 0 0 0 0 0 1
0 0 1 0 1 0
T0,T1, T2=? 0 1 0 0 1 1
0 1 1 1 0 0
D0, D1,D2=?
1 0 0 1 0 1
1 0 1 1 1 0
1 1 0 1 1 1
1 1 1 0 0 0
T Q(T+1)
Diseño con FFT 0 Q(T)
1 Q’(T)
Estado Presente Estado Futuro T2 = s1 . s0 T1 = s0 T0 = 1
s2(T) s1(T) s0(T) s2(T+1) s1(T+1) s0(T+1) T2 T1 T0
0 0 0 0 0 1 0 0 1
0 0 1 0 1 0 0 1 1
0 1 0 0 1 1 0 0 1
0 1 1 1 0 0 1 1 1
1 0 0 1 0 1 0 0 1
1 0 1 1 1 0 0 1 1
1 1 0 1 1 1 0 0 1
1 1 1 0 0 0 1 1 1
0 0 0 0 0 1 0 0 1
0 0 1 0 1 0 0 1 0
0 1 0 0 1 1 0 1 1
0 1 1 1 0 0 1 0 0
1 0 0 1 0 1 1 0 1
1 0 1 1 1 0 1 1 0
1 1 0 1 1 1 1 1 1
1 1 1 0 0 0 0 0 0
D1 = xor(s1, s0)
Q(T + 1) = D 26
Representaciones de FSM
▪ Diagramas de estado
▪ Tabla de estado presente-estado futuro
▪ Ecuaciones de entrada, salida y de estado
▪ Diagramas circuitales
▪ Diagrama de caja gris (canónico)
▪ Simulaciones en el tiempo
▪ Modelo VHDL (registro de estados)
27
TAREA: modelar la FSM a partir del uso de FF tipo T y uno JK.
Pares: (1)—JK y (0)—T; Impares: (1)—T y (0)—JK
Análisis de FSMs
Obtener las diferentes representaciones de
la siguiente FSM: Realimentacion: 27 nov
Tarea: 22 Nov
28
Ecuaciones entrada, salida y
estado
▪ Ecuaciones de estado:
✴ Q1(T + 1) = D1 = xor(Q1(T ), x)
′ ′ ′
✴ Q0(T + 1) = x . Q1(T ) + Q1(T ) . Q0(T ) = D0
• Ecuaciones de entrada:
✴ D1 = xor(Q1, x)
′ ′ ′
✴ D0 = x . Q1 + Q1 . Q0
• Ecuaciones de salida:
y = xor(Q1, x)
✴ 1
✴ y0 = Q1 . Q0
Tabla de EP - EF
Estado Futuro
Estado Presente
Rst-> 0 0 0 1/ 0 1 1/ 1 0
0 1 0 0/ 0 1 0/ 1 0
1 0 1 1/ 1 0 0/ 0 0
1 1 1 1/ 1 0 0/ 0 1
30
Diagrama de estados
Rst->
1/1 00
0/0
0
0/1 1/0
0/0
01
11 0
1
1/0
y0
1/1
10 y1
0/1
0
31
Caja Negra
x
FSM_ex y0
Rst
(s0,s1) y1
Clk
Caja Gris (Modelo Directo)
x
g h
D0 Q0 y0
clk rst
33