gerador

1.

Máquinas de Estado
X0

Z0

Circuito

X1

Z1

.

Sequencial

.

.

Síncrono

.

Xm - 1

Zm - 1

CLK

Máquina de Mealy
X0

Z0

X1

Z1

Circuito

Xm - 1

Zm - 1

Combinacional

Flip
Flops

CLK

A saída depende das entradas e do estado dos flip-flops.

Máquina de Moore

Circuito

Flip

Combinacional

Flops

Z0
Z1
Zn -1

Circuito
Combinacional

CLK

A saída depende somente dos estados dos flip-flops.
NOTAS DE AULA DE ELT19

54

1.1

Projeto de Máquinas de Estado

1.1.1 1º Passo: Determinação do gráfico de estados
∗ estados são representados por números circulados;
∗ transições são representados por setas entre estados;
∗ saídas são indicadas em cada estado (máquina de Moore) ou nas transições
(máquina de Mealy).
Ex:

1.

Obter o diagrama de estados de um circuito que detecte a paridade de um sinal serial. Considere paridade ímpar e máquina de Moore.

DETETOR DE

X

PARIDADE

Z

CLK

Exemplo de X:
X 0 1 1 0 1 0 0 0 0 1 1 1 0 1 1 . . . nº ímpar de 1s → 1
Z 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 . . . nº par de 1s → 0

2.

Obter o Diagrama de estados de um circuito de detecte todas seqüências
1 0 1.

X0 1 0 1 0 0 1 0 0 1 0 1 0 1
Z 0 0 0 1 0 0 0 0 0 0 0 1 0 1

NOTAS DE AULA DE ELT19

55

Máquina de Moore:

3.
Obter o Diagrama de estados de um circuito que indique se o número de
1s recebidos é divisível por 3 (Considerar zero divisível por 3).
X0 1 0 0 1 1 0 1 1 1 0 1 0 1 . . .
Z 1 0 0 0 0 1 1 0 0 1 1 0 0 0 . . .
a. Moore

b. Mealy

4.
Obter o Diagrama de estados de um circuito que indique se o número de zeros recebidos é par, maior que zero, e desde que NUNCA ocorram dois 1s consecutivos. a. Moore
NOTAS DE AULA DE ELT19

56

5.
Obter o gráfico de estados de um circuito que detecte todas as seqüências
0010. Se ocorrer mais do que dois zeros consecutivos a máquina deve ser reiniciada após a ocorrência de um 1.
a. Mealy
X 0 1 0 1 0 0 1