Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad 1
Manrique 2005
Sistemas Digitales II
Introduccin
En este curso abordaremos los Sistemas Secuenciales o tambin llamados Maquinas de Estados Finitos.
La salida no solo depende de la entradas presentes, tambin depender de la historia pasada, de lo que sucedi antes.
Manrique 2005
Sistemas Digitales II
Ejemplos clsicos
Manrique 2005
Sistemas Digitales II
Manrique 2005
Sistemas Digitales II
Son sistemas que actan bajo un control de tiempo, este control se denomina reloj (clock).
Clock: es una seal que se alterna entre los valores lgicos 0 y 1 en un periodo regular.
T
Manrique 2005
Sistemas Digitales II
El Clock
El Periodo (T): es el tamao en tiempo de un ciclo. La Frecuencia (f): es el inverso del periodo, 1/T y est dada en Hertz (Hz).
Ejemplo:
Una seal con frecuencia de 200 MHz, corresponde a una seal que tenga un periodo de 5 ns.
En la mayora de los sistemas sincrnicos, los cambios ocurren en las transiciones donde la seal cambia de 0 a 1 de 1 a 0.
Sistemas Digitales II 6
Manrique 2005
x1 . . . xn Lgica Combinatoria
. . .
Z1 . . . Zk
Memoria
. . .
qm
Manrique 2005
Sistemas Digitales II
Tiene n entradas, (xs) El clock se comporta como una entrada ms. Tiene k salidas (zs) Tiene m dispositivos de almacenamiento binario (qs) Cada dispositivo podr tener una o dos seales de entrada Muchos sistemas tiene solo una entrada y una salida, pero veremos ejemplos con varias entradas e incluso algunos sistemas que no tienen entradas a no ser el clock. Memoria: Flip-Flops.
8
Manrique 2005
Sistemas Digitales II
Manrique 2005
Sistemas Digitales II
En este ejemplo, la salida depende nicamente del estado del sistema y que se haya seguido el patrn definido en la entrada del sistema. E este tipo de Mquinas de Estado que slo dependen del estado actual del sistema son llamadas de Modelos Moore Mquinas Moore, debido a Edward F. Moore*.
* Edward F. Moore, un pionero de las Mquinas de estados, quien escribi Gedanken-experiments on Sequential Machines, pp 129 153, Automata Studies, Annals of Mathematical Studies, no. 34, Princeton University Press, Princeton, N. J., 1956.
Manrique 2005
Sistemas Digitales II
10
No abordaremos todava el diseo de un sistema secuencial, pero daremos las herramientas necesarias para describirlo.
Tabla de Estados: es una tabla que describe las transiciones de una mquina de estados finitos, en otras palabras, muestra las relaciones funcionales entre las entradas, salidas y estados de la memoria. Para cada combinacin y cada estado, indica cual ser la salida y cual ser el prximo estado despus del siguiente pulso de clock.
Manrique 2005
Sistemas Digitales II
11
Manrique 2005
Sistemas Digitales II
12
Tabla y diagrama de estados para el EJE6 En el futuro nos referiremos al Estado Presente por el smbolo q y el Estado Siguiente por el smbolo q*.
Manrique 2005
Sistemas Digitales II
13
Un timing trace, es un conjunto de valores para las entradas y salidas arreglados en una forma consecutiva con relacin a los pulsos de clock. Es usado normalmente para explicar o clarificar el comportamiento de un sistema.
x q z 0 ? ? 1 A 0 1 B 0 0 C 0 1 A 0 1 B 0 1 C 0 0 D 1 0 A 0 1 A 0 0 B 0 1 A 0 1 B 0 1 C 0 1 D 1 1 D 1 0 D 1 0 A 0 A 0 ? 0 0
Manrique 2005
Sistemas Digitales II
14
Elementos de Memoria
Manrique 2005
Sistemas Digitales II
15
Latch
Un Latch es un dispositivo binario de almacenamiento, construido con dos o ms compuertas con realimentacin.
P P = (S + Q) Q = (R + P)
Ecuaciones del sistema
S = Set R = Reset
Manrique 2005
Sistemas Digitales II
16
En este latch, cuando la seal del gate es inactiva, tanto SG y RG sern 0 y el latch permanece sin cambios. nicamente cuando la seal del gate es 1 el latch podr recibir el valor 0 1 as como el latch anterior.
Manrique 2005
Sistemas Digitales II
17
El Flip Flop
El Flip Flop es un dispositivo de almacenamiento binario con colck. Bajo operaciones normales este dispositivo almacenar un 1 un 0 y slo cambiarn estos valores en el momento que ocurra una transicin del clock.
Las transiciones que pueden producir cambios en el sistema pueden ser cuando el clock va de 0 a 1, disparo por rampa de subida (leadign-edge triggered), o cuando el clock va de 1 a 0, disparo por rampa de bajada (trailing-edge triggered).
Manrique 2005
Sistemas Digitales II
18
Manrique 2005
Sistemas Digitales II
19
Existen varios tipos de Flip Flops, nos concentraremos en dos tipos, el D y el JK, el Flip Flop tipo D es el ms usado y es encontrado comnmente en dispositivos lgicos programables. Otros, SR y T.
Manrique 2005
Sistemas Digitales II
20
Es el ms sencillo en su operacin. El nombre proviene de Delay (retardo), ya que su salida es un reflejo de lo que hay en la entrada con un retardo de un ciclo de clock.
q D q D q q
Manrique 2005
Sistemas Digitales II
21
q* = D
Ecuacin
Manrique 2005
Sistemas Digitales II
22
Diagrama de tiempo
Manrique 2005
Sistemas Digitales II
23
Variacin de la entrada
La salida no se ver afectada, ya que el valor de la entrada D solo es relevante en el instante de la rampa de bajada
Manrique 2005
Sistemas Digitales II
24
Diagrama de tiempo
Manrique 2005
Sistemas Digitales II
25
Cualquier tipo de Flip Flop podr contar con estas entradas asincrnicas, en el caso de Flip Flops tipo D tenemos:
PRE 0 D
PRE
CLR 1 0 0 1 1 1 1
D X X X 0 0 1 1
q X X X 0 1 0 1
1 0 1
Clock
CLR
1 1 1
Manrique 2005
Sistemas Digitales II
26
Manrique 2005
Sistemas Digitales II
27
Tiene dos entradas con el mismo significado que el Latch SR Tablas de comportamiento
S 0 0 0 0 1 1 1 1
R 0 0 1 1 0 0 1 1
q 0 1 0 1 0 1 0 1
q* 0 1 0 0 1 1 No permitido
S 0 0 1 1
R 0 1 0 1
q* q 0 1 No permitido
Manrique 2005
Sistemas Digitales II
28
q\SR
0 1
00
01
11
10
x 1 x
1 1
q* = S + Rq
Manrique 2005
Sistemas Digitales II
29
Manrique 2005
Sistemas Digitales II
30
Tiene una entrada T, de tal forma que si T = 1, el Flip Flop cambia el valor del estado actual y si T = 0, el estado permanece sin cambios. Tablas de Comportamiento
T 0 0 1 1 q 0 1 0 1 q* 0 1 1 0 T 0 1 q* q q
Manrique 2005
Sistemas Digitales II
31
Manrique 2005
Sistemas Digitales II
32
Manrique 2005
Sistemas Digitales II
33
Es una combinacin del SR y del T, siendo as, su comportamiento es como el SR, con excepcin cuando sus entradas J = K = 1 provoca que el Flip Flop cambie de estado, como si fuera un Flip Flop T. Tablas de comportamiento:
J 0 0 0 0 1 1 1 1 K 0 0 1 1 0 0 1 1 q 0 1 0 1 0 1 0 1 q* 0 1 0 0 1 1 1 0 J 0 0 1 1 K 0 1 0 1 q* q 0 1 q
Manrique 2005
Sistemas Digitales II
34
10 11
00 01 11 10
q\JK
0 1
1 1
1 1
q* = Jq + Kq
Manrique 2005
Sistemas Digitales II
35
Manrique 2005
Sistemas Digitales II
36
Manrique 2005
Sistemas Digitales II
37
Manrique 2005
Sistemas Digitales II
38
q1 * q2 * q1 0 0 1 1 q2 0 1 0 1 x=0 00 00 10 00 x=1 10 10 11 01 z 1 0 1 0
01 0
1 0
00 1
1 0
10 1
1
11 0
Manrique 2005
Sistemas Digitales II
39
Este es un circuito de modelo tipo Moore, ya que la salida z, que es igual a A + B, es una funcin del estado, o sea, el contenido de los flip flops, y no de la entrada x.
J A ! x K A ! xBd J B ! K B ! x Ad z ! A B
40
Manrique 2005
Sistemas Digitales II
Para completar la tabla hay que tener en cuenta las ecuaciones de entrada de los flip flops y el funcionamiento de cada uno de ellos para determinar el estado siguiente.
Manrique 2005
Sistemas Digitales II
41
Manrique 2005
Sistemas Digitales II
42
00 0
1 0
01 1
1 1
11 1
0 1
10 1
Manrique 2005
Sistemas Digitales II
43
En algunos casos, la salida depende de la entrada actual as como del valor de los estados actuales. Este tipo de circuitos son clasificados como sistemas secuenciales de modelo Mealy. Un ejemplo de este modelo es este sistema.
Manrique 2005
Sistemas Digitales II
44
Ecuaciones
Manrique 2005
Sistemas Digitales II
45
00
11
1/1
0/0
01
1/0
10
1/1
Manrique 2005
Sistemas Digitales II
46
Manrique 2005
Sistemas Digitales II
47