ORGANIZAO E ARQUITETURA DE

COMPUTADORES
Mquina de Estados Finitos
Alexandre Amory
Edson Moreno
2
Na Aula Anterior
Definio de circuitos seqenciais
Memria: flip- flop tipo D
Registradores da Cleo
3
Na Aula de Hoje
Como descrever e interpretar uma mquina de estados
Como implementar uma mquina de estados com portas
lgicas e flip-flops
A mquina de estados da parte de controle da Cleo
4
Diagramas de Estados: Exemplo
Especificao de funcionamento de despertar
Estados
(1) Dormindo; (2) Acordado; (3) Levanta
Entradas
Alarme = Sinal que te acorda (ligado ou desligado)
Dia til = Define o grau de preguia aplicvel (falso ou verdadeiro)
Sada
Desliga alarme = Ao aplicvel ao despertador
FSM
Estado
Alarme
Desliga
Alarme
Dia til
- Despertar -
5
Diagramas de Estados: Exemplo
Representao por grafo:
Vrtices representam os estados
Arcos representam os valores de entrada / sada
Dormindo Acordado
Levanta
Valor Representao
E
n
t
r
a
d
a
Alarme = Ligado A
Alarme = Desligado A
Dia til == Sim D
Dia til == No D
S
a

d
a
Desliga despertador == Sim S
Desliga despertador == No S
A / S
A / S
A e D / S
A / S
A e D / S
A / S
6
CIRCUTOS SEQUENCIAIS
O funcionamento dos circuitos seqenciais pode ser
representado por uma mquina de estado.
O conjunto dos valores armazenados em cada flipflop
define o estado atual dessa mquina de estado.
7
Implementao de DEs (Semforo)
Exemplo 1 Semforo
Definio:
Implementar circuito com FF D
Relembrando passos:
Passo 1 Levantamento (nro bits p. repres. estados/ entradas / saidas)
Passo 2 Gerao de uma TE
Passo 3 Mapa de Karnaugh
Passo 4 Desenhar o circuito
8
Implementao de DEs (Semforo)
Passo 2: Gerao de uma TE
Estado atual Entradas Prximo estado Sada
TE genrica
Estado atual Prximo estado
Q1 Q0 D1 D0
0 0 0 1
0 1 1 0
1 0 0 0
1 1 X X
TE Semforo(FF D)
Entradas Sada
D Q Q (T+1)
0 0 0
0 1 0
1 0 1
1 1 1
Tabela Verdade - FF D
00
10
01
Diagrama estados - Semforo
9
Implementao de DEs (Semforo)
Passo 3: Criao dos Mapas de Karnaugh
Explorar as sadas, incluindo a de cada FF
Como:
(1) Analisar TE
(2) Gerar equaes booleanas
Q1
0 1
Q
0
0 0 0
1 1 X
Estado atual Prximo estado
Q1 Q0 D1 D0
0 0 0 1
0 1 1 0
1 0 0 0
1 1 X X
TE Semforo (FF D)
D1
Q1
0 1
Q
0
0 1 0
1 0 X
D0
D1 = Q0 D0 = Q1 Q0
10
Implementao de DEs (Semforo)
Passo 4: Hora de desenhar o circuito
Quais equaes booleanas mmo?
E qual o Flip flop adotado nesta implementao?
Sim, era do tipo D
D1 = Q0 D0 = Q1 Q0
11
Implementao de DEs (Semforo)
Passo 4: Hora de desenhar o circuito
D1 = Q0
D0 = Q1 Q0
12
Implementao de DEs (Semforo)
Passo 4: Hora de desenhar o circuito
D1 = Q0
D0 = Q1 Q0
13
Implementao de DEs (Semforo)
Simulao: ciclo 0
Estado 00 verde
0 0
1 1
1
0
14
Implementao de DEs (Semforo)
Simulao: ciclo 1
Estado 01 amarelo
0 1
1 0
0
1
15
Implementao de DEs (Semforo)
Simulao: ciclo 2
Estado 10 vermelho
1 0
0 1
0
0
16
Implementao de DEs (Semforo)
Simulao: ciclo 3
Estado 00 verde
0 0
1 1
1
0
17
Implementao de DEs (Semforo)
Forma de onda
Mostrar semfaro no Logisim


tempo (ns)
D
ff1

CK

Q
ff1

D
ff2

Q
ff2

0 1 2 3
18
Implementao de DEs
Exerccio Estados da gua
Estados
S: Slida
L: Liquida
G: Gasosa
Entrada
T: Temperatura (0 diminui, 1 aumenta)
Definio:
Implementar circuito com FF D
Relembrando passos:
Passo 1 Levantamento (nro bits p. repres. estados/ entradas / saidas)
Passo 2 Gerao de uma TE
Passo 3 Mapa de Karnaugh
Passo 4 Desenhar o circuito
S
L
G
T
T
T T
19
Resumo
Vimos como descrever, interpretar, e implementar uma
mquina de estados
O funcionamento da mquina de estados da Cleo
Processador visto como uma grande mquina de estados