Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Digital PDF
Digital PDF
SECUENCIALES
Hasta ahora, nicamente hemos visto circuitos combinacionales, es decir, circuitos en los
que las salidas dependen nica y exclusivamente de las combinaciones de entradas, y no de la
historia pasada del sistema. Vamos a ver cules seran las formas de onda del siguiente circuito.
A
B
A
F
B
F
F = AB + AF + BF
Figura 1.1.- Ejemplo de circuito digital junto con sus formas de ondas.
En las formas de onda podemos comprobar que la seal de salida F cambiar de estado
(cuando sea necesario) despus del retraso de la puerta AND y OR. Otra caracterstica de este
circuito que tambin podemos observar es que la salida tambin muestra una dependencia de
ella misma, adems de las seales de entrada; sta implica que para una misma combinacin de
seales de entrada podemos encontrar valores de salida diferentes, como sucede en el caso de
AB = 10. Por lo tanto, el valor de la salida tambin depende de los valores pasados del circuito, es decir, de su historia.
La dependencia de esta historia puede ser ventajosa e incluso necesaria para algunas
aplicaciones en las que es necesario recordar una determinada situacin. Algunos ejemplos de
esta ventaja (necesidad) pueden ser:
La creacin de un reloj, que se modelada con la afirmacin la salida ser el valor
complementario de su valor anterior,
La creacin de un contador, que se modelada con la afirmacin la salida ser el resultado de sumar uno a su valor anterior,...
Por lo tanto, se ve cuando menos interesante incluir la dependencia del tiempo en los sistemas
y en especial, en los sistemas digitales.
Entrada
Control
Retraso
Memoria
En este caso, podemos observar que la salida del elemento de retraso es una copia de la seal
de entrada retraso un determinado tiempo; mientras que la salida del elemento de memoria
copia los valores de la entrada cuando la seal de control tiene una transicin de subida, por lo
que la copia no es exacta, sino que slo copia lo que interesa.
Por lo tanto, el modelo clsico de un sistema secuencial consta de un bloque combinacional, que generar la funcin lgica que queramos realizar, y un grupo de elementos de memoria con una serie de seales realimentadas, como se muestra en la figura 1.3.
Salidas
Co
L
m gi
bi
c
na a
ci
on
al
Entradas
Prximo
Estado
Elemento de
Memoria
Estado
Presente
Salidas
Entradas
ica
na
g
L
cio
na
bi
Prximo
Estado
Elemento de
Estado
Presente
Memoria
Prximo
Estado
Elemento de
bi
m
Co
om
Estado
Presente
na
io
ac
Memoria
ica
g
L
Salidas
Entradas
Reloj
Entradas
Entradas
P. estado
P. estado
Estado p.
Estado p.
Reloj
Caso Asncrono
Caso Sncrono
0,1
A
B
0,0
1,0
0,1
1,0
C
1,0
D
B, 1
C, 0
B, 1
D, 0
A, 0
D, 0
C, 1
C, 0
0,1
1,0
Diagrama de estados
Tabla de estados
En principio, en cualquier sistema secuencial, las seales de salida y del prximo estado
van a venir determinadas por una funcin lgica de las seales de entrada y del estado presente, como muestra la siguiente ecuacin.
Q i, F i = f ( q i, I i )
No obstante, la dependencia de las seales de entrada sobre las seales de salida pueden llegar
a eliminarse y encontrarlas de forma implcita en las seales de estado presente, es decir, siempre que lleguemos a un mismo estado, las salidas tomarn un nico valor.
Por lo tanto, podemos encontrarnos con dos modelos o tipos de sistemas secuenciales en
funcin de la dependencia de las seales de salida:
Modelo de Mealy.- Las seales de salida son funciones tanto de las seales de entrada
como de estado presente, como muestra las siguientes ecuaciones:
F i = f ( q i , I i ), Q i = f ( q i , I i )
Modelo de Moore.- Las seales de salida son funciones nicamente de las seales del
estado presente, como muestra las siguientes ecuaciones:
F i = f ( q i ), Q i = f ( q i, I i )
debido a la diferencia de dependencia de las salidas, ambas mquinas las podemos representar
de dos formas tabulares diferentes, como podemos ver en la figura 1.6. En ella, el significado
de cada celda es diferente, puesto que un mismo sistema se debe poder representar de ambas
formas. En el caso de la representacin de Mealy, el significado del interior de cada celda es el
que vimos anteriormente, es decir, el prximo estado al que llegar con el valor de salida
correspondiente. En cambio, en el representacin de Moore, el interior de la celda de las
columnas de las entradas es el mismo, es decir, el prximo estado al que llegar el sistema; no
obstante, para saber cul ser la salida tenemos que obtenerlo del valor correspondiente al
prximo estado al que llegar.
Ambos tipos de modelos son equivalentes y existe una transformacin directa entre ellos,
segn el significado de las celdas de cada una de las representaciones.
Para pasar de una mquina de Mealy a una de Moore, se siguen los siguientes pasos:
Salida
B, 1
C, 0
B, 1
D, 0
A, 0
D, 0
B, 1
C, 0
Autmata de Moore
Autmata de Mealy
C, 0
B, 1
D, 0
C A, 0
D, 0
D C, 1
C, 0
Salida
Salida
A0 B1
C0
A B, 1
C, 0
B0 B1
D0
B B, 1
E, 0
C0 A0
D0
C A, 0
E, 0
C1 A0
D0
D A, 0
E, 0
D0 C1
C0
E D, 1
C, 0
Si consideramos las mquinas de la figura 1.7, para cualquier secuencia de las seales de
entrada, deberamos poder encontrar un estado inicial tal que la secuencia de salida sera la
misma. Este hecho lo podemos ver en la figura 1.8, donde se muestran las formas de ondas
para ambas mquinas. Debemos destacar que hemos elegido como estados iniciales equivalentes, los estados B (de la mquina de Mealy) y B1 (de la mquina de Moore). Tambin podemos
observar que cuando la entrada toma el valor 1, ningn estado se estabiliza sino que existe un
cambio continuo entre los estados C y D (C0 y D0); el estado en el que se produce la transicin
de entrada depende del retraso de la mquina.
Entrada
Estado
A B
C0 A0 B1 D0
C0
A0
B1
Salida
Mquina de Mealy
Estado
B1
D0
C0
D0
Salida
Mquina de Moore
Figura 1.8.- Equivalencia entre dos mquinas secuenciales.