Documentos de Académico
Documentos de Profesional
Documentos de Cultura
P EO = z1
Sistema Secuencial
Solicitud de Síncrono.
paso = 1 NS = z2
¿Mealy-Moore?
Semáforos
Verde = 1
Inicio
CLK?
Figura 193
Teniendo en cuenta la descripción del sistema, debe elegirse el modelo Moore ya que se
desea que a pesar de haber petición de paso por parte de algún peatón, el estado de los
semáforos se mantenga hasta la conclusión del minuto.
P
EO = z1
Circuito
NS = z2
Combinacional
Variables de Variables de
estado excitación
. .
. Memoria .
. .
Inicio
CLK
Figura 194.
Puesto que el modelo debe ser Moore y las salidas única y exclusivamente dependen del
estado del sistema se puede redistribuir el Diagrama General como se muestra en la
Figura 195.
Variables de Variables de
excitación. estado. Qi
EO = z1
P .
Circuito .
. Memoria . Circuito
.
Combinacional 1 .
Flip-Flops Combinacional 2
.
.
NS = z2
.
.
.
.
Inicio
CLK
Figura 195.
EO en rojo EO en verde
S0 P=0 S1
NS en verde z1z2=01 NS en rojo
z1z2=10
P=1
P=1
P=0
S2
z1z2=00
P=1
Todo en rojo
Figura 196
Sin embargo con un análisis superficial de ese diseño, se puede observar que presenta
dos deficiencias:
La primera, estando en el estado S2 si uno o varios peatones continuamente solicitan
paso, se bloquearía el trafico por un tiempo indefinido.
La segunda, podría ocurrir que el sistema se quede alternando entre los estados S0 y S2
bloqueando el trafico en la dirección EO.
La solución al segundo problema viene dada por la inclusión en el diagrama de estados
de estados que recuerden qué dirección fue la última en tener el semáforo en verde. El
primer problema se soluciona simplemente realizando una adecuada asignación a las
transiciones de estado. Así pues, la solución correcta sería la expresada en la Figura
197.
Inicio
P=0
EO en rojo EO en verde
S0 P=0 S1
NS en verde NS en rojo
z1z2=01 z1z2=10
P=1, 0
P=1
P=1
P=1, 0
S2 S3
Todos en rojo z1z2=00 z1z2=00
Todos en rojo
después de S0 después de S1
Figura 197.
A partir del diagrama de estados la tabla de estados se obtiene sin problema alguno
(Tabla 40).
0 1 Z1 Z2
S0 S1 S2 0 1
Estado S1 S0 S3 1 0
actual
S2 S1 S1 0 0
S3 S0 S0 0 0
Estado
siguiente
Tabla 40
4.3. Minimización de estados
Una vez completada la tabla de estados es importante detenerse a inspeccionarla por si
hubiese algún estado simplificable, es decir, diferentes estados de la tabla que efectúen
la misma función y por lo tanto no se puedan distinguir por medio de las mediciones de
salida. En caso de haberlos, se sustituirían por uno de ellos únicamente.
En el sistema bajo estudio, los únicos estados que podrían ser simplificables son S2 y S3
ya que S1 y S2 proporcionan salidas distintas. Sin embargo, continuando con el estudio
de S2 y S3, inmediatamente se hace evidente la diferencia entre ambos ante cualquier
valor de la entrada P, ya que la evolución al siguiente estado provoca salidas distintas en
ambos y por lo tanto, no se puede decir que sean indistinguibles estos dos estados.
Concluyendo, la tabla obtenida no presenta ningún estado simplificable.
J0 Q0
P J
K0 Q0 z1
K
C. C. 1 C. C. 2
J1 Q1
J z2
K1 Q1
K
Q Q* J K
0 0 0 X
0 1 1 X
1 0 X 1
CLK
Inicio 1 1 X 0
Figura 198.
Tabla 41.
Sustituyendo en la tabla los valores asignados a las variables de estado, se obtiene la
Tabla 42.
Entrada P Salidas
Q 1Q 0 0 1 Z1 Z2
00 S0 01 10 0 1
01 S1 00 11 1 0
10 S2 01 01 0 0
11 S3 00 00 0 0
Tabla 42
La información que proporciona esta tabla permitirá generar la Tablas de Transición de
Estados, es decir tablas en la que aparezcan los valores que deben tomar las variables de
excitación de los flip-flops para conseguir que se cumplan las transiciones descritas en
la tabla. Suponiendo que el sistema se encuentre en el estado S0 el valor de las variables
Tabla 43
P=0 P=1
Tabla 44.
Otro dato que obtenemos a partir de la Tabla 44. es la definición de la entrada de Inicio.
En el diagrama, a este estado se le ha asignado el estado S0 y según la Tabla 44. el valor
de su estado será Q1Q0 = 00. Este estado se consigue simplemente cableando la entrada
Inicio a las entradas asíncronas de reseteo de los FF tal y como se ha hecho en la Figura
199.
CLK
Inicio
Figura 199
(a) (b)
Tabla 45.
Tabla 46
En ese caso, la ecuacione slogicas que se obtienen sigueindo el procedimiento explicado
serían las siguientes:
Z 2 Q1 Q0
Z1 Q1 Q0
J 1 K1 Q 0
J0 P
K0 1
Figura 201.
Figura 203
Figura 204