NE7720 - Sistemas Digitais II - Prof. Dr. Valter F.

Avelino (2019)
Aula 12
Otimização e Tradeoff em Lógica 1

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

Otimização do número de estados de um sistema sequencial
A redução do número de estados de uma Máquina de Estados pode representar
uma otimização significativa no tamanho do hardware de um sistema de
controle. Para que seja possível reduzir o número de estados (estados
redundantes) é necessário identificar estados equivalentes entre si, cuja
eliminação não altere o comportamento do sistema.

Dois estados são equivalentes entre si se:

 Ambos atribuem os mesmos valores às saídas;
 Para todas as sequências possíveis das entradas, as saídas da ME
serão as mesmas quando se inicia em qualquer um desses dois
estados.

NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)

Aula 12
Otimização e Tradeoff em Lógica 2

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

Otimização do número de estados de um sistema sequencial
Para exemplificar o método de redução do número de estados redundantes de
uma Máquina de Estados considere o sistema representado no diagrama de
estados da figura seguinte, que possui entrada X e saída Y:
X’
X’ X X’ X

RST S0
Y=0
X S1
Y=1
X’ S2
Y=0
X S3
Y=1
 X=1,1,0,0 ME
Y=0,1,1,0,0

Redução de
Estados

X’
X’ X
X=1,1,0,0
RST S0 X S1  ME
Y=0,1,1,0,0
Y=0 Y=1

As notas de aula servem como roteiro de aula para o professor, contendo os principais tópicos que serão
explorados durantes as aulas. Podem também servir como roteiro de estudo, mas não substituem o livro texto da
disciplina: VAHID, F. – Sistemas Digitais – projeto, otimização e HDLs. 1
 NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)
Aula 12
Otimização e Tradeoff em Lógica 3

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

Tabela de Implicação
Para facilitar a identificação de estados redundantes de uma Máquina de
Estados pode-se utilizar o método da Tabela de Implicação.
A Tabela de Implicação é um método gráfico (tabular) para identificar estados
equivalentes, baseado nas seguintes premissas:
 Se as saídas de dois estados não forem iguais eles não são equivalentes;
 Se para um dado valor de entrada os próximos estados dos dois estados
não forem iguais, então esses dois estados também não são iguais.
A representação gráfica é no formato matricial, onde nas linhas e colunas da
tabela representam-se os (n-1) estados da ME. Nas colunas representam-se os
estados S0 a SN-1 e nas linhas os estados S1 a SN.
Exemplo de Tabela de Implicação para uma S1
ME com quatro estados: S0, S1, S2, S3:
S2
S3
S0 S1 S2

NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)

Aula 12
Otimização e Tradeoff em Lógica 4

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

Algoritmo para utilização da Tabela de Implicação
Passo Descrição
1. Marque como sendo não equivalentes os pares Os estados que têm saídas
de estados que têm saídas diferentes. diferentes não podem ser
equivalentes.
2. Para cada par de estados não marcado registre
os pares de próximos estados que correspondem
aos valores das entradas.
3. Para cada par de estados não marcado Para os mesmos valores de
assinale como sendo não equivalentes os pares entrada os estados cujos
de estados cujos pares de próximos estados não próximos estados não são
são equivalentes. Repita esse passo até que não equivalentes não podem ser
ocorram mais alterações, ou até que todos os equivalentes. Cada execução
estados estejam marcados. desse passo é chamada de
uma passada.
4. Combine os pares restantes de estados. Os pares de estados restantes
devem ser equivalentes.

As notas de aula servem como roteiro de aula para o professor, contendo os principais tópicos que serão
explorados durantes as aulas. Podem também servir como roteiro de estudo, mas não substituem o livro texto da
disciplina: VAHID, F. – Sistemas Digitais – projeto, otimização e HDLs. 2
 NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)
Aula 12
Otimização e Tradeoff em Lógica 5

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

Otimização do número de estados de um sistema sequencial
Exemplo 1: Para exemplificar a aplicação da Tabela de Implicação considere o
sistema representado no diagrama de estados da figura seguinte, que possui
entrada X e saída Y : X’ X’
Redução de
X’ X X’ X X’ X
Estados
RST S0 X S1 X’ S2 X S3 RST S0,S2 X S1,S3
Y=0 Y=1 Y=0 Y=1 Y=0 Y=1
Passo 1: Marcar Passo 2: Marcar Passo 3: Marcar Repetir Passo 3: Até
pares com saídas próximos próximos estados que não ocorram
diferentes: estados: não equivalentes: alterações:
S1 S1 S1
Passo 4: Combinar
S2 S2 (S3,S1) S2 (S3,S1) pares de estados
(S2,S0) (S2,S0) restantes:
S3 S3 (S3,S1) S3 (S3,S1)
(S0,S2) (S0,S2) S2  S0
S0 S1 S2 S0 S1 S2 S0 S1 S2 S3  S1

NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)

Aula 12
Otimização e Tradeoff em Lógica 6

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

 Exercício 1:
Considere o sistema representado no diagrama de estados da figura abaixo,
similar ao diagrama de estados anterior, mas com mudança na saída do estado
S2 para Y=1. Verifique a possibilidade de redução de estados redundantes.
X’
Passo 4: Combinar pares
X’ X X’ X de estados restantes:

RST S0 X S1 X’ S2 X S3
Y=0 Y=1 Y=1 Y=1
Passo 1: Marcar Passo 2: Marcar Passo 3: Marcar Repetir Passo 3: Até
pares com saídas próximos próximos estados que não ocorram
diferentes: estados: não equivalentes: alterações:

As notas de aula servem como roteiro de aula para o professor, contendo os principais tópicos que serão
explorados durantes as aulas. Podem também servir como roteiro de estudo, mas não substituem o livro texto da
disciplina: VAHID, F. – Sistemas Digitais – projeto, otimização e HDLs. 3
 NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)
Aula 12
Otimização e Tradeoff em Lógica 7

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

 Exercício 2:
Considere uma máquina de venda de refrigerantes como a descrita no
exercício da aula 11, porém sem a condição de devolução de troco (portanto
sem o sinal S2 de devolução de troco. Nesse caso o diagrama de estados pelo
modelo de Moore pode ser representado pela figura abaixo. Verifique a
possibilidade de redução de estados redundantes utilizando a Tabela de
Implicação.
Y2 Y1 00 00

E3 / 10 E5 / 01 E4 /
1 0 0
10
01
S1 10 01
E2 / E1 / RST
1 0

00

NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)

Aula 12
Otimização e Tradeoff em Lógica 8

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

 Exercício 2:
Passo 4: Combinar pares
de estados restantes:

Passo 1: Marcar pares Passo 2: Marcar próximos Passo 3: Marcar próximos

com saídas diferentes: estados: estados não equivalentes:

As notas de aula servem como roteiro de aula para o professor, contendo os principais tópicos que serão
explorados durantes as aulas. Podem também servir como roteiro de estudo, mas não substituem o livro texto da
disciplina: VAHID, F. – Sistemas Digitais – projeto, otimização e HDLs. 4
 NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)
Aula 12
Otimização e Tradeoff em Lógica 9

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

 Exercício 2:
Resultado da otimização por redução de estados redundantes utilizando a
Tabela de Implicação:

Y2 Y1 00 00

E3 / 10 E5 / 01 E4 /
1 0 0
10
01
S1 10 01
E2 / E1 / RST
1 0

00

NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)

Aula 12
Otimização e Tradeoff em Lógica 10

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

 Exercício 3:
Considere o diagrama de estados representado pela figura abaixo. Verifique a
possibilidade de redução de estados redundantes utilizando a Tabela de
Implicação.

X’ X’

S3 / X S0 / X S4 / RST
0 0 0
X’ X
X’ X’
S2 / S1 /
1 1

X X

As notas de aula servem como roteiro de aula para o professor, contendo os principais tópicos que serão
explorados durantes as aulas. Podem também servir como roteiro de estudo, mas não substituem o livro texto da
disciplina: VAHID, F. – Sistemas Digitais – projeto, otimização e HDLs. 5
 NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)
Aula 12
Otimização e Tradeoff em Lógica 11

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

 Exercício 3:
Passo 4: Combinar pares
de estados restantes:

Passo 1: Marcar pares Passo 2: Marcar próximos Passo 3: Marcar próximos

com saídas diferentes: estados: estados não equivalentes:

NE7720 - Sistemas Digitais II - Prof. Dr. Valter F. Avelino (2019)

Aula 12
Otimização e Tradeoff em Lógica 12

Otimização e Tradeoff (solução de compromisso) em Lógica Sequencial

 Exercício 3:
Resultado da otimização por redução de estados redundantes utilizando a
Tabela de Implicação:

X’ X’

S3 / X S0 / X S4 / RST
0 0 0
X’ X
X’ X’
S2 / S1 /
1 1

X X

As notas de aula servem como roteiro de aula para o professor, contendo os principais tópicos que serão
explorados durantes as aulas. Podem também servir como roteiro de estudo, mas não substituem o livro texto da
disciplina: VAHID, F. – Sistemas Digitais – projeto, otimização e HDLs. 6