Diagramas y Tablas de

Estados de Circuitos
Secuenciales Sncronos
Profesor: ing. Valentin Sarmiento
SISTEMAS DIGITALES I (SD05)

Diagramas de Estados. Mealy

Nodos
Representan los estados. Se nombran
de forma ms o menos indentificativa.
Ej. {A, B, C, ...}, {S0, S1, S2, ...}, {espera,
comienzo, recibiendo, ...}
Arcos
Indican las posibles transiciones
desde cada estado (S).
Se nombran con x/z:
x: valor de entrada que provoca la
transicin desde el estado S.
z: valor de salida generado en el
estado S cuando la entrada vale x.

Tablas de Estados. Mealy

Informacin equivalente al diagrama de estados en
forma de tabla de doble entrada (filas y columnas)
Posibles estados en filas
Posibles valores de entradas en columnas
Prximo estado y salida en cada celda
Cada nodo del diagrama y los arcos que salen de l
se corresponden a una fila de la tabla de estados.
Pasar del diagrama de estados a la tabla de estados y
viceversa es inmediato.

Tablas de Estados. Mealy

Diagramas de Estados. Moore

Nodos
Representan los estados. Se nombran
de forma ms o menos indentificativa.
Ej. {A, B, C, ...}, {S0, S1, S2, ...}, {espera,
comienzo, recibiendo, ...}
Cada estado lleva asociado un valor
de salida correspondiente.
Arcos
Indican las posibles transiciones
desde cada estado (S).
Se nombran con x: valor de entrada
que provoca la transicin desde el
estado S.

Tablas de Estados. Moore

Informacin equivalente al diagrama de estados en
forma de tabla de doble entrada (filas y columnas)
Posibles estados en filas
Posibles valores de entradas en columnas
Salida asociada al estado en la ltima columna
(opcionalmente misma salida para cada entrada al
estilo Mealy)
Cada nodo del diagrama y los arcos que salen de l
se corresponden a una fila de la tabla de estados.
Pasar del diagrama de estados a la tabla de estados y
viceversa es inmediato.

Tablas de Estados. Moore

Aplicaciones de los CSS

Detectores de secuencia
La salida se activa slo en caso de que
aparezca una determinada secuencia a la
entrada.
Generadores de secuencia
La salida genera una secuencia fija o variable
en funcin de la entrada.

Aplicaciones de los CSS

Unidades de control
Las entradas modifican el estado y el estado define la
actuacin sobre un sistema externo (control de una barrera,
control de temperatura, control de presencia, control de
nivel de lquidos, etc.)
Procesamiento secuencial
La secuencia de salida es el resultado de aplicar alguna
operacin a la secuencia de entrada (clculo de la paridad,
suma de una constante, producto por una constante,
codificacin/decodificacin secuencial en general).

Diseo de CSS
Objetivo
Definir una mquina de estados que resuelva un problema dado.
Implementar la mquina de estados mediante un circuito
secuencial sncrono.
Coste
Habitualmente, el proceso de diseo va dirigido por
consideraciones de coste y de optimizacin de recursos.
Ejemplo de criterios
Minimizacin del nmero de elementos de memoria
Minimizacin de componentes
Frecuencia de operacin
Consumo de energa
Compromiso entre diferentes criterios

Procedimiento

Interpretacin

Es la fase ms importante del diseo

Es la fase menos sistemtica
Procedimiento/consejos
Definir claramente entradas y salidas.
Elegir Mealy o Moore segn caractersticas
del problema (sincronizacin de la salida)
Identificar y definir los estados adecuados de
la forma ms general posible
Establecer las transiciones y salidas
necesarias
Capturar todos los detalles del problema en
la mquina de estados
Comprobar el diagrama con una secuencia de
entrada tpica

Ejemplo
Disee un circuito con una entrada x y una salida z
que detecte la aparicin de la secuencia "1001" en
la entrada. Cuando esto ocurre se activar la salida
(z=1). El ltimo "1" de una secuencia puede
considerarse tambin el primer "1" de una
secuencia posterior (detector con solapamiento).

diagrama y tabla de estados

Reduccin de estados

Objetivo:
Eliminacin de estados redundantes.
Reduccin del coste en biestables y lgica

combinacional.

Estados equivalentes:
Dos estados p y q son equivalentes si cualquier
secuencia de entrada aplicada partiendo del estado p
genera exactamente la misma salida que la misma
secuencia aplicada partiendo del estado q.
Dos estados p y q son equivalentes si y slo si: Los
prximos estados de p y q son idnticos o equivalentes
para todos los valores de las entradas Los valores de
salida son los mismos para todos los valores de las
entradas.
En una tabla de estados mnima no hay estados
equivalentes.

Reduccin de estados
A partir de la tabla de estados se identifican los
estados que pueden ser compatibles comparando
todas las posibles parejas de estados.
Tabla de estados compatibles: ayuda a identificar
estados compatibles y las condiciones necesarias
para la compatibilidad.
Una vez identificadas todas la compatibilidades en
la tabla de estados compatibles se agrupan los
estados compatibles (clases de equivalencia).
Se genera una nueva tabla de estados eligiendo un
representante de cada clase de equivalencia.

Reduccin de estados

Asignacin de estados

Objetivo:
Asignar valores binarios a los estados
(codificacin
de
estados)
para
su
almacenamiento en biestables.
Eleccin:
Afecta al resultados final: nmero de
componentes, tamao, velocidad de operacin,
consumo de energa.
Eleccin diferente segn el objetivo (criterio
de coste)
Opciones
Algoritmos complejos
Asignacin arbitraria
Un biestable por estado (cdificacin one-hot)

Asignacin de estados

Eleccin de biestables

Objetivo:
Seleccionar qu tipo de biestables
almacenarn los bits del estado codificado.
Opciones
JK: reduce el coste de la parte combinacional.
RS: ms simple que el JK pero menos flexible.
D: facilita el diseo, reduce el nmero de
conexiones.
T: ms conveniente en aplicaciones
especficas (contadores)

Eleccin de biestable. Ej: JK

Eleccin de biestable. Ej: D

En el biestable D:
Q=D
D=Q

Diseo de la parte combinacional

La tabla de excitacin/salida es una
especificacin de la parte combinacional.
La implementacin se realiza mediante
cualquiera de las tcnicas de diseo de
C.C.
Dos niveles de puertas
Subsistemas: multiplexores,
decodificadores, etc.
Etc.

Parte combinacional. Ejemplo

Circuito. Ejemplo

Ejemplo. Resumen