11/23/10

Circuitos sequenciais sncronos

Mrio Serafim Nunes Guilherme Silva Arroz

Sistemas Digitais - Taguspark

Consideraes gerais Modelos de Mealy e de Moore Projecto de circuitos sequenciais sncronos

Usando lgica discreta Usando ROMs

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

11/23/10

Sistemas Digitais - Taguspark

Um contador ou um registo como os que foram estudados so circuitos sequenciais sncronos. O estado do circuito garantido por uma configurao de estados de flip-flops e essa configurao pode ser alterada, tendo em conta o estado presente e as entradas, no momento em que surge o flanco activo do impulso de relgio a sincronizao. De um ponto de vista formal, um circuito sequencial sncrono a implementao fsica de uma mquina de estados.
Mrio Serafim Nunes Guilherme Silva Arroz
2010/2011 3

Sistemas Digitais - Taguspark

Uma mquina de estados definida pelos seguintes seis componentes: As possveis combinaes de entradas que controlam a mquina de estados. As possveis combinaes de sadas que so geradas pela mquina de estados. O conjunto de estados da mquina.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

11/23/10

Sistemas Digitais - Taguspark

A funo de transio de estados, que determina de que modo a mquina evolui entre estados, de acordo com o estado presente e a combinao presente nas entradas. A funo de sada, que determina qual a sada gerada pela mquina para um dado estado e uma dada combinao de entradas. O estado inicial no qual a mquina de estados deve iniciar o seu funcionamento.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

Sistemas Digitais - Taguspark

Considere-se a mquina de estados correspondente a um contador binrio de 3 bits bidireccional com indicao de ter chegado ao fim da contagem. A mquina tem apenas uma entrada Dir que define se o contador conta ascendentemente (Dir = 0) ou descendentemente (Dir = 1). Do mesmo modo a mquina tem uma sada que indica, no caso Dir = 0 se a contagem 7 e, se Dir = 1 se a contagem 0.
Mrio Serafim Nunes Guilherme Silva Arroz
2010/2011 6

11/23/10

Sistemas Digitais - Taguspark

A mquina tem oito estados: 0, 1, 2, 3, 4, 5, 6 e 7. A funo transio de estados a seguinte:

Definida por uma tabela de estados Definida por um diagrama de estados

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

Sistemas Digitais - Taguspark

A funo de sada correspondente contagem terminal descrita pela seguinte tabela: Mas existem ainda as sadas correspondentes contagem que so trs bits com a configurao binria do estado. O estado inicial o estado 0
Mrio Serafim Nunes Guilherme Silva Arroz
2010/2011 8

11/23/10

Sistemas Digitais - Taguspark

O circuito que implementa a mquina de estados dado pelo seguinte diagrama de blocos:
Funo transio de estado e funo de sada

Estado

Flip-flops

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

Sistemas Digitais - Taguspark

H dois modelos para uma mquina de estados e para o circuito digital correspondente que, diferindo apenas nas funes de sada, acabam por criar sistemas com comportamentos significativamente diferentes.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

10

11/23/10

Sistemas Digitais - Taguspark

No modelo de Mealy a funo de sada tal que as sadas dependem do estado actual da mquina, bem como das suas entradas. Isso permite que uma mquina de estados reaja imediatamente a uma mudana nas entradas. No caso do contador bidireccional citado, a sada de contagem terminal depende do estado em que a mquina est e tambm da entrada. Se a contagem for 7 e a varivel Dir = 0, a sada est activada. Se, com o mesmo estado, Dir se alterar e passar a 1, a sada, passa a 0.
Mrio Serafim Nunes Guilherme Silva Arroz
2010/2011 11

Sistemas Digitais - Taguspark

No modelo de Moore a funo de sada tal que as sadas dependem apenas do estado actual da mquina, sem ter em conta as suas entradas. Isso inibe que uma mquina de estados reaja imediatamente a uma mudana nas entradas. No caso do contador bidireccional citado, as sadas correspondentes contagem so deste tipo. A contagem no se altera com o valor de Dir.
Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

12

11/23/10

Sistemas Digitais - Taguspark

A representao da arquitectura do circuito nos dois modelos como segue:

Modelo de Mealy

Modelo de Moore

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

13

Sistemas Digitais - Taguspark

Que

raio andam vocs a fazer e o que pensam que a engenharia?

Mrio Serafim Nunes Guilherme Silva Arroz
2010/2011 14

11/23/10

Sistemas Digitais - Taguspark

O projecto de um circuito sequencial sncrono passa pelas seguintes fases:

Especificao formal, usando mquinas de estados atravs de, tabelas ou diagramas de estados ou fluxogramas. Simplificao da especificao (se necessrio). Codificao dos estados. Definio da arquitectura do circuito. Determinao das funes lgicas de sada e do estado seguinte.
Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

15

Sistemas Digitais - Taguspark

Vai-se exemplificar o projecto com a concepo do contador bidireccional referido. A concepo bastante simples porque j dispomos da tabela de estados. Ver-se- mais adiante, como se concebe um circuito em que a descrio comportamental no produz directamente uma tabela de estados.
Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

16

11/23/10

Sistemas Digitais - Taguspark

Especificao formal usando, neste caso, tabelas. J conhecemos as tabelas de estado e de sadas.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

17

Sistemas Digitais - Taguspark

Codificao de estados O circuito vai ser suportado em trs flip-flops porque h oito estados. Como se pretende um contador binrio, o mais adequado codificar cada estado pela sua representao em binrio.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

18

11/23/10

Sistemas Digitais - Taguspark

Definio da arquitectura do circuito. Escolhamos flip-flops JK edge-triggered e a seguinte arquitectura.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

19

Sistemas Digitais - Taguspark

Lgica de transio de estados. Comecemos por traduzir a tabela de estados do circuito para uma tabela de configuraes dos flip-flops.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

20

10

11/23/10

Sistemas Digitais - Taguspark

A forma de conseguir que um flip-flop assuma um determinado valor, colocar nas suas entradas (neste caso J e K) os valores adequados. Para isso necessrio definir quais so esses valores e fazer a tabela de excitao. Por exemplo, se um flip-flop est a 0 e deve continuar a 0, h duas hipteses de valores para J e K: J = K = 0, o que indica manter o estado ou J = 0 e K = 1, o que indica ir para 0. Portanto basta que J = 0. K indiferente.
Mrio Serafim Nunes Guilherme Silva Arroz
2010/2011 21

Sistemas Digitais - Taguspark

Tabela de excitao do flip-flop JK.

Repare-se na quantidade aprecivel de indiferenas que vai possibilitar a simplificao das funes.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

22

11

11/23/10

Sistemas Digitais - Taguspark

Pode-se agora passar a tabela do estado seguinte para as entradas presentes necessrias para garantir as transies pretendidas.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

23

Sistemas Digitais - Taguspark

E o resultado global :

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

24

12

11/23/10

Sistemas Digitais - Taguspark

As variveis Ji e Ki so agora funes combinatrias de Q2, Q1, Q0 e Dir cujas expresses se podem obter pelos mapas de Karnaugh. No caso do flip-flop 0, fcil obter directamente da tabela J0 = K0 = 1.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

25

Sistemas Digitais - Taguspark

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

26

13

11/23/10

Sistemas Digitais - Taguspark

Lgica de sada.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

27

Sistemas Digitais - Taguspark

E o circuito , portanto, o seguinte:

Para no se complicar mais no se desenha o circuito da sada.

Mrio Serafim Nunes Guilherme Silva Arroz
2010/2011 28

14

11/23/10

Sistemas Digitais - Taguspark

Uma alternativa seria construir o circuito com flip-flops D. S h que ter em considerao que a tabela de excitao dos flip-flops D : Obter-se-iam menos funes (metade) mas sem indiferenas o que iria conduzir a expresses (e circuitos) de maior complexidade.
Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

29

Sistemas Digitais - Taguspark

Um mtodo alternativo de implementar este circuito usar uma ROM para implementar as funes combinatrias. Com este tipo de abordagem prefervel usar flip-flops D. O circuito pode ser representado em diagrama de blocos como se ilustra no prximo slide.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

30

15

11/23/10

Sistemas Digitais - Taguspark

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

31

Sistemas Digitais - Taguspark

A tabela com o contedo da ROM resulta da reorganizao das tabelas de estados e de sadas.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

32

16

11/23/10

Sistemas Digitais - Taguspark

Livro recomendado, Captulo 7 (esta aula e as imediatamente seguintes vo abordar este captulo mas, por razes operacionais, no pela ordem exacta com que a matria l exposta) Existem muitos livros com captulos sobre o assunto. A Internet , como de costume, uma fonte que, explorada com esprito crtico, tem muito para dar.

Mrio Serafim Nunes Guilherme Silva Arroz

2010/2011

33

17