Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Libro Sistemas Digitales
Libro Sistemas Digitales
2011
LIBRO
SISTEMAS DIGITALES
MAQUINAS
SECUENCIALES
SINCRONICAS
SISTEMAS DIGITALES
2011
CAPITULO 1
INTRODUCCION A LAS MAQUINAS
SECUENCIALES SINCRONICAS
1.1 INTRODUCCION
Los sistemas digitales estn divididos en dos grandes grupos bien
diferenciados, el primero corresponde a las mquinas o circuitos
combinacionales y, el segundo a las mquinas o circuitos
secuenciales, cada grupo a su vez tiene su propia subdivisin.
Esta gran divisin obliga desde el punto de vista de la ingeniera, a
estudiar primero las tcnicas de anlisis y diseo de los circuitos
combinacionales, para luego estudiar las tcnicas de anlisis y
diseo de circuitos secuenciales.
1.2 LOS CIRCUITOS SECUENCIALES SINCRONICOS
Para iniciar el estudio de los circuitos secuenciales sincrnicos se
debe explicar en primera instancia qu hace un circuito secuencial
que no pueda hacer uno combinacional, para dar una explicacin
de esto, se toma como ejemplo un circuito combinacional simple
conformado por una sola puerta AND de dos entradas, la
caracterstica fundamental de este circuito es que su salida
depende exclusivamente solo de los valores que tengan la puerta
en sus entradas y de ninguna otra particularidad.
En la figura 1.1 se puede ver este circuito combinacional con su
tabla de verdad que ha sido creada con el simulador Electronics
Workbench.
Una de las caractersticas ms importantes de un circuito
secuencial es que sus salidas no solo dependen del valor que tienen
sus entradas en un instante determinado, sino tambin dependen
de los valores anteriores que estuvieron presentes en esas
SISTEMAS DIGITALES
2011
SISTEMAS DIGITALES
2011
SISTEMAS DIGITALES
2011
Entradas
del mundo
exterior
-
. .
.
Lgica de transformacin y
mezcla de las entradas y
salidas
. . . . . . . .
Elemento de Memoria
. . . . . . . .
SISTEMAS DIGITALES
2011
Bloque 1
Bloque 2
SISTEMAS DIGITALES
2011
Bloque 1
Bloque 2
Bloque 1
Bloque 2
SISTEMAS DIGITALES
Bloque 1
2011
Bloque 2
Bloque 3
Bloque 1
Bloque 2
Bloque 4
Bloque 3
SISTEMAS DIGITALES
2011
E1 E2 S
0
0
0
0
1
1
1
1
1
1
0
0
1.1 Valores de las entradas y salida
.1 1 0 0 E1
.0 1 1 0 E2
Sistema
S 0 1 1 0.
SISTEMAS DIGITALES
2011
.1 1 0 0 E1
.0 1 1 0 E2
Sistema
S 0 1 1 0.
SISTEMAS DIGITALES
2011
SET
RESET
Celda
Binaria
Q
/Q
SISTEMAS DIGITALES
2011
Reset
F
V
F
V
Salida Q
Q, mantiene el valor de Q
0, OPERACIN DE RESET
1, OPERACIN DE SET
No permitido
SISTEMAS DIGITALES
2011
Set
Reset
Salida Q
F= 1
F= 1
Q, mantiene el valor de Q
F= 1
V= 0
0, OPERACIN DE RESET
V= 0
F= 1
1, OPERACIN DE SET
V= 0
V= 0
No permitido
Tabla 1.3 Operacin de una celda binaria con puertas NAND
En la tabla 1.4 se representa la operacin de una celda binaria con
puertas NOR, que como ya se dijo trabajan con lgica positiva, esto
implica que lo verdadero se representa con un uno lgico y lo falso
con un cero lgico.
Set
Reset
Salida Q
F= 0 F= 0
Q, mantiene el valor de Q
F= 0 V= 1
0, OPERACIN DE RESET
V= 1 F= 0
1, OPERACIN DE SET
V= 1 V= 1
No permitido
Tabla 1.4 Operacin de una celda binaria con puertas NOR.
Si se hace un anlisis cuidadoso de las tablas 1.3 y 1.4, se puede
concluir que si bien la salida Q no cambia, sin embargo las
entradas SET y RESET si cambian porque trabajan en el un caso
con lgica negativa y en el otro con lgica positiva, por lo tanto no
es lo mismo trabajar con celdas binarias con puertas NAND que con
NOR.
En resumen lo importante es no olvidar la tabla de operacin
general de una celda binaria que es la que se indica en la tabla 1.2
y acoplar esta tabla al tipo de lgica, positiva o negativa de la celda
binaria, esto se realiz para construir las tablas 1.3 que responde a
lgica negativa y 1.4 que es con lgica positiva.
Otro punto importante es tambin notar que en una celda binaria
con puertas NAND, la entrada SET est en la misma puerta que
contiene la salida Q, en cambio en una celda binaria con puertas
NOR la entrada SET est en la misma puerta que contiene la salida
/Q.
Ejemplo 1.5: Demuestre la operacin de una celda binaria con
puertas NAND.
SISTEMAS DIGITALES
2011
SET
Q
/Q
/Q
SISTEMAS DIGITALES
2011
RESET
Figura 1.15 Diagrama de bloques de la Celda Binaria con puertas
NAND.
De la figura 1.14 se tienen dos ecuaciones:
Q= /(SET./Q) (1)
/Q=/(Q.RESET) (2)
Remplazando /Q de (2) en (1), se tiene:
Q= /(SET./(Q.RESET))
Q= /SET + (Q.RESET)
Y la tabla queda:
SET RESET Q
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
/SET
Q.RESET
1
1
1
1
0
0
0
0
Tabla 1.5 celda
0
0
0
1
0
0
0
1
Binaria con
Q= /SET +(Q.RESET)
1
1
1 operacin de
1 SET
0 operacin de
0 RESET
0
1
puertas NAND.
RESET
Q= /SET +(Q.RESET)
0
0
0
0
0
1
0
1
0
1 no
1 usado
1 operacin de
SISTEMAS DIGITALES
0
1
1
1
1
1
1
1
0
0
0
0
0
1
1
0
0
1
1
1
Tabla 1.6 Resumen
2011
SET
operacin de
RESET
operacin de
mantenimiento
de la tabla 1.5
SISTEMAS DIGITALES
2011
SISTEMAS DIGITALES
SET RESET Qn
Estado presente
0
0
0
0
1
1
1
1
2011
Qn+1
Estado siguiente
0
0
1 no
1 usado
0
1
1
0
1 operacin de
1 SET
1
1
0
0
0 operacin de
0 RESET
0
1
1
0
0 operacin de
1 mantenimiento
1
1
Tabla 1.6 Resumen de la operacin de una celda
binaria con puertas NAND.
Y la ecuacin queda:
Qn+1= /SET + (Qn.RESET).
1.5 DIAGRAMA DE TIEMPO PARA SET Y RESET VERDADEROS
Para ver el fenmeno de la indeterminacin de la salida Q de una
celda binaria cuando el SET y RESET son los dos verdaderos al
mismo tiempo, se propone el diagraman de tiempo de la figura
1.18 las puertas reales tienen un retardo de propagacin, que es el
tiempo que se demora la salida de un dispositivo en responder a
cambios en sus entradas.
Para el primer caso se supone una celda binaria que trabaja con
lgica negativa y la puerta a la que se encuentra conectada la seal
RESET, tiene un retardo de propagacin de 1 unidad de tiempo
(retardo= 1 UT), y la otra puerta un retardo de propagacin de dos
unidades de tiempo (retardo= 2UT), el grafico de la celda
redibujada es como se indica en la figura 1.17.
Se supone que al tiempo t= 0, las seales SET Y RESET se hacen
verdaderas al mismo tiempo, es decir las dos caen a cero voltios o
nivel bajo, antes del tiempo t=0, Q=0 y /Q=1, as como SET=1 Y
RESET=0.
SISTEMAS DIGITALES
2011
SET=RESET
/Q
/Q
SISTEMAS DIGITALES
2011
SISTEMAS DIGITALES
2011
a)
b)
Figura 1.21 a) tren de pulsos y b) interruptor cerrado.
SISTEMAS DIGITALES
2011
a)
b)
Figura 1.22 a) SET verdadero, b) RESET verdadero.
b)
a)
Figura 1.23. Inversores conectados como eliminadores de rebote
SISTEMAS DIGITALES
2011
Entradas
del mundo
exterior
-
. .
.
Lgica de transformacin y
mezcla de las entradas y
salidas
. . . . . . . .
Elemento de Memoria
. . . . . . . .
SISTEMAS DIGITALES
2011
A o maquina Mealy.
B o maquina Moore.
C o maquina Moore sin decodificador de salidas.
D o memoria de Look up.
Entradas
del mundo
exterior
-
. .
.
Elemento de Memoria
Decodificador de salida
e
. . . . . . . .
Salidas al mundo
exterior
SISTEMAS DIGITALES
2011
Entradas
del mundo
exterior
-
. .
.
CLK
CLKElemento de Memoria
Cdigo del Estado presente
. . . . . . . .
Decodificador de salida
e
. . . . . . . .
Salidas al mundo
exterior
SISTEMAS DIGITALES
2011
Entradas
del mundo
exterior
-
. .
.
Elemento de Memoria
SISTEMAS DIGITALES
2011
Elemento de Memoria
SISTEMAS DIGITALES
2011
SISTEMAS DIGITALES
2011
. . . . . . .
Entradas del mundo
exterior
Elemento de Memoria
SISTEMAS DIGITALES
2011
N, Entradas del
mundo exterior
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
SISTEMAS DIGITALES
2011
alto
bajo
alto
bajo
alto
bajo alto
bajo
Tiempo (segundos)
Verdaderos
Verdaderos
Verdaderos
Verdaderos
con
con
con
con
nivel alto.
nivel bajo.
el flanco de subida.
el flanco de bajada.
alto
bajo
alto
bajo
alto
bajo alto
bajo
Tiempo (segundos)
Figura 1.32 El reloj verdadero con nivel alto.
SISTEMAS DIGITALES
2011
alto
bajo
alto
bajo
alto
bajo alto
bajo
Tiempo (segundos)
Figura 1.33 El reloj verdadero con nivel bajo.
Flanco de
subida
Tiempo (segundos)
Figura 1.34 El reloj verdadero con el flanco de subida.
Por ejemplo, si se trata de un contador, la accin de contar, el
contador la ejecutara cuando el reloj este haciendo su transicin
desde el nivel bajo al nivel alto.
SISTEMAS DIGITALES
2011
Flanco de
bajada
Tiempo (segundos)
Figura 1.35 El reloj verdadero con el flanco de bajada.
Por ejemplo, si se trata de un contador, la accin de contar, el
contador la ejecutara cuando el reloj este haciendo su transicin
desde el nivel alto al nivel bajo.
1.9 DISEO DE FLIP FLOPS
Como se explic anteriormente un Flip-Flop se disea en base a
una celda binaria, por lo tanto, HACIENDO REFERENCIA A LA
FIGURA 1.26, tres cosas se requieren para disear un Flip-Flop y
son:
1. Las especificaciones de cmo debe trabar el Flip-Flop.
2. El tipo de celda binaria (NAND o NOR).
3. El diseo del decodificador de SET y RESET.
Las especificaciones del trabajo del Flip-Flop, se pueden realizar
mediante una descripcin en palabras de cmo debe trabajar el
Flip-Flop o mediante una tabla de verdad.
La celda binaria hay que especificar, porque un tipo trabaja con
lgica positiva (NOR) y, el otro con lgica negativa (NAND).
SISTEMAS DIGITALES
2011
CLK
Qn
Qn+1
F
F
F
F
V
V
V
V
Tabla 1.7
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
el Flip-Flop
0
1
0
1
0
0
1
1
tipo D
SISTEMAS DIGITALES
2011
N, Entradas del
mundo exterior
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
SISTEMAS DIGITALES
2011
Entrada D
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
D
0
0
1
1
0
0
1
1
Tabla
Qn
Qn+1
SET RESET
0
0
0
1
1
0
0
0
1
1
0
0
0
1
0
0
0
1
1
1
1
1
0
0
SISTEMAS DIGITALES
2011
CLK D
Q
00
01 11 10
0 0
0
1
0
1
0
Mapa 1.1 Mapa de karnaught del Flip-Flop D, entrada SET.
SET= CLK.D
CLK D
Q
00
01 11 10
0 0
0
0
0
1
Mapa 1.2 Mapa de karnaught del Flip-Flop D, entrada RESET.
RESET= CLK./D
La tabla de verdad queda como se indica en la tabla 1.7, se
observa que es la misma tabla del Flip-Flop tipo D, aadida las
seales de salidas SET y RESET.
La implementacin puede verse en la figura 1.35.
SISTEMAS DIGITALES
2011
N, Entradas del
mundo exterior
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
SISTEMAS DIGITALES
2011
Entrada T
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
Qn
Qn+1
SET RESET
F
F
F
F
V
V
V
V
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
1
0
0
0
1
SISTEMAS DIGITALES
2011
CLK T
Q
00
01 11 10
0 0
0
1
0
1
CLK T
Q
00
01 11 10
0
1 0
0
1
0
Mapa 1.4 Mapa de karnaught del Flip-Flop T, entrada RESET
RESET=CLK.T.Q
En la figura 1. 333 se puede ver la implementacin de este FlipFlop.
SISTEMAS DIGITALES
2011
N, Entradas del
mundo exterior
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
SISTEMAS DIGITALES
2011
Entradas J y K
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
K Qn
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
Esta
tabla
0
0
0
CLK
es
falso,
1
1
0
Qn=Qn+1
0
0
1
Tabla 1.9 el Flip-Flop tipo J-K.
SISTEMAS DIGITALES
2011
JK
Qn
00
01 11 10
0 0
0
1
1
1
0
0
JK
Qn
00
01 11 10
0
0
0
1 0
1
1
0
Mapa 1.6 Mapa de karnaught del Flip-Flop J-K, entrada RESET
RESET=K.Qn.CLK
En la figura 1.40 se puede ver la implementacin de este Flip-Flop.
SISTEMAS DIGITALES
2011
N, Entradas del
mundo exterior
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
SISTEMAS DIGITALES
2011
Entradas S y N
CLK
Decodificador de Set/Reset
SET
RESET
Celda binaria
/Q
N Qn
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
0
0
1
0
1
0
1
0
1
0
0
1
1
0
1
0
1
0
0
0
1
0
1
Esta
tabla
trabaja como tal
si y solo si el CLK
es verdadero, si
CLK
es
falso,
Qn=Qn+1
SN
Qn
00
0 0
1 0
01
1
11
1
0
10
1
0
SISTEMAS DIGITALES
2011
SN
Qn
00
0
1 0
01
11
0
1
10
0
0
SISTEMAS DIGITALES
2011
N Entradas
...... ..
Nuevo Flip-Flop
Decodificador de entradas
E 1 ..
En
Flip-Flop dado
CLK
/Q
SISTEMAS DIGITALES
Y1
Yn
Qn
Qn+1 E1
2011
..
En
N
Entradas
..
Nuevo Flip-Flop
Decodificador de entradas
E 1 ..
En
Flip-Flop dado
CLK
/Q
SISTEMAS DIGITALES
2011
SISTEMAS DIGITALES
T
Entrada
2011
Nuevo Flip-Flop
Decodificador de entradas
Flip-Flop D
CLK
/Q
Qn
Qn+1
0
0
0
1
1
1
0
1
1
1
0
0
Tabla. 1.12 Tabla de verdad del
decodificador.
SISTEMAS DIGITALES
2011
SISTEMAS DIGITALES
2011
CAPITULO 2
DISEO Y ANALISIS DE MAQUINAS
SECUENCIALES SINCRONICAS
2.1 INTRODUCCION
Una vez que en el captulo anterior se estudiaron las celdas
binarias y los Flip-Flops que son los elementos fundamentales a
partir de los cuales se construyen las mquinas secuenciales
sincrnicas, el siguiente paso es el estudio de las tcnicas de
anlisis y diseo de las mquinas o circuitos secuenciales
sincrnicos.
Las mquinas o circuitos secuenciales sincrnicos se suelen
clasificar de la siguiente manera: generadores y detectores de
cdigo, contadores y registros y, sistemas controladores multientrada.
2.2 DISEO DE CIRCUITOS SECUENCIALES SINCRONICOS
2.2.1 INTRODUCCION
Cuando se requiere disear un circuito digital es necesario tener
alguna tcnica de diseo, as, en el caso del diseo de circuitos
combinacionales la tcnica es mediante una tabla de verdad, que
en esencia es la herramienta de diseo, en el caso de los circuitos
secuenciales una de las herramientas de diseo es el diagrama de
estados.
2.2.2 EL DIAGRAMA DE ESTADOS
Un diagrama de estados se define como, un grfico, una figura
formada por smbolos especiales, como valos y segmentos
de recta dirigidos
que describen grficamente el
comportamiento o funcionamiento de un circuito o mquina
SISTEMAS DIGITALES
2011
Estado
Estado
Estado
Estado
Tiempo (segundos)
SISTEMAS DIGITALES
2011
Estado presente
a, o estado de
inters.
Estradas/salidas
b
001
a
000
Estado siguiente
al estado
presente a
Estradas/salidas
Estradas/salidas
c
010
Estado b,
siguiente al
estado a
Estado c,
siguiente al
estado a
SISTEMAS DIGITALES
2011
Entrada
x
A
Salidas
B
CLK
a
0/11
1/00
e
/10
b
/01
f
/00
c
/10
/01
g
/11
SISTEMAS DIGITALES
2011
Contador de 3 bits
X
Y
z
CLK
SISTEMAS DIGITALES
/111
/110
2011
a
/000
/101
/001
f
/100
/010
/011
d
SISTEMAS DIGITALES
2011
a
0/0
1/1
e
1/0
0/0
1/1
0/1
0/1
1/0
0/0
A o maquina Mealy.
B o maquina Moore.
C o maquina Moore sin decodificador de salidas.
D o memoria de Look up.
SISTEMAS DIGITALES
2011
Entrada
x
Decodificador del estado
siguiente
Da
Db
Dc
Elemento de Memoria
Flip-Flops tipo D
Qa
Qb
Qc
Decodificador de salidas
Salidas
A
SISTEMAS DIGITALES
2011
a
DaDbDc
000
0/11
1/00
e
100
/10
b
001
/01
f
101
/00
c
011
/10
/01
g
110
d
010
00
0 a
01
c
11
g
10
e
/11
SISTEMAS DIGITALES
2011
1 b
d
f
Mapa 2.1 Mapa de estados
De la figura 2.12, la tabla de verdad para el diseo del
decodificador de estado siguiente y de salidas es como se indica en
la tabla 2.1.
Qa Qb Qc x
Da
Db
Dc
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
1
1
1
1
0
0
1
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
1
0
0
0
1
1
1
0
0
0
0
1
1
0
0
0
0
1
0
0
0
1
1
1
1
1
1
0
0
0
0
1
0
1
1
1
1
0
0
0
0
1
1
0
0
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
0
1
1
1
0
0
0
0
1
1
0
0
0
0