apresentação inicial fsm

5/18/2018 Apresenta o Inicial FSM

1/16

Tcnicas Digitais e de Microprocessadores TDM II1.1

Finite State MachinesDisciplina : EE 213 TcnicasDigitais e de Microprocessadores II

Prof. Corradi, Roe! "#nior

$$$.corradi.%!nior.no.&r
http://www.corradi.junior.nom.br/http://www.corradi.junior.nom.br/


2/16


Mquinas de Estados Finitos e Autmatos

So formas usada para representar Sistemas que possuemmemorizao de Estados, no sendo portanto meramentecombinacionais. Podem ser usados para representar Protoco!os em "edes #omportamento de #ircuitos E!etrnicos #omportamento de Pro$ramas de #omputador

#omportamento de um Processo de Fabricao

% #ontr!e de um processo F&sico Ana!'$ico de uma forma $era!

P"%#ESS%EntradaAna!'$ica

Sa&da

Ana!'$ica

"ea!imentao

Somador(#omparador

)um Sistema Ana!'$ico a

"e!ao entre Sa&da e EntradaPode Ser "epresentada por

Equa*es +iferenciais e nte$rais

-arieis Assumem -a!ores#ont&nuos no /empo


3/16


0'$ica #ombinaciona! e 0'$ica Sequencia!

0'$ica #ombinaciona! A sa&da depende apenas de uma combinao

!'$ica dos a!ores de entrada. A sa&da noprecisa esperar nenhum 1c!oc23 para ser$erada. Sa&das so $eradas um tempopequeno 4atraso da !'$ica5 ap's as entradasmudarem.

0'$ica Sequencia! 6 a que faz uso de re$istros 4mem'ria5 A sa&da pode depender apenas dos estados

dos f!ip7f!ops ou da combinao dos estadose das entradas.

+enomina7se 1ES/A+%3 da !'$icasequencia! ao con8unto de 19s3 e 1:s3armazenados nos f!ip7f!ops 4mem'ria5 da!'$ica

% re!'$io demarca o momento em que osestados mudam.

A

;

#

+

S

/


4/16

Tcnicas Digitais e de Microprocessadores TDM II1.'

Autmatos ? -arieis Assumem -a!ores +iscretos no /empo

"epresentao

A7 +ia$rama de /ransio

A7 /abe!a de /ransio

P"@M% ES/A+% SAB+AS 4z5ES/A+%A/


5/16

Tcnicas Digitais e de Microprocessadores TDM II1.(

Autmatos +etermin&sticos e )o +etermin&sticos

Autmato Finito +etermin&stico 4AF+5


6/16

Tcnicas Digitais e de Microprocessadores TDM II1.)

Mea!D and Moore Machines

Flip

Flops

Output

Combinatorial

Logic

Next State

Combinatorial

Logic

Moore Machine

nputs %utputs

Flip

Flops

Output

Combinatorial

Logic

Next State

Combinatorial

Logic

Mealy Machine

nputs %utputs

#!oc2

#!oc2


7/16Tcnicas Digitais e de Microprocessadores TDM II

1.*

Mode!o de Moore e de Mea!D

M%+E0% +E M%%"E

7 As sa&das so definidas apenas em funo dos estados.

7 )o dia$rama dos estados, o a!or das sa&das J representado 8unto o c'di$odo estado.

ECemp!o

+

M%+E0% +E MEA0K

7 As sa&das so definidas em funo dos estados e das entradas docircuito.

7 )o dia$rama dos estados, o a!or das sa&das J representado 8unto aoa!or da entrada.

ECemp!o


8/16Tcnicas Digitais e de Microprocessadores TDM II1.

Mquina de Mea!D

;7 /abe!a de /ransio

9(9

"eset

E:

E9

E

E

EH

:(9

:(9

9(:

9(:

:(9

:(:

9(:

9(:

:(:

A7 ECemp!o

Est. Pr'C. Estado(Sa&da

Atua! Entrada 4C5

E CL: CL9

E: E:(9 E(:

E9 E(9 E9(9

E E9(: EH(9

E E:(: E(:

EH E9(9 E(:


9/16Tcnicas Digitais e de Microprocessadores TDM II1.-

Mquina de Moore

;7 /abe!a de /ransio

A7 ECemp!o

Est. Pr'C. Estado Sa&da 4D5

Atua! Entrada 4C5 D L F 4E5

E CL: CL9

E: E: E 9

E9 E E9 :

E E9 EH 9

E E: E :

EH E9 E :

E:(9

E9(:

E(9

E(: EH(:

:

9

9

9:

9

"eset

9

:

:

:


10/16Tcnicas Digitais e de Microprocessadores TDM II

Moore C Mea!D

1.1


11/16Tcnicas Digitais e de Microprocessadores TDM II1.11

-a!idade de Especifica*es 45



-a!idade de Especifica*es 45



erao das Equa*es de Estado

Em Mquinas +etermin&sticas Atribui7se a #odificao dos Estados

Mapeiam7se os Estados e Eentos em uma /abe!a -erdade

Simp!ifica7se com o Mapa de >arnau$h 4ou pro$ramaespec&fico5

Em Mquinas )o +etermin&sticas #ada estado J representado por um bit 41%ne Not Encodin$35

#ada termo produto J o produto do eento com o estado ori$em

% estado J atiado pe!o 1ou3 dos produtos que che$am a e!e

% estado J desatiado pe!os produtos que efetiamente oabandonam. )a erdade, um estado J desatiado pe!a atiaode um estado $erado a partir de!e. Portanto, no J necessrioespecificar as equa*es para desatiar estados.


14/16Tcnicas Digitais e de Microprocessadores TDM II1.1'

Procedimentos de Pro8eto

97 A partir da especificao obter o diagrama deestados;

7 Atribuir c'di$os a cada estado do dia$ramaO

7 #om base no dia$rama de estados, obter a

tabela de estados;H7 Esco!her o tipo de flip-flopa uti!izarO

7 %bter as equaes de entradapara cada flip-

flop, com base na tabe!a de estadosOQ7 %bter as equaes de sadado circuitoO

R7 Desenharo circuito !'$ico.


15/16Tcnicas Digitais e de Microprocessadores TDM II1.1(

#ontro!ador de -a$o

An!ise de um ECemp!o 45

Objetivo:

Modelar o comportamento

do controlador de um

vago de transporte de

materiais.


16/16Tcnicas Digitais e de Microprocessadores TDM II1.1)

An!ise de um ECemp!o 45

apresentação inicial fsm

Documents