ch0-1 1998 morgan kaufmann publishers mario côrtes - mo401 - ic/unicamp- 2002s1 introdução...

25
Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para Arquitetura de Computadores

Upload: internet

Post on 16-Apr-2015

111 views

Category:

Documents


4 download

TRANSCRIPT

Page 1: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-11998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Introdução

Revisão de Conceitos de Circuitos Lógicos e Estruturas para Arquitetura de Computadores

Page 2: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-21998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Tópicos

• Circuitos combinacionais:

– multiplexadores

– somadores / subtratores

– decodificadores

– barramentos 3-state e conexão ponto-a-ponto

• Circuitos sequenciais

– latches & FlipFlops

– registradores

– contadores

– máquina de estados

Page 3: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-31998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

1

1 1

1

1

Circuitos Combinacionais

Input Output

ai bi ci ci+1 si

0 0 0 0 0

0 0 1 0 1

0 1 0 0 1

0 1 1 1 0

1 0 0 0 1

1 0 1 1 0

1 1 0 1 0

1 1 1 1 1

Tabela Verdade Mapa de Karnaugh

Saída y em função das 24 combinações

de entrada

Page 4: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-41998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Multiplexadores

S0 S1 Y

0 0 X0

0 1 X1

1 0 X2

1 1 X3

12

1312

345

6

91011

8

34

12

1312

12

1

23

x0

x1

x2

x3

S0 S1

Y

Aplicações

•roteamento de sinais

•transferência de dados

•seleção de alternativas

•(barramento)

Y

x0

x1

x2

x3

S0S1

0123

Page 5: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-51998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Somadores / ULAs

a0

s0

b0

+

a1

s1

b1

+

a2

s2

b2

+

a3

s3

b3

+c0

c1c2c3

c4

projeto convencional

a3b3 a2b2 ... a0b0 c4 s3 s2 s1s0

256 linhas

8 entradas 5 saídas

abordagem bit-slice

Input Output

ai bi ci ci+1 si

0 0 0 0 0

0 0 1 0 1

0 1 0 0 1

0 1 1 1 0

1 0 0 0 1

1 0 1 1 0

1 1 0 1 0

1 1 1 1 1

Implementar por mapa de Karnaugh ou

• Ci+1 = 1 se 2 ou mais 1´s aibi + aici + bici

• Si = 1 se Nº ímpar de 1´s ai bi ci

Page 6: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-61998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Somadores

ai cibi

ci+1

si

ai

ci

bi

Page 7: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-71998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Exercício ALU de 4 bits

Sel Função de Y

00 Y = A + B; Cout = vai-um

01 Y = A AND B

10 Y = A OR B

11 Y = complemento (A)

ALUSel

BiAi

YCout

4 4

4

Page 8: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-81998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

56

98

Decodificadores

a x0

x1

x2

x3

b

ab X0 X1 X2 X3

00 1 0 0 0

01 0 1 0 0

10 0 0 1 0

11 0 0 0 1

x0

x1

x2

x3

a b

Exemplo de utilização:

OP Code Reg

Page 9: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-91998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Barramentos: comunic. entre elementos

a) ponto a pontoA

B

C

D

Vantagens:

• comunicação direta entre elementos

• paralelismo

Desvantagens:

• implementação

• complexidade

• custo

• escalabilidade

• expansibilidade

Page 10: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-101998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Barramentos: comunic. entre elementos (2)

Vantagens:

• implementação

• simplicidade

• custo (HW & projeto)

• escalabilidade

• expansibilidade

• isolamento (desacoplamento)

• VLSI (regularidade)

Desvantagens:

• falta de paralelismo

b) barramento simplesA B C D

c) variante: barramento duplo

A B C D

duas transações simultâneas por ciclo

Page 11: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-111998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Implementação de barramentos

• Comunicação unidade x barramento:

– leitura (bar unidade)

– escrita (unidade bar)

• Seleção de qual unidade escreve no barramento

– Função multiplexador

• Alternativas de implementação de escrita:

– AND-OR (convencional)

– Wired AND ou OR

– 3-State

• Mais popular: 3-State

EN

A YSe EN = 1 Y = A

Se EN = 0 Y = Z (Z = alta impedância desligado)

Page 12: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-121998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Implementação de barramentos (2)

Leitura

Mais modularA

Bar2A

BBar2B

Escrita

MUX convencional (não modular)

EN1EN1 EN2 EN3 EN4

Apenas um EN ativo por vez

Page 13: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-131998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Implementação de barramento modular (3)

B2BarA2Bar

A

Bar2A

B

Bar2B

• Leitura e escrita modulares• Expansibilidade e desacoplamento• Regularidade

• essencial para VLSI, geometria e disposição físicas são importantes

Page 14: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-141998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Circuitos seqüênciais

• Latches & FlipFlops

• registradores

• contadores

• máquina de estados

Page 15: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-151998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Elementos de armazenamento: Latch

Latch S-R~S

~R

Latch Tipo D

~Q

Q

Q

D

LDQ

LD

DQ

LD

D

0

1

Page 16: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-161998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Elementos de armazenamento: Flip-Flop

Flip-Flop D

Flip-Flop JK

D

Ck

Q

~Q

JCk

Q

~QK

se CK então D Q(sensível à borda)

se CK então J K Qn+1

0 0 Qn

0 1 0

1 0 1

1 1 ~Qn

Page 17: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-171998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Latch (transparente) versus Flip-Flop (borda)

Latch D

LD

QLatch

Flip-Flop D

CK

QFF

transparente transparente

Page 18: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-181998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Registradores: conjunto de latches ou FFs

Registrador de carga paralelaLD

CK

carga de registrador: Latch (LD) OK FF ?

D

Ck

Q

~Q

D

LD

Errado !

Q

LD

DD

Ck

Q

~Q

CERTO (74LS377)

Page 19: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-191998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Registrador de deslocamento

D Q D Q D Q D QSDI SDO

CK

Latch ou Flip-Flop?

Aplicações:• ULAs têm registradores de deslocamento (esquerda, direita, anel)• Conversão série paralelo

Page 20: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-201998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Contadores: exemplo toggle counter

T Q

Qi

EN

CK

CK

D EN

Q0

Q

D EN

Q1

Q

D EN

Q2

Q

D EN

Q3

Q

EN

Aplicações:• temporizadores• Program Counter (PC)• Increm. / Decrem.

• ULA

Page 21: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-211998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Exercício registrador

Projetar um registrador de deslocamento • esquerda / direita com carga paralela• especificar os sinais de controle

Page 22: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-221998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Máquina de Estados

Circuito Sequencial Síncrono Genérico

CCFF

CCSi

Si+1

X

YCC FF

SiSi+1

XY

Máquina de Moore Máquina de Mealy

Saída Y muda apenas na transição do clock

Saída Y pode mudar emqualquer instante, em função da entrada X

Page 23: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-231998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Estado Entradas Saídas

Atual Próximo

S0

S2

S1

Síntese de uma máquina de estados

S0

S1

S2

S3

Diagrama de Transição de Estados

Mooreentr

Mealyentr / saída

Tabela de Transição de Estados

Page 24: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-241998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Estado Entradas Saídas

Atual Próximo

00

01

10

Síntese de uma máquina de estados

Codificação dos estados• S0 = 00 etc

Equações booleanas dos circuitos combinacionais• Si+1 = fS (Si, X) • Y = fY (Si, X) (em maq. de Moore, só S)

• Sintetizar os CCs• Elementos de memória podem ser FF-D ou FF-JK

Page 25: Ch0-1 1998 Morgan Kaufmann Publishers Mario Côrtes - MO401 - IC/Unicamp- 2002s1 Introdução Revisão de Conceitos de Circuitos Lógicos e Estruturas para

Ch0-251998 Morgan Kaufmann PublishersMario Côrtes - MO401 - IC/Unicamp- 2002s1

Aplicações de máquina de Estados

ler instrução

ADDADD SUB JUMP

decodificar instrução

Controle de seqüência de ações:

• Unidade de controle de CPUs• Seqüência de ações fluxograma• Mapeamento direto:

• fluxograma maq de estados