Diseño Secuencial
Sistema Secuencial
Un Sistema Secuencial es aquel Sistema en donde los valores
de salida no dependen únicamente de las combinaciones
de entrada, sino también de la salida misma.
Sistema Secuencial
Un Sistema Secuencial es aquel Sistema en donde los valores de salida
no dependen únicamente de las combinaciones de entrada, sino
también de la salida misma.
En un semáforo de que
depende decidir la luz
que sigue en encender
?
Cual es la luz que sigue
Sistema Secuencial
Un Sistema Secuencial es aquel Sistema en donde los valores de salida
no dependen únicamente de las combinaciones de entrada, sino
también de la salida misma.
clasificación
• Asíncrono: que no depende de una señal de
sincronia depende solo de un cambio de entrada.
• Síncrono en donde los cambios de estado
dependen de una señal de sincronía de los Flip
Flops llamada reloj, Ck o Clk.
Modelos secuénciales sincronos y sus
representaciones
Máquina de Moore
en el que la salida solo
depende del estado
presente.
Máquina de Mealy
en el que la salida
depende tanto de la
entrada como del estado
presente.
Diagrama de Transición
Un diagrama de transición se compone de:
Estados o Eventos:
Una condición o situación
en la vida de un objeto,
durante la cual satisface
una condición, realiza
una actividad o está
esperando un evento.
Un diagrama de transición se compone de:
Transición en el mismo
estado:
Una entrada X cuyo estado
próximo es el mismo que el
anterior.
Un diagrama de transición se compone de:
Transición entre dos estados:
Una relación entre estados que indica que un objeto que está
en el primer estado realizará una acción especificada y,
entrará en el segundo estado cuando un evento Y
especificado ocurra y unas condiciones especificadas sean
satisfechas.
Un diagrama de transición se compone de:
Entradas:
Combinaciones que establecen
un cambio de evento.
Salidas:
Valores combinacionales que
determinan un evento
Metodología del Diseño Secuencial
1.- Especificar el Sistema (Diagrama de Transición).
2.- Determinar la cantidad de Flip Flops.
3.- Asignar los valores a los estados.
4.- Determinar las entradas y salidas.
a) Entrada de sincronía reloj.
b) Entradas combinacionales.
c) Salidas combinacionales.
d) Salidas registradas (FF’s).
5.- Construir una Tabla de Estados.
6.- Minimizar.
7.- Diagrama Esquemático.
8.- Implementación.
Especificar el Sistema
Para especificar el
comportamiento del
sistema se puede hacer uso
del diagrama de transición,
en donde se indica la
secuencia deseada además
de las entradas, salidas y
estados.
Determinar la cantidad de Flip Flops.
Cantidad de Flip
Estados
Flops
La cantidad de Flip
2 1
Flops depende de la 3o4 2
cantidad de estados 5a8 3
utilizados en el 9 a 16 4
diagrama de 17 a 32 5
transición, como lo 33 a 64 6
indica la siguiente 65 a 128 7
tabla: 129 a 256 8
257 a 512 9
513 a 1024 10
Asignar los valores a los estados.
La asignación de valores a los Salidas
Estados FF’s
estados pude ser al azar y Q1 Q0
corresponden a las CI 0 0
combinaciones posibles que Foco A 0 1
pueden generar las salidas Foco B 1 0
Q’s de los Flip Flops. Foco C 1 1
Determinar las entradas y salidas
En esta parte se recomienda identificar las entradas y
salidas del sistema secuencial, usando un diagrama
de bloques como lo muestra la siguiente figura.
Construir una Tabla de Estados
Estado Estado Entradas de
Entrada Salidas
Presente Próximo Control
m X Q1 Q0 Q1+1 Q0+1 D1 D0 V F A R
0 Verde 0 0 0 0 0 0 0 1 0 0 0
1 Flecha 0 0 1 0 1 0 1 0 1 0 0
2 Ámbar 0 1 0 1 0 1 0 0 0 1 0
3 Rojo 0 1 1 1 1 1 1 0 0 0 1
4 Verde 1 0 0 0 1 0 1 1 0 0 0
5 Flecha 1 0 1 1 0 1 0 0 1 0 0
6 Ámbar 1 1 0 1 1 1 1 0 0 1 0
7 Rojo 1 1 1 0 0 0 0 0 0 0 1
Minimizar
Diagrama Esquemático.
Implementación
Ejemplo 1
Diseñe un Sistema Secuencial síncrono que
represente la operación de un semáforo de
cuatro estados que se presentan en el
siguiente orden:
Verde, Flecha, Ámbar y Rojo
que cambie de estado con una señal
de transición positiva llamada Clk
Especificar el Sistema
En este diagrama de transición se indica la secuencia del semáforo en
donde los cambios de estado se realizaran cada vez que le
proporcionemos un pulso de sincronía (Ck) a los Flip Flops.
Determinar la cantidad de Flip Flops
Estados Cantidad de Flip Flops
2 1
3o4 2
5a8 3
9 a 16 4
17 a 32 5
Nuestro ejemplo esta compuesto de cuatro estados
Verde, Flecha, Ámbar y Rojo por lo que requeriremos
de dos Flip Flops y para identificarlos los llamaremos
Q1 y Q0.
Asignar los valores a los estados
Asignación de valores a los estados
Estados
Q1 Q0
Verde
Flecha
Ámbar
Rojo
Asignar los valores a los estados
Asignación de valores a los estados
Estados
Q1 Q0
Verde 0 0
Flecha
Ámbar
Rojo
Asignar los valores a los estados
Asignación de valores a los estados
Estados
Q1 Q0
Verde 0 0
Flecha 0 1
Ámbar
Rojo
Asignar los valores a los estados
Asignación de valores a los estados
Estados
Q1 Q0
Verde 0 0
Flecha 0 1
Ámbar 1 0
Rojo
Asignar los valores a los estados
Asignación de valores a los estados
Estados
Q1 Q0
Verde 0 0
Flecha 0 1
Ámbar 1 0
Rojo 1 1
Asignar los valores a los estados
Asignación de valores a los estados
Estados
Q1 Q0
Verde
0 0
Flecha
0 1
Ámbar
1 0
Rojo
1 1
Determinar las entradas y salidas
Como se observa en la figura,
el sistema tiene una sola
entrada llamada Ck y sies
salidas de las cuales Verde,
Flecha, Ámbar y Rojo son
Combinacionales, mientras
que Q1 y Q0 son las salidas
de los Flip Flops o también
llamadas registradas.
Construir una Tabla de Estados
Estado Estado
Presente Próximo
Verde
Flecha
Ámbar
Rojo
Construir una Tabla de Estados
Estado Estado
Presente Próximo
Verde
Flecha
Ámbar
Rojo
Construir una Tabla de Estados
Estado Estado
Presente Próximo
Verde Flecha
Flecha
Ámbar
Rojo
Construir una Tabla de Estados
Estado Estado
Presente Próximo
Verde Flecha
Flecha Ámbar
Ámbar
Rojo
Construir una Tabla de Estados
Estado Estado
Presente Próximo
Verde Flecha
Flecha Ámbar
Ámbar Rojo
Rojo
Construir una Tabla de Estados
Estado Estado
Presente Próximo
Verde Flecha
Flecha Ámbar
Ámbar Rojo
Rojo Verde
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 V F A R
m
0 Verde 0 0
1 Flecha 0 1
2 Ámbar 1 0
3 Rojo 1 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 V F A R
m
0
Verde 0 0 0 1 1 0 0 0
1
Flecha 0 1
2
Ámbar 1 0
3
Rojo 1 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 V F A R
m
0
Verde 0 0 0 1 1 0 0 0
1
Flecha 0 1 1 0 0 1 0 0
2
Ámbar 1 0
3
Rojo 1 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 V F A R
m
0
Verde 0 0 0 1 1 0 0 0
1
Flecha 0 1 1 0 0 1 0 0
2
Ámbar 1 0 1 1 0 0 1 0
3
Rojo 1 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 V F A R
m
0
Verde 0 0 0 1 1 0 0 0
1
Flecha 0 1 1 0 0 1 0 0
2
Ámbar 1 0 1 1 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 1 0 0 0
1
Flecha 0 1 1 0 0 1 0 0
2
Ámbar 1 0 1 1 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 0 1 0 0
2
Ámbar 1 0 1 1 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 0 1 0 0
2
Ámbar 1 0 1 1 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 0 1 0
3
Rojo 1 1 0 0 1 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 0 1 0
3
Rojo 1 1 0 0 0 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 0 1 0
3
Rojo 1 1 0 0 1 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 1 0 0 0
1
Flecha 0 1 1 0 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 0 1 0
3
Rojo 1 1 0 0 1 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 1 0 0 0
1
Flecha 0 1 1 0 1 1 0 1 0 0
2
Ámbar 1 0 1 1 0 0 0 1 0
3
Rojo 1 1 0 0 1 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 1 0 0 0
1
Flecha 0 1 1 0 1 1 0 1 0 0
2
Ámbar 1 0 1 1 0 1 0 0 1 0
3
Rojo 1 1 0 0 1 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 1 0 0 0
1
Flecha 0 1 1 0 1 1 0 1 0 0
2
Ámbar 1 0 1 1 0 1 0 0 1 0
3
Rojo 1 1 0 0 1 1 0 0 0 1
Estado Estado
Entradas de Control
Presente Próximo
Qn Qn+1 Rn Sn Jn Kn Tn Dn
0 0 X 0 0 X 0 0
0 1 0 1 1 X 1 1
1 0 1 0 X 1 1 0
1 1 0 X X 0 0 1
La Tabla de estados con asignación de valores a los estados
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 1 0 0 0
1
Flecha 0 1 1 0 1 1 0 1 0 0
2
Ámbar 1 0 1 1 0 1 0 0 1 0
3
Rojo 1 1 0 0 1 1 0 0 0 1
Ecuaciones mínimas
Estado Presente Estado Entradas de
Salidas
Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
m
0
Verde 0 0 0 1 0 1 1 0 0 0
1
Flecha 0 1 1 0 1 1 0 1 0 0
2
Ámbar 1 0 1 1 0 1 0 0 1 0
3
Rojo 1 1 0 0 1 1 0 0 0 1
T1= Q0 T0= 1
Ecuaciones mínimas
Estado Presente Estado Entradas de
Salidas
T1= Q0 Próximo Control
Q1 Q0 Q1+1 Q0+1 T1 T0 V F A R
T0 = 1
Verde= Q1’ Q0’ 0 0 0 1 0 1 1 0 0 0
Flecha= Q1’ Q0 0 1 1 0 1 1 0 1 0 0
Ambar= Q1 Q0’ 1 0 1 1 0 1 0 0 1 0
Rojo= Q1 Q0
1 1 0 0 1 1 0 0 0 1
Diagrama Esquemático
T1= Q0
T0 = 1
Verde= Q1’ Q0’
Flecha= Q1’ Q0
Ambar= Q1 Q0’
Rojo= Q1 Q0
DIAGRAMA DE TIEMPOS
DIAGRAMA EN BLOQUES
Metodología del Diseño Secuencial
1.- Especificar el Sistema (Diagrama de Transición).
2.- Determinar la cantidad de Flip Flops.
3.- Asignar los valores a los estados.
4.- Determinar las entradas y salidas.
a) Entrada de sincronía reloj.
b) Entradas combinacionales.
c) Salidas combinacionales.
d) Salidas registradas (FF’s).
5.- Construir una Tabla de Estados.
6.- Minimizar.
7.- Diagrama Esquemático.
8.- Implementación.
Ejemplo 2
Diseñe un Sistema Secuencial síncrono que
represente la operación de un semáforo
de cuatro estados que se presentan en el
siguiente orden: Verde, Flecha, Ámbar y
rojo, además incluya una Entrada X
de modo que:
Ejemplo 2
Si X=0, el sistema deberá de permanecer en el mismo
estado
Si X=1, el sistema deberá de cambiar al estado siguiente
X
Simulación