Definiciones de Los Sistemas Secuenciales

1
Sist. Electrnicos Digitales J.F. Martn

Tema 5 Introduccin a los Sistemas Secuenciales
Definiciones bsicas
Autmatas
De Mealy
De Moore
Formas de descripcin de un sistema secuencial
Diagrama de estado
Tabla de flujo
Tabla de estado-salida
Tabla de transicin
Proceso de anlisis de sistemas secuenciales
Problemas estructurales en un circuito secuencial asncrono
Circuitos secuenciales sncronos
2
Definiciones bsicas
3
Definiciones bsicas.
En un circuito secuencial, el valor de la salida en un instante de tiempo t depende del
valor de las entradas, y de la historia previa en la evolucin del sistema.
La historia en la evolucin de un sistema secuencial, es mantenida por medio de sus
estados internos.
4
Un circuito secuencial est formado por:
a) Un conjunto finito de n seales de entrada (x
1
,x
2
, ... x
n
), que generan un
conjunto finito de 2
n
estados de entrada E.
b) Un conjunto finito de p seales de salida (z
1
,z
2
, ... z
p
), que generan un conjunto
finito de 2
p
estados de salida S.
c) Un conjunto finito de m variables internas (y
1
,y
2
, ... y
m
), que generan un
conjunto finito de 2
m
estados internos Q.
d) Un circuito combinacional.
e) Elementos de memoria incluidos en los lazos de realimentacin.
{ }
{ }
= =
n
n
1 2
2 i
1 2 1 2 n
2
E x ,x , .... , x e ,e , .... , e donde x = (x ,x , ... x )
{ }
{ }
= =
p
p
1 2 2
i
1 2 1 2 p
2
S z ,z , .... , z s ,s , .... ,s donde z = (z ,z , ... z )
{ }
{ }
n
m
1 2 2
1 2 1 2 m
2
Q y ,y , .... ,y q,q , .... ,q donde y (y ,y , ... y )
i
= = =
5
El valor de Q
i
= (Y
1
,Y
2
, ..., Y
m
) determina el estado prximo.
El valor de q
i
= (y
1
,y
2
, ..., y
m
) determina el estado presente.
y(t+1) = Y(t)
i i
Y
1
x
2
x
1
y
2
y
1
Y
2
x
n
y
m
Y
m
z
1
z
2
z
p
CIRCUITO
COMBINACIONAL
6
Dependiendo de la evolucin de los estados internos, los circuitos secuenciales se
dividen en:
Asncronos. Para una combinacin de las variables de entrada, el sistema
evoluciona sin control externo, hasta que se llega a un estado
interno estable.
Sncronos. El sistema es controlado mediante impulsos externos (reloj). El
estado interno evoluciona slo cuando se aplica el impulso.
Se denomina mquina secuencial, a la operacin que produce un determinado
sistema secuencial.
7
Autmatas
8
Autmata de Mealy
a) Alfabeto de entrada:
b) Alfabeto de estados internos:
c) Alfabeto de salida:
d) Funcin de salida:
e) Funcin de transicin:
f) Por tanto para una entrada e
i
y un estado interno q
i
tendremos que:
f(e
i
, q
i
) = s
i
t(e
i
, q
i
) = q
m
{ }
{ }
n
n
1 2 2
1 2
2
E x ,x , .... , x e ,e , .... , e = =
{ }
{ }
n
m
1 2 2
1 2
2
Q y ,y , .... ,y q,q , .... ,q = =
{ }
{ }
p
p
1 2 2
1 2
2
S z ,z , .... , z s ,s , .... ,s = =
f: E Q S
t: E Q Q
9
Autmata de Moore
a) Alfabeto de entrada:
b) Alfabeto de estados internos:
c) Alfabeto de salida:
d) Funcin de salida:
e) Funcin de transicin:
f) Por tanto para una entrada e
i
y un estado interno q
i
tendremos que:
f(q
i
) = s
i
t(e
i
, q
i
) = q
m
{ }
{ }
n
n
1 2 2
1 2
2
E x ,x , .... , x e ,e , .... , e = =
{ }
{ }
n
m
1 2 2
1 2
2
Q y ,y , .... ,y q,q , .... ,q = =
{ }
{ }
p
p
1 2 2
1 2
2
S z ,z , .... , z s ,s , .... ,s = =
f: Q S
t: E Q Q
10
Importante
Todo sistema secuencial admite una representacin mediante un autmata de Mealy
y una representacin mediante un autmata de Moore
11
Formas de descripcin de un sistema secuencial
12
Formas de representacin en el proceso de diseo y anlisis de
Circuitos Secuenciales
Reduccin de estados
Reglas de asignaci n
Eleccin de elementos de memori a
(tabla de evolucin de los elementos de memoria)
(tabla de los elementos de memoria)
Circuito Lgico
Tabl a de Transi cin
Tabl a Estado/Salida
Diagrama de estado
Anli sis Diseo
13
Diagrama de estado
El diagrama de estados (tambin llamado diagrama de transicin de estados) est
constituido por un conjunto de nudos vrtices que se corresponden a los estados y
una serie de arcos dirigidos que indican las transiciones a los prximos estados, en
funcin de las entradas y el estado presente.
X / f(X ,q)
K K i
X / f(X ,q)
m m i
q
i
q
j
Mquina de Mealy
X
K
q/f(q)
i i
q/f(q)
j j
X
m
Mquina de Moore
14
Tipos de estados
a) Estado terminal
Estado en el que se permanece independientemente de la secuencia que se
de en las entradas.
b) Estado inaccesible
Estado al que no se puede llegar desde ningn estado, aunque se aplique
cualquier secuencia en las variables de entrada.
c) Estado estable (para una combinacin dada en las entradas)
Estado en el que su prximo estado coincide con l mismo.
d) Estado inestable (para una combinacin dada en las entradas)
Estado en el que su prximo estado NO coincide con l mismo.
15
Tabla de estado-salida
Es una representacin tabular de la funcin de estado (prximo estado) y de la
funcin de salida (valor de la salida) en funcin del valor de las entradas y el estado
presente.
En las columnas se representa el alfabeto de entrada x
i
, y en las filas los estados
presentes q
i
.
16
Tabla estado-salida para una mquina Mealy
t(x
n-1
,q
m-1
),f(x
n-1
,q
m-1
) .......... t(x
1
,q
m-1
),f(x
1
,q
m-1
) t(x
0
,q
m-1
),f(x
0
,q
m-1
) q
m-1
.......... .......... .......... .......... ...
t(x
n-1
,q
1
),f(x
n-1
,q
1
) .......... t(x
1
,q
1
),f(x
1
,q
1
) t(x
0
,q
1
),f(x
0
,q
1
) q
1
t(x
n-1
,q
0
),f(x
n-1
,q
0
) .......... t(x
1
,q
0
),f(x
1
,q
0
) t(x
0
,q
0
),f(x
0
,q
0
) q
0
x
n-1
.......... x
1
X
0
Q
E
17
Tabla estado-salida para una mquina Moore
f(q
m-1
) t(x
n-1
,q
m-1
) .......... t(x
1
,q
m-1
) t(x
0
,q
m-1
) q
m-1
.......... .......... .......... .......... .......... ...
f(q
1
) t(x
n-1
,q
1
) .......... t(x
1
,q
1
) t(x
0
,q
1
) q
1
f(q
0
) t(x
n-1
,q
0
) .......... t(x
1
,q
0
) t(x
0
,q
0
) q
0
x
n-1
.......... x
1
x
0
Q
S E
18
Tabla de flujo
Es una representacin tabular del prximo estado en funcin del valor de las entradas
y de el estado presente, pero en la que slo figuran los estados estables. Los estados
inestables son sustituidos por el estado estable al que se transitar.
i
, y en las filas los estados
presentes q
i
.
19
Tabla de transicin.
Es una representacin tabular de los valores prximos de las variables de estado en
funcin del valor de las entradas y del valor presente de las variables de estado.
i
, y en las filas los valores
presentes de las variables de estado.
Los estados estables, se marcan rodendolos con un crculo.
Y
1,
Y
2, ... ,
Y
i
, ... , Y
m
y
1,
y
2, ... ,
y
i
, ... , y
m
x
1
,x
2
, ..., x
i
, ... , x
n
20
Tema 6 Anlisis de circuitos Secuenciales
Proceso de anlisis de sistemas secuenciales
21
Una caracterstica comn a todos los circuitos secuenciales, es la existencia de lazos
bucles de realimentacin, pero su presencia no es una condicin suficiente para ser
un circuito secuencial
Los lazos de realimentacin pueden aparecer de forma explcita en el circuito o dentro
de los elementos de memoria (se vern ms adelante)
El proceso de anlisis consta de los siguientes pasos
22
a) Verificar que es un circuito secuencial.
b) Romper los lazos de realimentacin, insertando en cada uno de ellos un
elemento de memoria.
Tendremos tantas variables de estado como rupturas efectuemos.
c) Obtener las expresiones algebraicas de la funcin de transicin y de la funcin
de salida.
d) Construimos la tabla de transicin
e) Construimos la tabla de estado-salida
f) Construimos el diagrama de estado
23
Problemas estructurales en un circuito secuencial
asncrono
24
Cuando se produce un cambio en las entradas, la respuesta del circuito puede ser
distinta a la esperada, debido a que no todas las variables de estado cambian
simultneamente
a) Azar extrnseco
La diferencia de los tiempos de propagacin de la seal es debida a que las
puertas con las que est construido el circuito tienen distintos tiempos de
propagacin
b) Azar intrnseco
La diferencia de los tiempos de propagacin de la seal es debida a distinta
longitud de los caminos de propagacin de las seales
c) Carrera
Una situacin no determinista motivada por el cambio de varias variables de
estado
25
Tipos de carreras
a) Carrera crtica
Cuando se llega a un estado estable no previsto, debido a una carrera
b) Carrera no crtica
Cuando se llega al mismo estado estable, independientemente del camino
que se siga, debido a una carrera
26
La existencia de dos ms estados estables en una misma columna de la tabla de
transicin, es condicin necesaria, pero no suficiente, para la existencia de carreras
crticas
Otro posible problema es cuando para una determinada combinacin de las variables
de entrada, no hay ningn estado estable, por lo que tendramos una mquina
secuencial no determinista, y sera imposible predecir el estado al que tiende la
mquina para dicha combinacin de entrada
27
Circuitos secuenciales sncronos
28
Estn libres de todos los problemas que presentan los circuitos secuenciales
asncronos, para lo cual presentan las siguientes restricciones:
a) Cuando las entradas cambian, los lazos de realimentacin estn abiertos
b) Cuando las entradas son estables, se cierran los lazos y se producen los
cambios de estado
c) Durante el proceso de apertura y cierre de los lazos de realimentacin, se
mantiene memoria del estado presente
d) Slo se permite un cambio de estado en cada apertura y cierre de los lazos de
realimentacin
e) Los lazos se abren y cierran de acuerdo a una seal de control, generalmente
peridica (reloj)
29
Como consecuencia, NO hay estados inestables, ya que cada prximo estado, ser el
estado siguiente al que se llegar, ya que slo se permite una transicin por cada
pulso de reloj
y
1
y(t+1) =Y(t)
i i
Y
1
x
2
x
1
y
2
Y
2
x
n
y
m Y
m
Clk
z
1
z
2
z
p
CIRCUITO
COMBINACIONAL

Definiciones de Los Sistemas Secuenciales

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Definiciones de Los Sistemas Secuenciales

Cargado por

Copyright:

Formatos disponibles

1

Sist. Electrnicos Digitales J.F. Martn

También podría gustarte