Contenido

Lógica Secuencial (1/2) Introducción

Luis Parraguez Cerrojos
Biestables
Sección de Sistemas Digitales y Control
Departamento de Electricidad Máquinas de Estados Finitos
Ingeniería, Anzoátegui, UDO Máquina Mealy
AD DE O
Máquina Moore
SID R
ER

I EN
UNIV

TE * Análisis de la Lógica Secuencial

*

A
V

N
E

E Z U E

Introducción Cerrojo SR
Un circuito secuencial es aquel donde el estado
_ Entradas E.F.
I
S Q
presente y las salidas dependen de la EP(Qt ) S R Qt+1
combinación de variables de entrada y de la 0 0 0 0
trayectoria pasada del sistema por diferentes 0 0 1 0
etapas o estados. 0 1 0 1
Q 0 1 1 x
R
SR 1 0 0 1
11 10 11 1 0 1 0
1 1 0 1
0x 0 1 x0 1 1 1 x

01 Qt+1 = St + Qt Rt
Cerrojo con habilitación Cerrojo JK
S _
_ Entradas E.F.
Q
J Q EP(Qt ) J K Qt+1
C 0 0 0 0
C 0 0 1 0
Q 0 1 0 1
R Q
K 0 1 1 1
Los cambios ocurren sólo cuando C está activa. 1 0 0 1
CSR JK 1 0 1 0
111 111 1x
110 0x x0 1 1 0 1
0 1 1 1 1 0
0xx 0 1 0xx
10x 1x0
x1 Qt+1 = Jt Qt + Kt Qt
101

Cerrojo D Biestable

D _
Q Ent. E.F.
Qt D Qt+1
D _
C 0 0 0 Q
Q 0 1 1
C
1 0 0
D 1 1 1 Q
1
0 1 
0 1 D ,C = 1
Qt+1 =
Qt , C = 0
0
Cerrojos y Biestables FSM
S Q S Q S Q FSM = hS, I, O, f , hi
C _ _
R Q R Q R Q

J Q J Q J Q
C _ _
K Q K Q K Q

D Q D Q D Q
_ _
C Q Q Q

FSM Mealy FSM Moore

Entradas
I Entradas E.F. I E.F.
f f
S h : SxI → O S h:S→O
Mem f : SxI → S Mem f : SxI → S
O O
h Salidas h Salidas
xk +1 = Axk + Buk xk +1 = Axk + Buk
yk = Cxk + Duk yk = Cxk
Análisis de la lógica secuencial Diagrama Esquemático

Diagrama Esquemático
Dec 3 a 8
Ecuaciones de Excitación O7
O6
O5 Reg
Ecu. de Estado Futuro Ecuaciones de Salida O4
D1 Q1 S2
O3
I E2 O2 D0 Q0 S1
Tablas de Estado Futuro y Salidas E1 O1
E0 O0 Clk S0
Diagrama de Estados

Simulación y Diagramas de Tiempo

Ecuaciones de Excitación Ecuaciones de Estado Futuro

Dec 3 a 8 Dec 3 a 8
O7 O7
O6 O6
O5 Reg O5 Reg
O4 S2 O4 S2
O3 D1 Q1 O3 D1 Q1
I E2 O2 D0 Q0 S1 I E2 O2 D0 Q0 S1
E1 O1 E1 O1
E0 O0 Clk S0 E0 O0 Clk S0

D1(I,Q1,Q0) = Σ (2, 3, 5, 7) Q1t+1 = Σ (2, 3, 5, 7)

D0(I,Q1,Q0) = Σ (1, 3, 4, 5) Q0t+1 = Σ (1, 3, 4, 5)
Ecuaciones de Salida Tabla de Estados y Salidas
Dec 3 a 8 t+1
Q1(I,Q = Σ (2, 3, 5, 7) S2 = Q1 Q0 I
O7 1 ,Q0 )
O6 t+1 S1 = Q1
Q0(I,Q = Σ (1, 3, 4, 5) S0 = Q1 ⊕ Q0
O5 1 ,Q0 )
Reg
O4 S2
D1 Q1
O3
D0 Q0 E.P. (Q1t+1 Q0t+1 /S2 ) Sa.Mo.
I E2 O2 S1
E1 O1 Q1 Q0 I=0 I=1 S1 S0
E0 O0 Clk S0
0 0 00/0 01/0 0 0
0 1 01/0 11/0 0 1
S2 = Q1Q0I 1 0 10/0 00/1 1 1
S1 = Q1 1 1 11/0 10/0 1 0
S0 = Q1 ⊕ Q0

Diagrama de Estados

1/0 0/0
0/0
00 / 00 01 / 01

1/1 1/0

0/0
0/0 10 / 11 11 / 10

1/0