MQ UINAS DE MOOR E E DE MEAL Y (FINIT E STATE MACHI NES FSM)

SOMENTE PARA MQUINA DE MEALY

ENTR ADAS

CLOC K

CIRCUIT O COMBINA CIONAL RESPON SVEL PELO ESTADO FUTURO

EXCIT AO

(Q+)

MEM RIA (FLIPFLOP S) QUE ARMAZE NA(M) O ESTADO ATUAL (Q)

ES T A D O A T U A L

CIRCUIT O COMBINA CIONAL GERADO R DAS SADAS

SAD AS

s FSM so implementadas atravs de circuitos combinacionais e flip-flops. uando as SADAS dependem diretamente do estado atual Q e das ENTRADAS, dizemos que se trata de uma Mquina de Mealy. Caso esta dependncia direta se restrinja ao estado Q, ser chamada de Mquina de Moore. pesar desta definio, comum encontrarmos circuitos que tm algumas de suas SADAS determinadas como uma Mquina de Mealy e outras, como Moore.

Exemplo: Deseja-se construir uma FSM com as seguintes especificaes: (a) O circuito possui uma entrada w e uma sada z. (b) Todas as mudanas ocorrem em uma borda positiva de clock. (c) A sada z somente ser 1 se aps dois ciclos consecutivos de clock a entrada w se mantiver em 1. Soluo: Escolhendo projetar o circuito como uma Mquina de Moore, podemos representar a operao atravs do seguinte Diagrama de Estados:
Reset Estado de RESET A z=0 w = 0

Simbologia do Diagrama:
w = 1 B z=0 w = 0 w = 1
, B e C representam os

w = 0

estados (de interesse) a serem armazenados nos ffs. ma seta indica o efeito de uma transio de clock. Uma vez que existem 3 estados no diagrama, sero necessrias 2 variveis de estado (Q1,Q0) para

C z=1 w = 1

referenci-los. De forma geral, para uma mquina com N estados, sero necessrias M variveis de estado, onde 2M N.

Este diagrama pode ser transformado numa Tabela de Estados: Estado Atual (Q) A B C Estado Futuro + (Qw )=0 w=1 A B A C A C Sada z 0 0 1

Fazendo, de forma arbitrria, A(Q1=0,Q0=0), B(Q1=0,Q0=1), C (Q1=1,Q0=0) e

escolhendo flip-flops tipo D para a memria, reescrevemos a tabela de estados:

Estado Atual (Q) Q1 0 0 1 1 Q0 0 1 0 1

Estado Futuro (Q+) w=0 w=1 D D D + Q+ + Q+ Q Q 0 0 10 00 0 1 10 0 0 0 0 1 0 1 0 0 0 0 1 0 1 X X X X X X X

Sada z D 1 0 0 0 X 0 0 1 X

A partir deste diagrama devemos, agora, escrever as Equaes de Excitao, que determinam o circuito combinacional responsvel pela excitao dos flip-flops e a equao referente sada z.

Estas equaes expressam D1= D1(w,Q1,Q0), D0= D0(w,Q1,Q0), z=( Q1,Q0) e podem ser
obtidas, por exemplo, atravs do mtodo do Mapa de Karnaugh: Q1Q0 Q1Q0 0 1 X X 0 1

Q0

0 0

w 0 1 w 0 1

00

01

11

10

00 0 0

01 X X 0 0

11

10

0 1 Q1 0 1 0 1 0 X 0 1

D1 = w (Q1 + Q0 )

D0 = w Q1 Q0

z = Q1

Exemplo de Temporizao

Esquemtico do Circuito

Exemplo: Deseja-se construir uma FSM com as seguintes especificaes: (a) O circuito possui uma entrada w e uma sada z. (b) A sada z somente ser 1 se aps dois ciclos consecutivos de clock a entrada w se mantiver em 1. Soluo: Escolhendo projetar o circuito como uma Mquina de Mealy, podemos representar a sua operao atravs do seguinte Simbologia do Diagrama:

w=1

z=0

, B representam os estados (de

w=0

z=0

A w=0 z=0

w=1 z=1

Diagrama de Estados:

interesse) a serem armazenados nos ffs. Uma seta indica o efeito de uma transio de clock. acordo com a literatura, passaremos a escrever w=1/z=0, como 1/0. Isto , entrada(s)/sada(s).

Este diagrama pode ser transformado numa Tabela de Estados: Estado Atual (Q) A B Estado Futuro + (Qw )=0 w=1 A B A B Sada z w = w= 00 1 0 0 1

Fazendo, de forma arbitrria, A(Q0=0), B(Q0=1) e escolhendo flip-flops tipo D para a

memria, reescrevemos a tabela de estados:

Estado Atual (Q) Q0 0 1

Estado Futuro + (Qw )=0 w=1 D D + + Q0 Q 0 1 01 0 0 0 1 1

Sada z w = 0 0 0 0 1

A partir deste diagrama devemos, agora, escrever as Equaes de Excitao, que determinam o circuito combinacional responsvel pela excitao dos flip-flops e a equao referente sada z.

Estas equaes expressam D0= D0(w,Q0), z=z(w,Q0) e podem ser obtidas, por exemplo,
atravs do mtodo do Mapa de Karnaugh: Q0 0 1 0 1 0 0 0 1

Q0

w 0 1

1 w 0 1

D0 = w z = wQ0

Exemplo de Temporizao Comparao com a Mquina de Moore. Exemplo de Temporizao Impondo o DCS p/ mquina de Moore.