1.

Mquinas de Estado
X0 X1 . . Xm - 1 CLK

Circuito Sequencial Sncrono

. .

Z0 Z1

Zm - 1

Mquina de Mealy
X0 X1 Xm - 1 Z0

Circuito Combinacional

Z1 Zm - 1

Flip Flops

CLK

A sada depende das entradas e do estado dos flip-flops.

Mquina de Moore
Z0 Z1 Zn -1

Circuito Combinacional

Flip Flops

Circuito Combinacional

CLK

A sada depende somente dos estados dos flip-flops.

NOTAS DE AULA - TDMII 54

1.1

Projeto de Mquinas de Estado

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

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 seqncias 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 TDMII

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 TDMII 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 TDMII

* Maior que zero

57

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.

Estado Seguinte X=0 X=1 S0 S1 S1 S0

Sada 0 1

NOTAS DE AULA TDMII

58

Estado Atual S0 S1 S2 S3

Estado Seguinte X=0 X=1 S0 S1 S2 S1 S0 S3 S2 S1

Sada 0 0 0 1

3.b. Estado Atual S0 S1 S2

Estado Seguinte X=0 X=1 S0 S1 S1 S2 S2 S0

Sada X=0 1 0 0 X=1 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:

Designao de Estados Auxiliares

NOTAS DE AULA TDMII 59

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

S0 - S2 - S4 - S6 S3 - S5 S0 - S1 - S3 - S4 S4 - S6 S1 - S2 S2 - S3 S1 - S4 (S2 - S5) * 2 (S1 - S6) *2

Y1

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 1) 1.1.5 5 Passo: Mapas de Transio

(Soluo 2)

Obtidos da tabela estados e da designao de estados auxiliares.

NOTAS DE AULA TDMII 60

Estado Atual S0 S1 S2 S3 S4 S5 S6
Y1 Y2Y3

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

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 TDMII 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

00 01 11 10 00 0 0 0 0 01 0 1 0 0 11 0 0 Mealy 10 0 0 0 1 S=X'Y1Y3 + XY1'Y2Y3' Atual Seguinte Sada X=0 X=1 S0 S1 S2 0 S1 S3 S2 0

NOTAS DE AULA TDMII 62

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

S=Y1Y2'Y3' + Y1'Y2Y3' + Y1'Y2'Y3

NOTAS DE AULA TDMII

63