Mquinas de Estado

Sistemas Digitais
Introduo
Mquinas de Estados so usadas para representar o funcionamento
de circuitos sequenciais
um circuito sequencial consiste de um circuito combinacional e uma
rede de memria formada por elementos de armazenamento
(usualmente flip-flops)
a rede de memria define o estado atual da mquina de estados
o circuito sequencial difere de um circuito combinacional puro na
medida em que o prximo estado ser definido no s a partir das
entradas atuais, como tambm do estado atual, aumentando
enormemente as possibilidades de projeto
Tipos de Implementaes
Mquinas de Estados podem ser dos tipos seguintes:
Mquina de Moore:
a sada muda apenas
na transio do
relgio
Mquina de Mealy:
a sada pode mudar
a qualquer instante
em funo da
entrada
Tipos de Implementaes
O comportamento das mquinas de Moore e Mealy idntico, mas
suas implementaes diferem, como mostrado a seguir.
Mquina de Moore: somente os sinais de
entrada causadores da transio de um estado
para outro so representados nos arcos do
grado
Mquina de Mealy: nos arcos do grafo so
representados os sinais de entrada causadores
da transio de um estado para outro, com os
respectivos valores para a sada

Projeto de Mquinas de Estados
1 passo: elaborar diagrama de estados que interprete fielmente o problema que se
deseja resolver
2 passo: opcionalmente pode-se minimizar o nmero de estados no diagrama de
estados
3 passo: escrever a tabela de estados, com os estados atuais, prximos estados e
sadas
4 passo: atribuir a cada estado uma combinao de variveis de estado (flip-flops)
5 passo: construir a tabela de excitao do tipo de flip-flop utilizado
6 passo: montar o mapa de Karnaugh para cada uma das entradas dos flip-flops do
circuito, com o auxlio da tabela de excitao
7 passo: obter a equao final de cada entrada para cada um dos flip-flops do
circuito a partir da simplificao do mapa de Karnaugh
8 passo: fazer o mesmo procedimento para as equaes das variveis de sada
9 passo: finalmente, elaborao do diagrama lgico do circuito, lembrando que
todos os elementos de memria (flipflops) recebem o mesmo sinal de relgio
Detector de Comeo de Mensagem
O comeo de uma mensagem em um sistema de comunicao indicado
pela ocorrncia de trs 1 consecutivos em uma linha x.

Projete um circuito que fornea em sua sada o valor 1 apenas durante o
perodo de relgio coincidente com o terceiro 1 consecutivo na linha x.
Supor que um mecanismo
externo inicializa o detector,
aps o trmino da
mensagem, no estado de
reset.
Detector de Comeo de Mensagem
1 passo: elaborar diagrama de
estados que interprete fielmente o
problema que se deseja resolver
Mquina de Mealy
2 passo: opcionalmente pode-se
minimizar o nmero de estados no
diagrama de estados
Detector de Comeo de Mensagem
3 passo: escrever a tabela de estados, com os estados atuais, prximos
estados e sadas
Detector de Comeo de Mensagem
4 passo: atribuir a cada estado uma combinao de variveis de estado
(flip-flops)
Detector de Comeo de Mensagem
4 passo: atribuir a cada estado uma combinao de variveis de estado
(flip-flops)
Detector de Comeo de Mensagem
5 passo: construir a tabela de excitao do tipo de flip-flop utilizado
qt (y1y0)t
xt 0 1
0 1 J1 K1 J0 K0 J1 K1 J0 K0
q0 00 00 11 0 X 0 X 1 X 1 X
q1 11 00 01 X 1 X 1 X 1 X 0
q2 01 00 10 0 X X 1 1 X X 1
q3 10 10 10 X 0 0 X X 0 0 X
Detector de Comeo de Mensagem
6 passo: montar o mapa de Karnaugh para cada uma das entradas dos flip-
flops do circuito, com o auxlio da tabela de excitao

qt (y1y0)t
xt 0 1
0 1 J1 K1 J0 K0 J1 K1 J0 K0
q0 00 00 11 0 X 0 X 1 X 1 X
q1 11 00 01 X 1 X 1 X 1 X 0
q2 01 00 10 0 X X 1 1 X X 1
q3 10 10 10 X 0 0 X X 0 0 X
7 passo: obter a equao final de cada entrada para cada um dos flip-flops
do circuito a partir da simplificao do mapa de Karnaugh
Detector de Comeo de Mensagem
qt (y1y0)t
xt 0 1
0 1 J1 K1 J0 K0 J1 K1 J0 K0
q0 00 00 11 0 X 0 X 1 X 1 X
q1 11 00 01 X 1 X 1 X 1 X 0
q2 01 00 10 0 X X 1 1 X X 1
q3 10 10 10 X 0 0 X X 0 0 X
6 passo: montar o mapa de Karnaugh para cada uma das entradas dos flip-
flops do circuito, com o auxlio da tabela de excitao

7 passo: obter a equao final de cada entrada para cada um dos flip-flops
do circuito a partir da simplificao do mapa de Karnaugh
Detector de Comeo de Mensagem
8 passo: fazer o mesmo procedimento para as equaes das variveis de
sada
Detector de Comeo de Mensagem
9 passo: finalmente, elaborao do diagrama lgico do circuito, lembrando
que todos os elementos de memria (flipflops) recebem o mesmo sinal de
relgio
Consideraes Importantes
Detector de Paridade
Obter o diagrama de estados de um circuito que detecte a
paridade de um sinal serial. Considere paridade mpar e
mquina de Moore.
Divisvel por 3
Obter o diagrama de estados de um circuito que indique se
o nmero de 1s recebidos divisvel por 3 (considerar zero
divisvel por 3).
Exemplo:
Mquina de Moore
Mquina de Mealy
Indicao de Nmeros de Zeros
Obter o diagrama de estados de um circuito que indique se
o nmero de zeros recebidos par, maior que zero, e desde
que NUNCA ocorram dois 1s consecutivos.
Mquina de Moore
Detector de Sequncia 0010
Obter o diagrama de estados de um circuito que detecte
todas as sequncias 0010. Se ocorrer mais do que dois zeros
consecutivos a mquina deve ser reiniciada aps a ocorrncia
de um 1.
Exemplo:
Mquina de Mealy
Detector de Sequncia 0010
Obter o diagrama de estados de um circuito que detecte
todas as sequncias 0010. Se ocorrer mais do que dois zeros
consecutivos a mquina deve ser reiniciada aps a ocorrncia
de um 1.
Exemplo:
Mquina de Mealy
1
Exerccios
Aplique os 8 passos de projeto, tal como feito no detector de
comeo de mensagem, nos exemplos de circuitos sequenciais
apresentados previamente.