SIMPLIFICAO

DE CIRCUITOS
SEQENCIAIS
Sel
Sel 414
414 -- Sistemas
Sistemas Digitais
Digitais
Prof.
Prof. Homero
Homero Schiabel
Schiabel
 Equivalncia
Equivalncia

Equivalncia de estados
Dois
Dois Estados
Estados so
so equivalentes
equivalentes sese no
no podemos
podemos distinguir
distinguir
um
um do
do outro,
outro, ou
ou seja,
seja, no
no podemos
podemos determinar
determinar em
em qual
qual dos
dos
dois
dois estados
estados equivalentes
equivalentes oo Circuito
Circuito Seqencial
Seqencial comea,
comea,
aplicando-se
aplicando-se entradas
entradas ee observando
observando suas
suas sadas.
sadas.
Se
Se essa
essa condio
condio ocorrer,
ocorrer, para
para qualquer
qualquer seqncia
seqncia dede
entrada,
entrada, um
um dos
dos Estados
Estados redundante
redundante ee pode
pode ser
ser removido
removido
sem
sem alterar
alterar oo comportamento
comportamento do do circuito.
circuito.

Remover
Remover
estados 1)
1) Reduzir
Reduzir Custos
Custos
estados
redundantes 2) Reduzir
Reduzir aa Complexidade
Complexidade dodo Circuito
redundantes 2) Circuito
importante 3)
3) Facilitar
Facilitar aa Anlise
Anlise de
de Falhas
Falhas
importante
para
para
 Equivalncia
Equivalncia

Equivalncia de estados

1. Os
1. Os Estados
Estados S1,
S1, S2,
S2, ....,
...., Sj
Sj de
de um
um Circuito
Circuito Seqencial
Seqencial soso
ditos
ditos equivalentes
equivalentes se
se ee somente
somente se,se, para
para toda
toda seqncia
seqncia
de
de entrada
entrada possvel,
possvel, aa mesma
mesma seqncia
seqncia dede sada
sada ser
ser
produzida
produzida independentemente
independentemente de de qual
qual S1,
S1, S2,
S2, ....,
...., Sj
Sj seja
seja oo
Estado
Estado Inicial.
Inicial.
2.
2. Sejam
Sejam S Skk ee S
Sll os
os Prximos
Prximos Estados
Estados de de umum Circuito
Circuito
Seqencial
Seqencial quando entrada IIpp aplicada,
quando aa entrada aplicada, estando
estando oo
circuito
circuito nos
nos estados
estados SSii ee S
Sjj respectivamente.
respectivamente.
SSii ee S
Sjj so
so equivalentes
equivalentes se se ee somente
somente se, se, para
para toda
toda
entrada
entrada possvel
possvel IIpp::
11 -- A
A sada
sada produzida
produzida pelo
pelo estado
estado S Sii igual
igual sada
sada
produzida
produzida pelo
pelo estado
estado S Sjj
22 -- Os
Os Prximos
Prximos Estados
Estados SSkk ee S Sll so
so equivalentes.
equivalentes.
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

1. Por Inspeo
Estado Est. Futuro / Sada
Estado Est. Futuro / Sada
Presente X = 0 X=1 Presente X = 0 X=1
A B/0 C/1
A B/0 C/1
B C/0 A/1
B C/0 A/1
C D/1 B/0
C B/1 B/0
D C/0 A/1
E B/0 C/1
E D/0 C/1
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

1. Por Inspeo

TABELA
TABELA FINAL
FINAL
Estado Est. Futuro / Sada
Presente X = 0 X=1
A B/0 C/1
B C/0 A/1
C B/1 B/0
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio

Estado Est. Futuro / Sada

Presente X = 0 X=1 1. S est. F tem comportamento
A B/0 C/0 diferente dos outros quanto
B D/0 E/0 sada;
C G/0 E/0 2. Vamos assumir que, inicial-
D H/0 F/0 mente, todos os demais corres-
E G/0 A/0 pondem ao mesmo estado.
F G/1 A/0 3. Dividir os estados, ento, em
G D/0 C/0 duas classes (PARTIES)
H H/0 A/0
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio
Estado Est. Futuro / Sada Estado Est. Futuro / Sada
Presente X = 0 X=1 Presente X = 0 X=1
A1 B1 / 0 C1 / 0 A1 B1 / 0 C1 / 0
B1 D1 / 0 E1 / 0 B1 D3 / 0 E1 / 0
C1 G1 / O E1 / 0 C1 G1 / 0 E1 / 0
D1 H1 / 0 F2 / 0 D3 H1 / 0 F2 / 0
E1 G1 / 0 A1 / 0 E1 G1 / 0 A1 / 0
F2 G1 / 1 A1 / 0 F2 G1 / 1 A1 / 0
G1 D1 / 0 C1 / 0 G1 D3 / 0 C1 / 0
H1 H1 / 0 A1 / 0 H1 H1 / 0 A1 / 0

Dois estados cujos Est. Futuros em cada

coluna (x=0 e x=1) no esto nas mesmas
Parties devem ser estados diferentes
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio
Estado Est. Futuro / Sada Estado Est. Futuro / Sada
Presente X = 0 X=1 Presente X = 0 X=1
A1 B4 / 0 C1 / 0 A5 B4 / 0 C5 / 0
B4 D3 / 0 E1 / 0 B4 D3 / 0 E5 / 0
C1 G4 / 0 E1 / 0 C5 G4 / 0 E5 / 0
D3 H1 / 0 F2 / 0 D3 H1 / 0 F2 / 0
E1 G4 / 0 A1 / 0 E5 G4 / 0 A5 / 0
F2 G4 / 1 A1 / 0 F2 G4 / 1 A5 / 0
G4 D3 / 0 C1 / 0 G4 D3 / 0 C5 / 0
H1 H1 / 0 A1 / 0 H1 H1 / 0 A5 / 0
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio

TABELA
TABELA FINAL
FINAL
Estado Est. Futuro / Sada
Presente X = 0 X=1
a b/0 a/0
b c/0 a/0
c e/0 d/0
d b/1 a/0
e e/0 a/0
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio (outro modelo)
Estado Est. Futuro / Sada
Presente X = 0 X=1
P
P00 == (( A
A B
B C
C D
D E
E FF G
G H
H ))
A E/0 D/0
B A/1 F/0 X=0
X=0 00 11 00 00 11 00 11 11
C C/O A/1 X=1
X=1 00 00 11 00 00 11 11 11
D B/0 A/0
E D/1 C/0
F C/0 D/1
G H/1 G/1
H C/1 B/1 P
P11 == (AD)
(AD) (BE)
(BE) (CF)
(CF) (GH)
(GH)
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio (outro modelo)

TABELA
TABELA FINAL
FINAL
Estado Est. Futuro / Sada
Presente X = 0 X=1
A B/0 A/0
B A/1 C/0
C C/0 A/1
G H/1 G/1
H C/1 B/1
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio mltiplas entradas
Estado Est. Futuro / Sada
Presente 00 01 00 01 P00 == A
P AB B CCD DE E FF GGH H
A D/0 D/0 F/0 A/0 00 11 11 00 11 00 00 11
B C/1 D/0 E/1 F/0 00 00 00 00 00 00 00 00
C C/1 D/0 E/1 A/0 00 11 11 00 11 00 00 11
D D/0 B/0 A/0 F/0 00 00 00 00 00 00 00 00
E C/1 F/0 E/1 A/0
F D/0 D/0 A/0 F/0 P
P11 == (A D
(A (B C
G) (B
D FF G) CE E H)
H)
G G/0 G/0 A/0 A/0 00
00 -- DDD DD DGG C CCCC CBB
H B/1 D/0 E/1 A/0 01
01 -- DDB BD DGG D DDD FF D
D
11
11 -- FF AAA AAA E EEEE EEE
D
D est
est em
em outra
outra partio
partio 10
10 -- A A FF A
A FF FF A AA AAA
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio mltiplas entradas

TABELA
TABELA FINAL
FINAL

Estado Est. Futuro / Sada

Presente 00 01 00 01
A D/0 D/0 A/0 A/0
B B/1 D/0 E/1 A/0
D D/0 B/0 A/0 A/0
E B/1 A/0 E/1 A/0
G G/0 G/0 A/0 A/0
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio Exemplo completo

Detector
Detector de
de seqncia
seqncia (mod.
(mod. Mealy)
Mealy)
(entrada
(entrada X,
X, sada
sada Z)
Z)
Para X == 00 >
Para X > ZZ == 11 SE
SE anteriormente
anteriormente X X == 1001
1001
>> seqncia
seqncia bembem sucedida
sucedida para
para ZZ == 11 X
X == 10010
10010

Vamos
Vamos supor
supor aa seqncia:
seqncia:
Ck
Ck == 11 22 33 44 55 66 77 88 99 10
10 11
11 12
12 13
13 14
14 15
15 16
16 17
17 18
18 19
19 20
20 21
21
X
X == 11 11 00 00 11 00 00 11 00 00 00 00 11 00 11 11 00 00 11 00 00

ZZ == 00 00 00 00 00 11 00 00 11 00 00 00 00 00 00 00 00 00 00 11 00
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio Exemplo completo

(a)
(a) Diagrama
Diagrama de
de Estados
Estados
Consideraremos
Consideraremos oo primeiro
primeiro estado
estado como
como aquele
aquele atingido
atingido aps
aps
aa sucesso
sucesso de
de dois
dois ouou mais
mais 11 consecutivos
consecutivos (no
(no ex.,
ex., oo estado
estado
do
do sistema
sistema no
no terceiro
terceiro pulso
pulso de Ck) >
de Ck) > primeiro
primeiro bit
bit de
de uma
uma
seqncia
seqncia que
que pode
pode ser ser bem
bem sucedida
sucedida foi
foi recebido
recebido (qualquer
(qualquer
coisa
coisa anterior
anterior irrelevante)
irrelevante)

Ck
Ck == 11 22 33 44 55 66 77 88 99 10
10 11
11 12
12 13
13 14
14 15
15 16
16 17
17 18
18 19
19 20
20 21
21
X
X == 11 11 00 00 11 00 00 11 00 00 00 00 11 00 11 11 00 00 11 00 00

ZZ == 00 00 00 00 00 11 00 00 11 00 00 00 00 00 00 00 00 00 00 11 00
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio Exemplo completo

(b)
(b) Tabela
Tabela de
de Estados
Estados
Estado Est. Futuro / Sada Estado Est. Futuro / Sada
Presente X = 0 X=1 Presente X = 0 X=1
A B/0 A/0 A B/0 A/0
B C/0 F/0 B C/0 A/0
C G/0 D/0 C G/0 D/0
D E/1 A/0 D E/1 A/0
E C/0 A/0 E C/0 A/0
F B/0 A/0 G G/0 A/0
G G/0 F/0
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio Exemplo completo

(b)
(b) Tabela
Tabela de
de Estados
Estados
TABELA
TABELA FINAL
FINAL
Estado Est. Futuro / Sada
Presente X = 0 X=1
A B/0 A/0
B C/0 A/0
C G/0 D/0
D B/1 A/0
G G/0 A/0
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

2. Por Partio Exemplo completo
Exerccio:
Exerccio: Determine
Determine aa Tabela
Tabela de
de Estados
Estados final
final para
para oo
mesmo
mesmo detector
detector de
de seqncia
seqncia se
se oo diagrama
diagrama de
de estados
estados
fosse
fosse oo seguinte:
seguinte:
11 // 00
11 // 00

11
11 // 00
00 00 // 00 11 // 00 00 // 11
00 // 00
A B C D E

11 // 00 00 // 00
11 // 00 00 // 00
00 // 00
11 // 00 F G
11 // 00
00 // 00
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao

Estado Est. Futuro / Sada B

B BE
BE
Presente X = 0 X=1
BC
BC
C
C BC
BC
A C/1 B/0 BE
BE
B C/1 E/0
D
D
C B/1 E/0
D D/0 B/1 DE
DE
E E/0 A/1 E
E AB
AB
A
A B
B C
C D
D
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao

Estado Est. Futuro / Sada B

B BE
BE
Presente X = 0 X=1
BC
BC
C
C

A C/1 B/0 BE
BE
B C/1 E/0
D
D
C B/1 E/0
D D/0 B/1 DE
DE
E E/0 A/1 E
E AB
AB
A
A B
B C
C D
D
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao

A
A -- B
B BE
BE
B
B (BC)
(BC) BC
BC
C
C

C
C -- BE
BE
D
D -- D
D
E
E -- DE
DE
E
E AB
AB
A
A B
B C
C D
D

Parties
Parties de
de Equivalncia P
Equivalncia PKK == (A)
(A) (BC)
(BC) (D)
(D) (E)
(E)
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao
MTODO

1.
1. Formar
Formar aa tabela:
tabela:
B
B Vertical
Vertical estados
estados exceto
exceto oo 1
1
Horizontal estados exceto
Horizontal estados exceto oo ltimo
ltimo
C
C (*) Cruzamento
(*) Cruzamento linha-coluna teste
linha-coluna teste de
de
equivalncia
equivalncia dos
dos estados
estados
D
D
2.
2. Colocar
Colocar XX nas
nas clulas
clulas em
em que
que as
as
E
E sadas
sadas no
no so
so == para
para qualquer
qualquer
entrada
entrada
A
A B
B C
C D
D
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao
MTODO

3.
3. Completar
Completar clulas
clulas vazias
vazias com
com
B
B BE
BE pares
pares dede Estados
Estados Futuros
Futuros cuja
cuja
BC
BC equivalncia
equivalncia est
est implicada
implicada pelos
pelos
C
C BC
BC
BE
BE dois
dois estados
estados da
da interseco
interseco
D
D 4.
4. Se
Se osos pares
pares implicados
implicados numa
numa
DE
DE clula
clula so
so os
os que
que aa definem,
definem, ou
ou se
se
E
E AB
AB os
os Estados
Estados Futuros
Futuros da
da clula
clula so
so
A
A B
B C
C D
D os
os mesmos
mesmos marcar
marcar (esses
(esses
estados
estados so
so equivalentes)
equivalentes)
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao
MTODO

3.
3. Completar
Completar clulas
clulas vazias
vazias com
com
B
B BE
BE pares
pares dede Estados
Estados Futuros
Futuros cuja
cuja
BC
BC equivalncia
equivalncia est
est implicada
implicada pelos
pelos
C
C

BE
BE dois
dois estados
estados da
da interseco
interseco
D
D 4.
4. Se
Se osos pares
pares implicados
implicados numa
numa
clula
clula so
so os
os que
que aa definem,
definem, ou
ou se
se
E
E AB
AB os
os Estados
Estados Futuros
Futuros da
da clula
clula so
so
A
A B
B C
C D
D os
os mesmos
mesmos marcar
marcar (esses
(esses
estados
estados so
so equivalentes)
equivalentes)
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao
MTODO

5.
5. Verificar
Verificar se
se devem
devem ser
ser cruzadas
cruzadas
B BE
B BE outras
outras clulas,
clulas, alm
alm das
das jj
C
BC
BC marcadas
marcadas
C

BE
BE
6.
6. Montar
Montar aa tabela
tabela final,
final, listando
listando osos
D
D
estados
estados que
que definem
definem aa linha linha
E
horizontal
horizontal na
na Tab.
Tab. Implicao
Implicao
E AB
AB
(examin-la
(examin-la coluna
coluna aa coluna coluna
A
A B
B C
C D
D procurando
procurando clulas
clulas no
no cruzadas
cruzadas
Estados
Estados EQUIVALENTES).
EQUIVALENTES).
 Eliminao
Eliminao est.
est. redundantes
redundantes

Eliminao de Estados redundantes

3. Pela Tabela de Implicao
EXERCCIOS Simplificar as tab. de estados abaixo
3.1
3.1 3.2
3.2
Estado Est. Futuro / Sada Estado Est. Futuro / Sada
Presente X = 0 X=1 Presente 00 01 00 01
A E/0 D/0 A D/0 D/0 F/0 A/0
B A/1 F/0 B C/1 D/0 E/1 F/0
C C/0 A/1 C C/1 D/0 E/1 A/0
D B/0 A/0 D D/0 B/0 A/0 F/0
E D/1 C/0 E C/1 F/0 E/1 A/0
F C/0 D/1 F D/0 D/0 A/0 F/0
G H/1 G/1 G G/0 G/0 A/0 A/0
H C /1 B/1 H B/1 D/0 E/1 A/0