Maquinas de Estado

Elementos de Lgica Digital II

Prof. Vanderlei Bonato
(Adaptado de Prof. Eduardo Simes)
2
Conceito
Mquina de Estados Finito
finite state machine (FSM)
ou Autmato de Estados Finitos
finite state automaton
ou Mquina de Estados
or simply a state machine
um modelo de Comportamento composto de um
nmero finito de Estados.
Incluindo as transies entre estes estados e as aes
3
Aplicao
Como um modelo primitivo de uma mquina, contendo
um tipo de memria interna
Onde:
O estado atual determinado pelos estados passados do
sistema
Reflete informaes de entrada desde o comeo do
funcionamento
As transies so mudanas de estado
Dependem de condies preestabelecidas
As Aes so a descrio de atividades que sero
executadas
4
Aes
Ao de Entrada (Entry action)
Executada quando se entra no estado
Ao de Sada (Exit action)
Executada quando se sai do estado
Ao Condicional (Input action)
Executada dependendo do estado atual e das condies de
entrada
Ao de Transio (Transition action)
Executada no momento de uma transio
5
Tabela de Transio de Estado
6
Tabela de Transio de Estado
7
Deteco de Seqncia
8
Tipos de FSM
Mquina de Moore
Desligado
-------------
Sirene=0
Ativado
-----------
Disparado
-----------
Sirene=1
Incio
Boto=1
Sensor=1
Boto=1
9
Tipos de FSM
Mquina de Mealy
Desligado
Ativado
Incio Boto=1
Boto=1/
Sirene=0
Sensor=1/
Sirene=1
Mquina de Estados Moore em VHDL
Ver arquivo
Moore.vhd
Exerccio 1: Moore
Adicionar um temporizador no alarme para que o
mesmo toque somente se o sensor ficar acionado por
mais de 5 segundos e desligue o alarme (ir para o
estado inicial) se o sensor ficar desacionado por mais
de 20 segundos
Exerccio 2: Moore
Implemente um elevador para 4 andares com as
seguintes entradas e sadas:
Entrada:
Um boto de chamada externo para cada andar
4 botes internos para indicar o andar
2 sensores para indicarem porta aberta e porta fechada
Sensor de presena na porta
Um sensor de presena de elevador no andar
Sada
Motor elevador (liga/desliga)
Direo_elevador (sobe/desce)
Motor porta (liga/desliga)
Direo_porta (abre/fecha)