Post on 02-Nov-2015
description
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/5/18/2018 Apresenta o Inicial FSM
2/16
Tcnicas Digitais e de Microprocessadores TDM II1.2
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
5/18/2018 Apresenta o Inicial FSM
3/16
Tcnicas Digitais e de Microprocessadores TDM II1.3
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
/
5/18/2018 Apresenta o Inicial FSM
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/18/2018 Apresenta o Inicial FSM
5/16
Tcnicas Digitais e de Microprocessadores TDM II1.(
Autmatos +etermin&sticos e )o +etermin&sticos
Autmato Finito +etermin&stico 4AF+5
5/18/2018 Apresenta o Inicial FSM
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
5/18/2018 Apresenta o Inicial FSM
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
5/18/2018 Apresenta o Inicial FSM
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(:
5/18/2018 Apresenta o Inicial FSM
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
:
:
:
5/18/2018 Apresenta o Inicial FSM
10/16Tcnicas Digitais e de Microprocessadores TDM II
Moore C Mea!D
1.1
5/18/2018 Apresenta o Inicial FSM
11/16Tcnicas Digitais e de Microprocessadores TDM II1.11
-a!idade de Especifica*es 45
5/18/2018 Apresenta o Inicial FSM
12/16Tcnicas Digitais e de Microprocessadores TDM II1.12
-a!idade de Especifica*es 45
5/18/2018 Apresenta o Inicial FSM
13/16Tcnicas Digitais e de Microprocessadores TDM II1.13
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.
5/18/2018 Apresenta o Inicial FSM
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.
5/18/2018 Apresenta o Inicial FSM
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.
5/18/2018 Apresenta o Inicial FSM
16/16Tcnicas Digitais e de Microprocessadores TDM II1.1)
An!ise de um ECemp!o 45