Diseo y anlisis de sistemas secuenciales

Electrnica Digital, Electrnica Universitaria 0

No resulta fcil deducir el funcionamiento de un circuito
secuencial a partir de un diagrama de puertas lgicas.
De la misma manera, dada la descripcin funcional de
un circuito secuencial, no es trivial obtener el diagrama
que represente la implementacin del mismo.
Los sistemas secuenciales se caracterizan por el hecho
de que sus salidas dependen no slo de las entradas
actuales, sino de toda la secuencia de entradas
anteriores. Toda esta secuencia de entradas anteriores
da lugar a lo que se denomina el estado del circuito, que
est almacenado en componentes de memorizacin.
De acuerdo con esta definicin, el estado de un sistema
secuencial depende de la secuencia de entradas
anteriores al sistema:
Et = F(Xt-1, Xt-2 , )
Yt = F(Xt, Xt-1, Xt-2 , ) = F(Xt, Et)
Este planteamiento permite descomponer la ecuacin
general de los sistemas secuenciales en otras dos
ecuaciones: una de salida y otra de estado siguiente.
Para caracterizar completamente un sistema secuencial
es necesario plantear:
- Las tablas y ecuaciones booleanas que definen el
siguiente estado del sistema a partir de las entradas el
circuito y el estado actual del mismo.
- Las tablas y ecuaciones booleanas que definen las
salidas del sistema a partir de las entradas del circuito y
el estado actual del mismo.
Esta informacin puede visualizarse usando un
diagrama de estados que muestre todos los estados
posibles del sistema y las transiciones entre ellos.
Modelo de mquinas de estados finitos
Esta forma de caracterizar un sistema secuencial
est basada en un modelo de mquinas de estados
finitos: (FSM Finite-State Machine)
Tericamente, el modelo FSM se define como: < S, I, O,
f, h>
S => conjunto de estados.
I => conjunto de entradas.
O => conjunto de salidas.
f => funcin de estado siguiente.
h => funcin de salida.
Este modelo FSM supone que el tiempo se divide en
intervalos uniformes y que las transiciones de un estado
a otro solo ocurren al principio de cada intervalo.
La funcin de salida h define los valores de salida
durante el intervalo de tiempo actual de acuerdo con el
estado y las entradas actuales.
Yt = h(Xt, Et)
La funcin de estado siguiente f define cul ser el
estado en el siguiente intervalo de tiempo de acuerdo
con el estado y las entradas en el intervalo actual
Et+1 = f(Xt, Et)
En realidad, la funcin de salida puede definirse de dos
maneras distintas, lo que da lugar a dos modelos FSM
distintos:
El modelo de Moore describe sistemas
secuenciales cuyas salidas dependen nica y
exclusivamente del estado del circuito.
El modelo de Mealy describe sistemas
secuenciales cuyas salidas dependen del estado
del circuito y de las entradas en el intervalo de
tiempo actual.
Anlisis de sistemas secuenciales
El proceso de anlisis de un sistema secuencial consiste
en la generacin de una descripcin funcional a partir
del diagrama lgico de un determinado circuito. La
descripcin funcional contendr varios elementos:
- Diagrama de estados del circuito.
Ecuaciones y tablas que definan el estado siguiente.
Ecuaciones y tablas que definan la salida del circuito.
Una vez obtenida la descripcin funcional, es posible
desarrollar cronogramas que permitan estudiar el
comportamiento del sistema.
Anlisis de sistemas de tipo Moore
Los circuitos secuenciales de tipo Moore son aquellos
en los que las salidas no dependen del valor actual de
las entradas, sino nicamente del estado actual.
El primer paso en el anlisis es obtener las ecuaciones
de entrada a cada biestable del circuito. En este caso
hay dos biestables cuyas entradas son D0 y D1, por lo
que plantearemos dos ecuaciones en funcin de la
entrada Cnt y de las salidas de los biestables.


Estas ecuaciones se denominan ecuaciones de
excitacin, ya que determinan el valor de las entradas
de los biestables del circuito. A continuacin hay que
transformar estas ecuaciones en las ecuaciones de
estado siguiente caractersticas de cada biestable. Dado
que el estado siguiente de un biestable D es igual al
valor de la seal D, tenemos que:

A continuacin debemos calcular la ecuacin de salida.
Dado que estamos hablando de un circuito de tipo
Moore, la salida depender slo del estado actual del
sistema, es decir, de las salidas de los biestables.
Y=Q0*Q
1

A partir de las ecuaciones de estado siguiente y de
salida generamos una tabla que refleje esta
informacin.
- Cada fila de la tabla se corresponde con un estado del
circuito.
Cada columna de la tabla representa un valor de las
entradas.
Dado que el circuito tiene dos biestables, el nmero
total de estados posibles es cuatro.

Para facilitar la visualizacin del funcionamiento del
circuito podemos representar el contenido de esta tabla
usando un diagrama de estados. Cada estado se
representa con un crculo que contiene el valor de los
biestables que representa y el valor de las salidas. Las
transiciones entre estados se representan como flechas
entre los crculos, etiquetadas con el valor de las
entradas que causa la transicin. En general, en un
circuito con m biestables y k entradas, el nmero total
de estados ser 2
m
y el nmero total de transiciones
ser 2
m
*2
k
.
El diagrama de estados puede obtenerse fcilmente a
partir de la tabla de estado siguiente y de salida:

Anlisis de sistemas tipo Mealy
Los circuitos secuenciales de tipo Mealy son aquellos
en los que las salidas dependen del valor actual de las
entradas y del estado actual.
El primer paso en el anlisis es obtener las ecuaciones
de excitacin que definen la entrada de cada biestable.
En este caso hay dos biestables cuyas entradas son D0 y
D1, por lo que plantearemos dos ecuaciones en funcin
de la entrada Cnt y de las salidas de los biestables.


A continuacin hay que transformar estas ecuaciones
en las ecuaciones de estado siguiente caractersticas de
cada biestable. Dado que el estado siguiente de un
biestable D es igual al valor de la seal D, tenemos que:

A continuacin calculamos la ecuacin de salida. En un
circuito de tipo Mealy la salida depende tanto del
estado actual del sistema como de los valores actuales
de las entradas del mismo:
Y=Cnt * Q
1
* Q
0

A partir de estas ecuaciones generamos la tabla de
estado siguiente y de salida. La principal diferencia de
esta tabla con la de un circuito de tipo Moore es que los
valores de salida tambin dependen de los valores de
entrada.

El diagrama de estados puede obtenerse a partir de esta
tabla, pero teniendo en cuenta que las salidas no se
asocian con los estados sino con las transiciones: