Escolar Documentos
Profissional Documentos
Cultura Documentos
Mquinas de Estado
X0 X1 . . Xm - 1 CLK
Z0 Z1
Zm - 1
Mquina de Mealy
X0 X1 Xm - 1 Z0
Circuito Combinacional
Z1 Zm - 1
Flip Flops
CLK
Mquina de Moore
Z0 Z1 Zn -1
Circuito Combinacional
Flip Flops
Circuito Combinacional
CLK
1.1
1.1.1 1 Passo: Determinao do grfico de estados estados so representados por nmeros circulados; transies so representados por setas entre estados; sadas so indicadas em cada estado (mquina de Moore) ou nas transies (mquina de Mealy).
Ex:
1.
Obter o diagrama de estados de um circuito que detecte a paridade de um sinal serial. Considere paridade mpar e mquina de Moore.
DETETOR DE PARIDADE
CLK
2.
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
55
Mquina de Moore:
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). 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 nmero 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 grfico de estados de um circuito que detecte todas as seqncias 0010. Se ocorrer mais do que dois zeros consecutivos a mquina deve ser reiniciada aps a ocorrncia de um 1. a. Mealy X 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 Z 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1
6. Obter o Diagrama de estados de um circuito que indique a ocorrncia de um nmero PAR* de 1s aps ter ocorrido dois zeros consecutivos. a. Mealy
NOTAS DE AULA DE ELT19
7. Obter o grfico de estados do circuito que gere a seguinte seqncia 0101 110 110 110 . . .
1.1.2 2 Passo: Tabela de Estados Obtida diretamente do grfico de estados; Estabelece-se uma linha para cada estado; Estabelecem-se colunas para os estados atuais, estados seguintes e sadas. Ex: 1.
Estado Atual S0 S1 2.
Sada 0 1
58
Estado Atual S0 S1 S2 S3
Sada 0 0 0 1
1.1.3 3 Passo: Eliminao de Estados Equivalentes Dois estados so equivalentes se possuem os mesmos estados seguintes (ou seus equivalentes), e apresentam as mesmas sadas. Obs: O procedimento de eliminao de estados equivalentes o mesmo apresentado como o 2 passo do mtodo de Hoofman.
1.1.4 4 Passo:
Orientao para a designao Estados cujos estados seguintes so iguais, devem ficar prximos. Estados seguintes um mesmo estado devem ficar prximos. Estados possuindo as mesmas sadas devem ficar prximos. Obs: Deve-se tentar atender ao mximo as sugestes, na ordem de prioridade indicada. Ex: Estado Atual S0 S1 S2 S3 S4 S5 S6 1. Estado Seguinte X=0 X=1 S1 S2 S3 S2 S1 S4 S5 S2 S1 S6 S5 S2 S1 S6 Sada X=0 0 0 0 0 0 1 0 X=1 0 0 0 0 0 0 1
2.
Y2Y3
00 01 11 10
0 S0 S2 S4 S6
1 S3 S5 S1
Y1 Y2Y3
00 01 11 10
0 S0 S1 S3 S5
1 S4 S6 S2
(Soluo 2)
Estado Atual S0 S1 S2 S3 S4 S5 S6
Y1 Y2Y3
00 01 11 10
0 S0 S2 S4 S6
1 S3 S5 S1
Y2Y3
XY1
00 01 11 10
X=0 00 01 S1 S5 S1 S5 S1 S1 S3
X=1 11 10 S2 S2 S2 S4 S6 S2 S6
Y2Y3 XY1
00 01 11 10 1 1 1 1 1 0 1 0 - 1 0 Y1 0 0 0 0
Y2Y3 XY1
00 01 11 10 1 1 1 1 0 0 0 Y2 0 0 0 0 1 1 1
Y2Y3 XY1
00 01 11 10 0 0 0 0 1 1 0 Y3 1 1 1 1 1 0 0
00 01 11 10
00 01 11 10
00 01 11 10
1.1.6 6 Passo: Mapas de Excitao dos Flips-Flops Obtido partir dos mapas de transio e das tabelas de excitao dos flip-flops.
NOTAS DE AULA DE ELT19 61
Q 0 0 1 1
Y2Y3
Q+ 0 1 1 0
XY1
S R 0 1 0 0 0 1 00 1 1 1 1 01 11 J1=X' 01 0 0 11 0 0 -
J K 0 1 0 1 10 0 0 0 0
T 0 1 0 1
Y2Y3
D 0 1 1 0
XY1
00 01 11 10
XY1
00 01 11 10
XY1
00 -
01 11 0 1 0 1 0 1 K1=X 01 1 11 1 10 0 -
10 -
Y2Y3
00 01 11 10
Y2Y3 XY1
00 1 1 -
10 0 1 -
Y2Y3
00 1 11 10
Y2Y3 XY1
00 0 0
10 0 0
00 01 11 10
00 01 11 10 0 1 1 1 0 0 1 0
00 01 11 00 01 1 0 11 1 10 -
0 1 -
1.1.7 7 Passo: Mapa de Sada Obtido partir da designao de estados auxiliares e da tabela de estados.
XY1
Y2Y3
S2 S3 S4 S5 S6
Y1 Y2Y3
S1 S5 S1 S5 S1
S4 S2 S6 S2 S6
1 1 0 0 1
Y1 Y2Y3
Moore
00 01 11 10
0 1 S0 S3 S2 S5 S4 S6 S1
00 01 11 10
0 0 1 0 1
1 1 0 0
63