2304 04a AnaliseCircuitosSequenciais 2013 V1

PCS 2304
Sistemas Digitais II

Módulo 04a – Análise de Circuitos
Seqüenciais
Andrade, Marco Túlio Carvalho de
Professor Responsável

versão: 1.1 (março de 2014)

© Andrade, Midorikawa, Saraiva, Simplício e Spina 2.012 <Análise Circ. Sequenc.> PCS 2304 Sistemas Digitais II

1

Conteúdo
•

Análise de Circuitos Sequenciais
1. Modelo Geral de Um Circuito Seqüencial
2. Análise de Circuitos Seqüenciais: Premissas
Adotadas
3. Modelo de Mealy/Moore
3.1. Modelo de Mealy
3.2. Modelo de Moore
3.3. Passos do Processo de Análise

4. Exemplo: Modelo de Mealy
5. Exemplo: Modelo de Moore
Bibliografia

© Andrade, Midorikawa, Saraiva, Simplício e Spina 2.012 <Análise Circ. Sequenc.> PCS 2304 Sistemas Digitais II

2

1. Modelo Geral de Um Circuito Seqüencial

X

Z j i

X

CIRCUITO y r

COMBINATÓRIO

Y k MEMÓRIA

Z y Y

CLOCK

i j r k : entradas
: saídas
: estados atuais
: condicões que impoem estados futuros

Eranzini / 1996

FIGURA 8.1 - MODELO GERAL DE CIRCUITO SÍNCRONO
© Andrade, Midorikawa, Saraiva, Simplício e Spina 2.012 <Análise Circ. Sequenc.> PCS 2304 Sistemas Digitais II

3

2. Análise de Circuitos Seqüenciais:
Premissas Adotadas
–

Premissas adotadas:
– A memória é constituída por flip-flop’s sensíveis à borda.
– As entradas podem mudar simultaneamente, mas ficam estáveis durante a borda de atuação do clock.
– A freqüência do clock é tal que os sinais internos já estão estabilizados na borda de interesse. © Andrade, Midorikawa, Saraiva, Simplício e Spina 2.012 <Análise Circ. Sequenc.> PCS 2304 Sistemas Digitais II

4

3. Modelo de Mealy/Moore
–

Existem dois modelos para circuitos seqüenciais síncronos:
– Modelo de Mealy: as saídas dependem do estado corrente yr e das entradas xi zi(t) = fi(x1(t), ... , xn(t), y1(t), ... , ym(t)) – Modelo de Moore: as saídas dependem apenas do estado corrente yr. zi(t) = fi(y1(t), ..., ym(t))

© Andrade, Midorikawa, Saraiva, Simplício e Spina 2.012 <Análise Circ. Sequenc.> PCS 2304 Sistemas Digitais II

5

3.1. Modelo de Mealy
X