Universidade Federal de Santa Catarina

Departamento de Informtica e Estatstica

Cincias da Computao & Engenharia Eletrnica
INE 5406 - Sistemas Digitais - semestre 2014/1
Prof. Jos Lus Gntzel - guntzel@inf.ufsc.br


Exerccio Desafio
Observaes e regras para pontuao:
A execuo e a entrega deste exerccio opcional.
Caso opte por realiz-lo, o aluno deve escrever a soluo a mo, em folhas separadas, anexando-as a este
enunciado. Somente o item 4 deve ser preenchido na prpria folha do enunciado.
Somente receber 0,5 ponto na prova P2 a(o) aluna(o) cuja execuo deste exerccio estiver 100% correta!
O prazo de entrega esgota-se no incio da prova P2. Antes, o exerccio pode ser deixado no escaninho do
Prof. Gntzel, no hall do piso terreo do prdio do INE, em frente ao elevador.
Para este exerccio considere o MIPS multiciclo visto em aula, cujo diagrama mostrado na Fig. 1. A
Fig. 2 mostra o diagrama da mquina de estados (FSM) que descreve o comportamento do bloco de
controle deste processador, ao passo que a Fig. 3 mostra a topologia assumida para a estrutura deste
bloco de controle (que corresponde ao modelo de Moore).
1) A Tab. 1 corresponde Tabela de Transio de Estados para a FSM da Fig. 2. Escreva uma nova
verso da Tab. 1, na qual:
os estados esto codificados conforme a Tab. 2;
as variveis de estado atual so Q3, Q2, Q1, Q0 (da esq. p/ a dir.);
as variveis de prximo estado so Q3m, Q2m, Q1m, Q0m (da esq. p/ a dir.);
os bits do opcode so op5, ..., op0 (da esq. p/ a dir.);
2) Escreva as equaes em soma de minitermos (ou seja, somas de produtos no-minimizadas) para
as variveis de prximo estado Q3m, Q2m, Q1m, Q0m, seguindo a ordem em que estes
aparecero na nova verso da Tab. 1, resultante do item anterior (ou seja, da esquerda para a
direita).
3) Usando algum software para minimizao lgica cuja distribuio seja gratuita, obtenha (e
escreva) as equaes minimizadas para as variveis de prximo estado Q3m, Q2m, Q1m, Q0m.
Esta minimizao deve ser global*. Identifique a ferramenta utilizada, escrevendo seu nome,
autor(es) e endereo do site onde voc teve acesso a ela.

Fig. 1 Diagrama do processador MIPS multiciclo (bloco operativo e bloco de controle).
ine5406 - Sistemas Digitais semestre 2014/1 - Prof. Jos Lus Gntzel Exerccio Desafio p.2


Fig. 2 - Mquina de estados (FSM) que descreve o comportamento do bloco de controle do processador MIPS
multiciclo.
D
1
Q
1

Q
1

FF
1

D
2
Q
2

Q
2

FF
2

D
3
Q
3

Q
3

FF
i

.
.
.

lgica de
prximo
estado
lgica de
sada
PCEsc
OPCODE

op5 op4 op0
PCEscCond
IouD
ULAFonteA
EscReg
RegDst
.
.
.
ck

Fig. 3 - Topologia para a estrutura da mquina de estados (FSM) mostrada na Fig. 2 (segundo modelo de
Moore).
Tab. 1 Descrio de alto nvel para as transies de estados da FSM da Fig. 2.
Estado Atual Opcode Prximo Estado
0 - 1
000000 6
000010 9
000100 8
101011 2
1
100011 2
100011 3
2
101011 5
3 - 4
4 - 0
5 - 0
6 - 7
7 - 0
8 - 0
9 - 0
ine5406 - Sistemas Digitais semestre 2014/1 - Prof. Jos Lus Gntzel Exerccio Desafio p.3

Tab. 2 Uma codificao para os estados da FSM da Fig. 2.
Estado Q3 Q2 Q1 Q0
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1
4 0 1 0 0
5 0 1 0 1
6 0 1 1 0
7 0 1 1 1
8 1 0 0 0
9 1 0 0 1

4) Usando a codificao de estados apresentada na Tab. 2, complete na Tab. 3 os valores binrios dos
estados e os valores dos sinais de comando (sada). Ao completar os sinais de comando, observe
as regras vistas em aula para a atribuio de X(dont care).
5) Escreva as equaes em soma de minitermos (ou seja, somas de produtos no-minimizadas) para
os sinais de comando, seguindo a ordem em que estes aparecem na Tab. 3 (da esquerda para a
direita, de cima para baixo).
6) Usando algum software para minimizao lgica cuja distribuio seja gratuita, obtenha (e
escreva) as equaes minimizadas para os sinais de comando. Esta minimizao deve ser global*.
Identifique a ferramenta utilizada, escrevendo seu nome, autor(es) e endereo do site onde voc
teve acesso a ela.
* No caso deste exerccio, minimizao global significa minimizar todas as variveis de prximo estado (ou
todos os sinais de comando) simultaneamente, ao invs de minimizar um por um.
Tab. 3 Valores binrios (e don't cares) dos sinais de sada para a FSM da Fig. 2 (a completar).
Estado PCEscCond PCEsc IouD LerMem EscMem MemParaReg IREsc FontePC[1] FontePC[0]
0
1
2
3
4
5
6
7
8
9

Estado ULAOp[1] ULAOp[0] ULAFonteB[1] ULAFonteB[0] ULAFonteA EscReg RegDst
0
1
2
3
4
5
6
7
8
9