Diseo de Sistemas

Secuenciales Sncronos

Tema 10
 Al final de este tema sabrs ...

Diferenciar perfectamente entre sistema combinacional y

secuencial
Modelar sistemas secuenciales mediante Autmatas de
Estados Finitos
Analizar un sistema secuencial sncrono
Realizar la implementacin de un sistema secuencial
sncrono
 Autmatas de Estado Finitos

Mquina de estados: Modelo matemtico

que describe los circuitos secuenciales
sncronos
E = { E1, ..., En} conjunto de entradas
Z = { Z1, ..., Zm} conjunto de salidas
Q = { Q1, ..., Qp} conjunto de estados
l:QxEZ funcin de salida
d:QxEQ funcin de transferencia
 Estructura General de un
Circuito Secuencial
Con cada evento de reloj (flanco), el nuevo estado
Q(t+1) es recalculado y las salidas del sistema pueden
variar. La Memoria es la parte secuencial
 Autmata de Mealy

La funcin de salida depende del estado anterior

y de la entrada
:QxE Z
:QxEQ
 Autmata de Moore

La funcin de salida depende del slo estado.

A cada estado le corresponde de forma
inequvoca una salida
:Q Z
:QxEQ
 Diagramas de Estado

Representacin grfica de los Autmatas de Estados

Finitos (Finite State Machines, FSM)
 Ejemplo de Diagrama de
Transicin de Estados (DTE)
 Anlisis de Sistemas
Secuenciales Sncronos
Objetivo: obtener el DTE a partir de un circuito
Pasos:
Obtener la expresin para la funcin/es de salida
Obtener las expresiones para las funciones de
transicin (entradas a biestables)
Rellenar la tabla de verdad (ecuaciones de
excitacin)
Dibujar el diagrama
El circuito
Las expresiones

Funcin Expresin
Z(t) XQ1Q2
J1 X+Q1Q2
K1 X
J2 X
K2 Q2
Tabla de verdad y diagrama
 Sntesis de Sistemas Secuenciales
Sncronos
Pasos:
Traducir las especificaciones verbales a
diagrama de estados
Obtencin de la tabla de transicin y
excitacin
Minimizacin de las funciones
Implementacin del circuito
 Ejemplo: reconocedor de secuencias

Secuencia a reconocer: 1101

Definicin de estados

Codificacin de estados
Diagrama 0/0
 Ejemplo: reconocedor de secuencias (II)

Tabla de transicin y excitacin

Minimizacin de las funcin (Karnaugh)

Ejemplo: implementacin
 Conclusiones

Los sistemas secuenciales se representan

grficamente mediante diagramas de estados
2 tipos de autmatas secuenciales:
Autmatas de Mealy: salida asociada a la transicin
Autmatas de Moore: salida asociada al estado
Anlisis de Sistemas Secuenciales
Obtener el DTE a partir del circuito
Sntesis de Sistemas Secuenciales
Disear el circuito secuencial que verifica unas
determinadas especificaciones
Problema: la obtencin del diagrama de estados
depende de la experiencia del diseador