Escolar Documentos
Profissional Documentos
Cultura Documentos
• Objetivos:
– Conhecer a estrutura de FSMs
– Classificar máquinas Moore e Mealy
– Identificar opções para codificação de estados para síntese de
FSMs
– Implementar e relatar estudo de caso
Controlador Controlador
Controlador
case NEXT_STATE is
when S0_C =>
if (x = 0)
z = 0; Linguagens de
NEXT_STATE <= S0_C; descrição de hardware
else
z = 0;
NEXT_STATE <= S2_C;
end if;
when S1_C =>
EEL7020 – Sistemas Digitais 5/38
Finite State Machine (FSM)
Estados
Armazena informação sobre o passado refletindo as modificações
das entradas do início até o presente momento
Transição
Indica uma troca de estado e é descrita por uma condição que
habilita a modificação de estado
Ação
Descrição da atividade que deve ser executada em um
determinado instante
Registrador de Estado
0 1 1 0 1 0 0 0 Estado Próximo
Flip-flops estado
0 1 1 1 X X X X atual
Registrador
1 0 0 0 0 0 1 0
de estado
1 0 0 1 0 1 0 0
Cada posição da ROM armazena uma linha da tabela de estados.
EEL7020 – Sistemas Digitais 11/38
Moore e Mealy
Lógica de Registradores
entrada próximo estado Lógica de saída saída
próximo estado estado de estado atual atual (combinacional)
(combinacional) (sequencial)
reset
assíncrono
Lógica de Registradores
entrada próximo estado Lógica de saída saída
próximo estado estado de estado atual atual (combinacional)
(combinacional) (sequencial)
reset
assíncrono
Dica: flip-flop D: Q’ = D
flip-flop T: Q’ = T xor Q
flip-flop SR: Q’ = S or RQ
flip-flop JK: Q’ = JQ or KQ
JB B
JA A
KB B
KA A
3. Mapas de Karnaugh:
A’ B’
x x
AB 0 1 0 1
AB
00 0 1 00 0 1
01 0 1 01 0 1
11 1 1 11 1 0
10 1 0 10 0 1
JB B
JA A
KB B
KA A
3. Mapas de Karnaugh:
A’ B’ Z
x x x
AB 0 1 0 1 0 1
AB AB
00 0 0 00 0 1 00 0 1
01 0 1 01 1 1 01 1 0
11 1 0 11 1 0 11 0 1
10 1 0 10 0 1 10 0 1
Informações
fornecidas pelos
sensores
Reset
package refri is
type cmd is (Nada, M025, M050, M100, DEV, MEET, ETIRPS);
end package;
Desvantagens
• Mais de um bit pode mudar de uma transição para outra
• Maior consumo (maior atividade de chaveamento nos
FFs)
• Lógica mais complexa para determinar o estado atual
Ex.:
000 → 000
001 → 001
010 → 011
011 → 010
100 → 110
101 → 111
EEL7020 – Sistemas Digitais 33/38
Gray
Codificação de estados para FSMs
Codificação Gray
Vantagens:
• Mesmo número de FFs que a codificação binária
• Apenas um bit muda para estados adjacentes
• Menor consumo (menos atividade de chaveamento de
FFs)
Desvantagens
• Decodificação mais complexa
Ex.:
000 → 000001
001 → 000010
010 → 000100
011 → 001000
100 → 010000
101 → 100000
Desvantagens
• Ocupação de área – necessidade de diversos FFs