Componentiper l’elaborazionebinaria dell’informazione...

11
Componenti per l’elaborazione binaria dell’informazione Approfondimento del corso di reti logiche Porte logiche Si puó dare una definizione duplice delle porte logiche (gate): Visione indipendente dalla tecnologia Semplici funzioni dell’algebra di commutazione con le quali costruire reti logiche che realizzano funzioni piú complesse Visione dipendente dalla tecnologia Circuiti elementari di tipo digitale messi a disposizione da una data tecnologia

Transcript of Componentiper l’elaborazionebinaria dell’informazione...

Page 1: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Componenti per l’elaborazione binaria dell’informazione

Approfondimento del corso di reti logiche

Porte logiche

Si puó dare una definizione duplice delle porte logiche (gate):

Visione indipendente dalla tecnologia

Semplici funzioni dell’algebra di commutazione con le quali costruirereti logiche che realizzano funzioni piú complesse

Visione dipendente dalla tecnologia

Circuiti elementari di tipo digitale messi a disposizione da una datatecnologia

Page 2: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Porte logiche

Porte logichenumero di ingressi (fan-in) = 2

AND NOT OR

NOR NAND

EXOR EXNOR

out out out

out out

out

a a

b

a

b

a

b

outa

b

a

b

a

b

out=a’ out=ab out=a+b

out=(ab)’ out=(a+b)’

out=ab’+a’b out=ab+a’b’

M. Favalli (ENDIF) Gate Analisi e sintesi dei circuiti digitali 5 / 41

Porte logiche

Porte logichenumero di ingressi (fan-in) > 2

Le porte logiche possono essere estese al caso in cui siano presentipiú ingressi

c

cc

c

AND

NAND

out

out

a

a

OR

NOR

out

out

a

ab

b b

b

out=abc

out=(abc)’ out=(a+b+c)’

out=a+b +c

M. Favalli (ENDIF) Gate Analisi e sintesi dei circuiti digitali 6 / 41

Porte logiche

Aspetti tecnologici

Esistono diverse tecnologie microelettroniche che consentono direalizzare gate (TTL, ECL, MOS, CMOS ....)

Ciascuna tecnologia consente di realizzare in maniera efficientesolo un certo numero di tipi di gate (gli altri sono realizzabilimediante opportune reti di gate elementari)

Al livello tecnologico i gate non sono caratterizzati solo dallefunzioni che realizzano, ma anche da altri parametri (costo,ritardo, consumo di potenza)

Per capire questi aspetti analizzeremo una tecnologia in dettaglio

M. Favalli (ENDIF) Gate Analisi e sintesi dei circuiti digitali 7 / 41

Il livello switch

Sommario

2 Il livello switch

M. Favalli (ENDIF) Gate Analisi e sintesi dei circuiti digitali 8 / 41

Page 3: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Il livello switch

Livello switch

La tecnologia elettronica piú diffusa é attualmente quella CMOS

In tale tecnologia il componente elementare piú semplicedescrivibile al livello logico non é il gate, ma il transistoredescrivibile come un interruttore (switch)

Questo ci consente di vedere il modo in cui una porta logica écostruita

M. Favalli (ENDIF) Gate Analisi e sintesi dei circuiti digitali 9 / 41

Il livello switch

Livello switch

Supponiamo che un segnale binario (x) possa controllare lo stato(ON, OFF) dell’interruttore

Nella tecnologia CMOS sono presenti due tipi di transistori

tipo n tipo px stato x stato0 OFF 0 ON1 ON 1 OFF

x x

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 10 /

41

Il livello switch

Descrizione di reti di switch mediante l’algebra dicommutazione

I sistemi fisici costituiti da switch interconnessi sono descrivibiliutilizzando l’algebra di commutazione

Bisogna codificare gli stati OFF e ON con un valore binario

logica positiva logica negativa0 OFF 0 ON1 ON 1 OFF

Per descrizione della rete, si intende un espressione che assumeil valore 1 se la rete é ON (logica positiva)

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 11 /

41

Il livello switch

Connessioni serie e parallelo

Connessione serie:

y

wsx s

x y

sx sy serieOFF OFF OFFOFF ON OFFON OFF OFFON ON ON

Connessione parallelo:

x

y

w

sx

sy

sx sy paralleloOFF OFF OFFOFF ON ONON OFF ONON ON ON

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 12 /

41

Page 4: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Il livello switch

Rappresentazione logica

Logica positiva

sx sy serie0 0 00 1 01 0 01 1 1

AND

sx sy parallelo0 0 00 1 11 0 11 1 1

OR

Logica negativa

sx sy serie1 1 11 0 10 1 10 0 0

OR

sx sy parallelo1 1 11 0 00 1 00 0 0

AND

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 13 /

41

Il livello switch

Principio di dualitá

Utilizzando lo stesso tipo di logica, le reti serie e parallelorealizzano funzioni duali (AND, OR)

Cambiando tipo di logica, la stessa rete viene descritta da unafunzione duale

Il principio di dualitá riguarda il modello logico dei sistemi fisiciPunto di vista del calcolo delle proposizioni

La serie é ON se entrambi gli switch sono ON.Il parallelo é ON se uno o l’altro degli switch é ON.La serie é OFF se uno degli switch é OFF.Il parallelo é OFF se entrambi gli switch sono OFF.

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 14 /

41

Il livello switch

Reti di switch

Reti di switch in serie e in parallelo possono essere composte inreti piú complesseTali reti possono essere analizzate sostituendo iterattivamente:

1 a ciascuna serie di due o piú switch un singolo switch controllatodal prodotto logico degli ingressi degli switch sostituiti

2 a ciascun parallelo di due o piú switch un singolo switch controllatodalla somma logica degli ingressi degli switch sostituiti

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 15 /

41

Il livello switch

Reti di switch (esempio di analisi)

x

y w

n

n

x+yw

y w

x

n

Si puó quindi affermare che la rete n é ON se é vera x + yw

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 16 /

41

Page 5: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Il livello switch

Esercizi di analisi

Si analizzino queste reti di switch nell’ipotesi di utilizzare una logicapositiva

b

c

a

d

a

b c

d

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 17 /

41

Il livello switch

Problema

Le reti di switch sono piuttosto interessanti, ma c’é un problema dicarattere elettrico.

Gli switch non sono ideali ma hanno una resistenza serie per cuil’informazione si degrada attraversando serie di con troppi switch

Come realizzare espressioni complesse?

Si fará riferimento alla logica positiva

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 18 /

41

Il livello switch

Gate (tecnologia CMOS)

La soluzione consiste nel fare in modo che una rete di switchpossa controllare gli switch di un altra rete (con un guadagno ingrado di "rinforzare" i segnali )

Vediamo come esempio il caso della tecnologia CMOS

Procuriamoci le costanti 1 (vdd) e 0 (gnd) e utilizziamo switch ditipo p e n per realizzare due reti con stati complentari

x

x

x

1

0

1

0

x pull-down (n) pull-up (p)0 OFF ON1 ON OFF

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 19 /

41

Il livello switch

NAND

Nella tecnologia CMOS non si puó realizzare direttamente un gateANDLa realizzazione di un NAND é simile a quella di un NOT: sicostruiscono due reti complementari

pull-up: che pilota un 1 uno degli ingressi vale 0pull-down: che pilota uno 0 quando entrambi gli ingressi valgono 1

1

x

0

y

x y

x y

x

0

y

out

xy pull-down (n) pull-up (p)00 OFF ON01 OFF ON10 OFF ON11 ON OFF

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 20 /

41

Page 6: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Il livello switch

Esercizi

Si realizzino porte logiche CMOS per le seguenti funzioni logiche:

out = (x + y)′

out = (x · (w + y))′

out = a + b

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 21 /

41

Aspetti tecnologici

Sommario

3 Aspetti tecnologici

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 22 /

41

Aspetti tecnologici

Circuiti integrati

Alcune informazioni sulle porte logiche che possono esserededotte considerando la loro struttura al livello switchUna ulteriore informazione riguarda la tecnologia:

i circuiti sono realizzati integrando numerose porte logiche (> 106)in un circuito integrato realizzato con materiali semiconduttori (es.silicio)la tecnologia é planare: i dispositivi (switch, gate) non possonoessere sovrapposti (le interconnessioni invece possono occuparediversi livelli)il costo é proporzionale all’area utilizzata che dipende dal numerodi dispositivi e dalle interconnessioni

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 23 /

41

Aspetti tecnologici

Costo

Nella tecnologia CMOS un gate corrisponde fisicamente a un arearettangolare le cui dimensioni sono proporzionali al numero ditransistori e quindi di ingressi

In una rete complessa, un primo contributo al costo é dato da untermine proporzionale alla somma dei gate pesata sui loro ingressi

Si vedrá in seguito il contributo delle interconnessioni

Esempio di NAND a 3 ingressi

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 24 /

41

Page 7: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Aspetti tecnologici

Ritardo

I cambiamenti di valore degli ingressi non si riflettonoistantaneamente sull’uscita

Si ha un ritardo che é proporzionale al numero di transistori inserie che pilotano il nuovo valore

a

b

out

101010

propagation delay

NAND

outa

b

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 25 /

41

Reti logiche combinatorie

Sommario

4 Reti logiche combinatorie

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 26 /

41

Reti logiche combinatorie

Reti logiche combinatorie

Una rete logica consiste di un insieme di porte logicheinterconnesse secondo opportune regole in modo da unarelizzare una funzione f : {0, 1}n → {0, 1}m

Siano i1, i2, ...., in gli ingressi di tale rete e o1, o2, ...., om, le sueuscite

Regole

gli ingressi di un gate possono essere dati da ingressi della rete, dauna costante o da uscite di altri gatel’uscita di un gate puó essere connessa agli ingressi di un altro gateo puó pilotare un uscitale uscite di due gate non devono mai essere connesse insiemenon devono esistere cammini ciclici nella rete

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 27 /

41

Reti logiche combinatorie

Esempio

fan−out

i1

i2

i3i4

i5i6

i7

o1

o2

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 28 /

41

Page 8: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Reti logiche combinatorie

Analisi e sintesi di reti combinatorie

Per analisi di una rete combinatoria si intende il processo con ilquale partendo dalla rete si ottiene la funzione corrispondente

Per sintesi di una rete combinatoria si intende il processo con ilquale partendo da una funzione e da eventuali obbiettivi diprogetto (costo, ritardo) si ottiene una rete

In entrambi i casi, le espressioni dell’algebra di commutazionesono il modello matematico che consente di gestire letrasformazioni che si hanno nei due processi

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 29 /

41

Reti logiche combinatorie Analisi

Algoritmo di analisi

Rete logica ⇒ Espressione ⇒ Funzionealgoritmo valutazione

1 Si assegna un nome a ciascun ingresso2 Si procede in maniera iterattiva dagli ingressi del circuito

esprimendo l’uscita di ciascun gate come un espressione degliingressi della rete

a ciascun passo vengono considerati tutti i gate i cui ingressi sonogiá stati calcolati

3 Si procede fino a quando non si ha l’espressione di tutte le uscitedella rete

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 30 /

41

Reti logiche combinatorie Analisi

Esempio di analisi

passo 3

a

b

c

d

e

cd

cd+e

b+c

x=a(b+c)(cd+e)

passo 1

passo 2

M. Favalli (ENDIF) Gate31 /

41

Reti logiche combinatorie Sintesi

Algoritmo di sintesi - I

Funzione ⇒ Espressione ⇒ Rete logica? algoritmo

1 Si inseriscono nell’espressione tutte le parentesi compreso quellerese non necessarie dalle regole dell’algebra di commutazione(senza considerare le complementazioni)

2 Si analizza l’espressione determinando il livello di ciascunoperatore binario

1 si inizializza un indice di livello a 1 o a 0 (se tutta l’espressione éracchiusa fra parentesi)

2 si incrementa di 1 tale indice tutte le volte che si incontra unaparentesi aperta e lo si decrementa di 1 tutte le volte che si incontrauna parentesi chiusa

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 32 /

41

Page 9: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Reti logiche combinatorie Sintesi

Algoritmo di sintesi - II

3 Si disegnano i segnali di ingresso corrispondenti alle diversevariabili dell’espressione

4 Partendo dal valore piú alto dell’indice di livello, si disegnano isimboli dei gate corrispondenti agli operatori connettendo gliopportuni segnali di ingresso a tale gate

5 Nel caso una variabile di ingresso o una parentesi risultinocomplementate si aggiunge un invertitore

M. Favalli (ENDIF) Gate33 /

41

Reti logiche combinatorie Sintesi

Esempi di sintesi

x = ab + c(d + e + ac)′

= (a · b) + (c · (d + e + (a · c))′)

=1 (a·2b)+1(c·2(d+3e+3(a·4c))′)

a

b

c

d e

x

livello 4

livello 3 livello 2

livello 2

livello 1

x = ab + c(d ′ + e)(f + g)

= (a · b) + (c · (d ′ + e) · (f + g))

=1 (a·2b)+1(c·2(d ′+3e)·2(f+3g))

a

b

c

d

e

e

f

x

M. Favalli (ENDIF) Gate34 /

41

Reti logiche combinatorie Sintesi

Il ruolo del fan-out

É possibile che una porta logica ne piloti piú di una (fan-out > 1)

Questo consente di ridurre il numero di porte logiche e diconseguenza il costo di una rete

L’unico problema é un aumento del ritardo della rete

Dal punto di vista degli algoritmi di analisi non cambia nulla

Dal punto di vista della sintesi, invece, si hanno dei cambiamenti

In particolare, prima del passo 3, si inseriesce un ulteriore passodi ricerca di sottoespressioni comuni (si noti che l’indice di livellopuó essere diverso)

Per il momento, questa operazione verrá svolta su basi intuitive

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 35 /

41

Reti logiche combinatorie Sintesi

Sintesi in presenza di fan-out

x = (a + bc)d + ((a + bc)e + f )

= ((a + (bc))d) + (((a + (bc))e) + f )

= ((a +3 (b ·4 c)) ·2 d) +1 (((a +4 (b ·5 c)) ·3 e) +2 f )

Nel disegnare la rete conviene considerare la sottoespressione con ilivelli maggiori

x

a

b c

d

e

f

liv. 4/5

liv. 3/4 liv. 3 liv. 2

liv. 2

liv. 1

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 36 /

41

Page 10: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Reti logiche combinatorie Sintesi

Livelli

Metodo per il calcolo dei livelliUna rete puó essere attraversata dagli ingressi verso le uscite oviceversa (metodo precedente) assegnando a ciascun gate un indicedi livello

Entrambi i tipi di indice sono utili in diverse operazioni eseguibili sullereti.

Nel caso di attraversamento dagli ingressi (livello 0) verso le uscite, illivello di ciascun gate é definito univocamente

Nel caso di attraversamento dalle uscite (livello 0) verso gli ingressi illivello non é definito univocamente

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 37 /

41

Reti logiche combinatorie Sintesi

Livelli: dagli ingressi verso le uscite

i1

i2

i3 i4

i5 i6

i7

o1

o2

0

0

0

0

0

0

0

1

1

1

2

21

3

M. Favalli (ENDIF) GateAnalisi e sintesi dei circuiti digitali 38 /

41

Reti logiche combinatorie Sintesi

Livelli: dalle uscite verso gli ingressi

i

i1

i2

3 i4

i5 i6

i7

o1

o2 1

3/2

2

0

3

1

2

1 0

Reti logiche combinatorie Sintesi

Esercizi

pi= program inputpo= program output
Page 11: Componentiper l’elaborazionebinaria dell’informazione ...serva.altervista.org/files/upd/Analisi_e_Sintesi_CD/05_rl_combinatorie.pdf · realizzare gate (TTL, ECL, MOS, CMOS ....)

Conclusioni

Si é visto come si possa passare da un espressione a una rete oda una rete a un espressione a una funzione (tramite lavalutazione)

Non sappiamo ancora come passare da una funzione a unespressione

Questo passo é quello piú rilevante dal punto di vista della sintesi