lss 2019-20: reti logiche: circuiti combinatorivignatim/didattica/labsisseg19/... · formecanoniche...

43
LSS 2019-20: Reti Logiche: circuiti combinatori Piero Vicini A.A. 2019-2020

Upload: others

Post on 25-Feb-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

LSS 2019-20:Reti Logiche: circuiti combinatori

Piero Vicini

A.A. 2019-2020

Page 2: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Introduzione

Argomenti:Codici e aritmeticaOperatori dell’algebra booleanaMinimizzazione e sintesi di funzioniEsempi di implementazione hardware di circuiti combinatori

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 1 / 32

Page 3: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Algebra e circuiti elettronici

Computers operano con segnali elettrici con valori discreti dipotenzialeSignificativi soltanto 2 valori (intervalli) di potenziale elettrico(high/low, true/false, 1/0)Gli elementi elettronici binari sono semplici per definizione(interruttori...)Algebra di Boole permette di modellare il funzionamento deicircuiti elettronici binari.

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 2 / 32

Page 4: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Circuiti combinatori e sequenziali

Un blocco logico e’ un circuito elettronico con linee in input eoutput a cui sono associate variabili binarie.Il circuito calcola funzioni logiche come combinazioni di operazionialgebriche booleane sulle variabili in input.Due classi: circuiti combinatori e circuiti sequenziali

L’uscita di un circuito combinatorio e’determinata completamente dal valoreistantaneo della combinazione degli ingressi

Un circuito sequenziale e’ un sistemacomposto da circuiti combinatori e elementidi memoria in cui le uscite sono unafunzione del valore degli ingressi e dellostato passato del circuito.

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 3 / 32

Page 5: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Circuiti combinatori e sequenziali

Un blocco logico e’ un circuito elettronico con linee in input eoutput a cui sono associate variabili binarie.Il circuito calcola funzioni logiche come combinazioni di operazionialgebriche booleane sulle variabili in input.Due classi: circuiti combinatori e circuiti sequenziali

L’uscita di un circuito combinatorio e’determinata completamente dal valoreistantaneo della combinazione degli ingressi

Un circuito sequenziale e’ un sistemacomposto da circuiti combinatori e elementidi memoria in cui le uscite sono unafunzione del valore degli ingressi e dellostato passato del circuito.

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 3 / 32

Page 6: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Circuiti combinatori e sequenziali

Un blocco logico e’ un circuito elettronico con linee in input eoutput a cui sono associate variabili binarie.Il circuito calcola funzioni logiche come combinazioni di operazionialgebriche booleane sulle variabili in input.Due classi: circuiti combinatori e circuiti sequenziali

L’uscita di un circuito combinatorio e’determinata completamente dal valoreistantaneo della combinazione degli ingressi

Un circuito sequenziale e’ un sistemacomposto da circuiti combinatori e elementidi memoria in cui le uscite sono unafunzione del valore degli ingressi e dellostato passato del circuito.

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 3 / 32

Page 7: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Tavola della verita’

La funzione logica di un circuito combinatorio e’ completamentedescritta e specificata da una tavola della verita’

Dati n bits di ingresso, ilnumero delle configurazionipossibili degli ingressi e’ 2n

La tavola possiede quindi 2n

righe con valore delle usciteper quella particolarecombinazione degli ingressi.

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 4 / 32

Page 8: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Numeri in notazione binaria

La rappresentazione decimale di numeri interi positivi e’ unarappresentazione posizionale in base 10

(288)10 = 2 ∗ 102 + 8 ∗ 101 + 8 ∗ 100

il cui intervallo va da 0 a 10N − 1, con N uguale all’estensionedella rappresentazione

In perfetta equivalenza anche la rappresentazione binaria e’posizionale ma in base 2. Dato un numero a n bits:

(x)2 = xn−12n−1 + xn−22n−2 + ...+ x121 + x020

dove l’intervallo e’ 0 : 2n − 1A 32 bits l’intervallo va da 0 a +4.294.967.295

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 5 / 32

Page 9: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Numeri in notazione binaria

La rappresentazione decimale di numeri interi positivi e’ unarappresentazione posizionale in base 10

(288)10 = 2 ∗ 102 + 8 ∗ 101 + 8 ∗ 100

il cui intervallo va da 0 a 10N − 1, con N uguale all’estensionedella rappresentazione

In perfetta equivalenza anche la rappresentazione binaria e’posizionale ma in base 2. Dato un numero a n bits:

(x)2 = xn−12n−1 + xn−22n−2 + ...+ x121 + x020

dove l’intervallo e’ 0 : 2n − 1A 32 bits l’intervallo va da 0 a +4.294.967.295

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 5 / 32

Page 10: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Numeri in notazione binaria

Esempio:0000 0000 0000 0000 0000 0000 0000 10112= 0+ ...+ 1 ∗ 23 + 0 ∗ 22 + 1 ∗ 21 + 1 ∗ 20

= 0+ ...+ 8+ 0+ 2+ 1 = 1110

Lo stesso ragionamento vale anche per la rappresentazione dinumeri frazionari.In base 10:

(0.571)10 = ....+ 5 ∗ 10−1 + 7 ∗ 10−2 + 1 ∗ 10−3

In base 2:(0.00101)2 = ....+0∗2−1+0∗2−2+1∗2−3+0∗2−4+1∗2−5

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 6 / 32

Page 11: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Rappresentazione esadecimale

La rappresentazione esadecimale e’ un codice la cui base e’ 16E’ una rappresentazione compatta per stringhe di bit

Ogni gruppo di 4 bits viene rappresentato da una cifra HexEsempi:

C1A0 C1A0 = 1100 0001 1010 0000 1100 0001 1010 0000

???? ???? = 1111 1110 1101 1110 1100 1110 1100 1010

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 7 / 32

Page 12: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Rappresentazione esadecimale

La rappresentazione esadecimale e’ un codice la cui base e’ 16E’ una rappresentazione compatta per stringhe di bit

Ogni gruppo di 4 bits viene rappresentato da una cifra HexEsempi:

C1A0 C1A0 = 1100 0001 1010 0000 1100 0001 1010 0000

???? ???? = 1111 1110 1101 1110 1100 1110 1100 1010

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 7 / 32

Page 13: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Operazioni aritmetiche

Abbiamo imparato alle scuole elementari che addizione, sottrazione emoltiplicazione si eseguono cosi’

Addizione

1111111011011000000 +

10110110000000 =-----------------------100010001000000

Sottrazione (come in base 10 ma occhioai "prestiti")

1 1 11 0 0 0 - (8)0 1 0 1 = (5)

----------------------------0 0 1 1

Moltiplicazione

1 1 1 1 *1 1 1 1 =

--------------------1 1 1 1

1 1 1 11 1 1 1

1 1 1 1--------------------1 1 1 0 0 0 0 1

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 8 / 32

Page 14: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Operazioni aritmetiche

Abbiamo imparato alle scuole elementari che addizione, sottrazione emoltiplicazione si eseguono cosi’

Addizione

1111111011011000000 +

10110110000000 =-----------------------100010001000000

Sottrazione (come in base 10 ma occhioai "prestiti")

1 1 11 0 0 0 - (8)0 1 0 1 = (5)

----------------------------0 0 1 1

Moltiplicazione

1 1 1 1 *1 1 1 1 =

--------------------1 1 1 1

1 1 1 11 1 1 1

1 1 1 1--------------------1 1 1 0 0 0 0 1

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 8 / 32

Page 15: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Operazioni aritmetiche

Abbiamo imparato alle scuole elementari che addizione, sottrazione emoltiplicazione si eseguono cosi’

Addizione

1111111011011000000 +

10110110000000 =-----------------------100010001000000

Sottrazione (come in base 10 ma occhioai "prestiti")

1 1 11 0 0 0 - (8)0 1 0 1 = (5)

----------------------------0 0 1 1

Moltiplicazione

1 1 1 1 *1 1 1 1 =

--------------------1 1 1 1

1 1 1 11 1 1 1

1 1 1 1--------------------1 1 1 0 0 0 0 1

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 8 / 32

Page 16: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Algebra Booleana e porte logiche

La funzione logica di un circuito combinatorio e’ completamente descritta e specificatada una Equazione Logica

Le variabili (i segnali...) in input e output sono variabili logiche.la funzione e’ la combinazione dei 3 operatori fondamentali dell’algebra booleana

OR (A+ B) out = 1 se almeno un input = 1AND (A ∗ B) out = 1 se tutti gli input = 1NOT (A) out = inverso dell’input

Table: Operatore NOT

A Q

0 11 0

Table: Operatore OR

A B Q

0 0 00 1 11 0 11 1 1

Table: Operatore AND

A B Q

0 0 00 1 01 0 01 1 1

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 9 / 32

Page 17: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Proprieta’ dell’algebra booleana

Proprieta’ degli operatori:

Identita’: A+ 0 = A A ∗ 1 = ANullo: A+ 1 = 1 A ∗ 0 = 0Idempotente: A+ A = A A ∗ A = A

Inverso: A+ A = 1 A ∗ A = 0

Proprieta’ dell’algebra:

Commutativa: A+ B = B + A A ∗ B = B ∗ AAssociativa: A+ (B + C) = (A+ B) + C A ∗ (B ∗ C) = (A ∗ B) ∗ CDistributiva: A ∗ (B + C) = (A ∗ B) + (A ∗ C) A+ (B ∗ C) = (A+ B) ∗ (A+ C)

Leggi di De Morgan:

(A+ B) = A ∗ B (A ∗ B) = A+ B

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 10 / 32

Page 18: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Operatori NAND e NOR

NAND: e’ l’operatore NOT(AND)

A B Q

0 0 10 1 11 0 11 1 0

NOR: e’ l’operatore NOT(OR)

A B Q

0 0 10 1 01 0 01 1 0

Si puo’ dimostrare che il NAND(NOR) e’ un’operatore universale i.e e’ l’unico necessarioper implementare qualsiasi funzione logica

A = A+ 0 = A ∗ 1

A+ B = A+ B = A ∗ 1 ∗ B ∗ 1

A ∗ B = (A ∗ B) + 0 = (A ∗ B) + 0 = A ∗ B ∗ 1

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 11 / 32

Page 19: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Porte logiche e transistor

Tecnologia CMOS (Complementary Metal Oxide Semiconductor)viene usata per realizzare transistor planari su silicioI principali vantaggi rispetto ad implementazione BJT sono lamaggiore semplicita’ della tecnologia planare usata (che permettedensita’ maggiori) e la potenza statica dissipata quasi nulla.

Il comportamento e’ quello di un interruttore comandato dal gateControl

NMOS (N-Type Metal Oxide Semiconductor) transistor conduce se C = 1.Resistenza infinita se C = 0PMOS (P-Type Metal Oxide Semiconductor) transistor conduce se C = 0.Resistenza infinita se C = 1P. Vicini LSS: circuiti combinatori A.A. 2019-2020 12 / 32

Page 20: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Porte logiche e transistor

In tecnologia CMOS un PMOS e’ sempre accoppiato ad unNMOS.Si escludono quindi path statici tra VDD e GND –> potenzadissipata statica (quasi) nulla...Solo in presenza del cambiamento di stato del gate si apre uncanale VDD-GND –> potenza dissipata dinamica bassa

Es: Inverter

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 13 / 32

Page 21: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Porte logiche e transistor

In tecnologia CMOS un PMOS e’ sempre accoppiato ad unNMOS.Si escludono quindi path statici tra VDD e GND –> potenzadissipata statica (quasi) nulla...Solo in presenza del cambiamento di stato del gate si apre uncanale VDD-GND –> potenza dissipata dinamica bassa

Es: Inverter

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 13 / 32

Page 22: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Porte logiche e transistor

NAND NOR

Se in una particolare tecnologia il transistor PMOS e’ piu’ veloceMeglio avere PMOS in seriePorte NOR preferite per implementazione circuiti

Se invece una particolare il transistor NMOS e’ piu’ veloceMeglio avere NMOS in seriePorte NAND preferite per implementazione circuiti

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 14 / 32

Page 23: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Porte logiche e transistor

NAND NOR

Se in una particolare tecnologia il transistor PMOS e’ piu’ veloceMeglio avere PMOS in seriePorte NOR preferite per implementazione circuiti

Se invece una particolare il transistor NMOS e’ piu’ veloceMeglio avere NMOS in seriePorte NAND preferite per implementazione circuiti

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 14 / 32

Page 24: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Porte logiche e transistor

NAND NOR

Se in una particolare tecnologia il transistor PMOS e’ piu’ veloceMeglio avere PMOS in seriePorte NOR preferite per implementazione circuiti

Se invece una particolare il transistor NMOS e’ piu’ veloceMeglio avere NMOS in seriePorte NAND preferite per implementazione circuitiP. Vicini LSS: circuiti combinatori A.A. 2019-2020 14 / 32

Page 25: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Porte logiche con BJT

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 15 / 32

Page 26: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Datasheet NAND 74LS00

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 16 / 32

Page 27: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Datasheet NAND 74LS00

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 17 / 32

Page 28: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Forme canoniche

Ogni equazione logica puo’ essere rappresentata in forma canonicatramite uso di operatori AND, OR, e NOTLa forma canonica si deriva (ad es..) dalla tabella della verita’ informa di Somma di Prodotti (SP)

Per ogni entry uguale ad 1 dell’output sigenera un prodotto minterm degli inputdove gli input=0 sono negatiPer ottenere l’equazione in forma S, sisommano i prodotti cosi’ ottenuti

E = (A ∗ B ∗ C ) + (A ∗ B ∗ C )

Grazie alla proprieta’ di identita’ dellasomma logica (A+ 0 = A) il contributoall’equazione logica viene solo dai mintermnon 0

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 18 / 32

Page 29: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Da forma canonica al circuito (logica 2-level)

A partire da un’equazione logica espressa come SP si puo’realizzare il circuito equivalente con variabili (segnali) invertite enon invertite che attraversano:

un livello di porte AND per i prodottiun livello di porte OR per la somma dei prodotti

A B Q0 0 00 1 11 0 11 1 0

Q = (A ∗ B) + (A ∗ B)

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 19 / 32

Page 30: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Minimizzazione di circuiti

Obiettivo della minimizzazione e’ la riduzione del costo delcircuito combinatorio in termini di numero di porte e variabilinecessarie all’implementazione dell’equazione richiestaSi ottiene un circuito equivalente che generalmente e’ piu’ piccoloe con tempi di propagazione ridotti.Si puo’ agire per ispezione utilizzando le proprieta’ dell’algebra.

Esempio:Q = A ∗ B + A ∗ B –>applico proprieta’ distributivaQ = B ∗ (A+ A) –> applico inversoQ = B ∗ 1 = B

in questo caso la variabile A e’ DON’T CARE cioe’ non conta aifini della definizione della equazioneL’individuazione di variabili DON’T CARE e’ l’obiettivo ultimodella minimizzazione

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 20 / 32

Page 31: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Minimizzazione di circuiti

Esempio: multiplexer a due input. Seleziona in uscita il valore diun ingresso scelto tra 2(N) diversi in base ai valori assunti dagliingressi di select (S)

Scrivo la funzione in termini di somme di prodotti

Z = SAB + SAB + SAB + SAB –> distributiva

Z = SA(B + B) + SB(A+ A) –> inverso

Z = SA+ SB

3 gate NOT, 8 gate AND e 3 gate OR –> 1 NOT,2 AND, 1 OR !!!!!

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 21 / 32

Page 32: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Mappe di Karnaugh (MK)

Metodo grafico utile per minimizzare funzioni booleane di poche (2-6) variabili.Sfrutta caratteristiche posizionali delle Mappe di Karnaugh che sonorappresentazioni simili ed alternative alla tavola della verita’

La combinazione degli input per ogni riga(colonna) deve differire da quelle dellerighe(colonne) adiacenti per l’inversione di una sola variabileQuindi, ogni casella differisce dalle adiacenti per l’inversione di una sola variabileAllora, due caselle adiacenti generano una variabile DON’T CARE....

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 22 / 32

Page 33: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Mappe di Karnaugh (MK)

Scopo del metodo e’ quello di individuare facilmente insieme di righe della tabelladella verita’ che contengono variabili DON’T CARE.gli 1 corrispondenti a queste righe risultano adiacenti nella mappa corrispondente. Illoro insieme si definisce come loop o p-sottocubo dove p e’ il rank del loop.Le mappe sono periodiche al contorno i.e. bordi orizzontali e verticali possonoessere considerati adiacenti...

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 23 / 32

Page 34: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Mappe di Karnaugh (MK)

E’ intuitivo che piu’ grandi sono i loop piu’ efficace la minimizzazionePer le proprieta’ dell’algebra gli stessi 1 possono essere inclusi in piu’ loops

In caso di funzioni incomplete alcuni output, per particolari configurazioni degliinput, non sono definiti/interessanti e quindi possono valere 0 o 1 a nostra sceltaSfrutto questo fatto per costruire una MK piu’ efficace in termini di minimizzazione

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 24 / 32

Page 35: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Mappe di Karnaugh (MK)

1 Costruire la MK come visto2 Padding delle condizioni DON’T CARE nel modo migliore3 Ricercare nella mappa gli 1 "isolati" e crearne un gruppo per ognuno4 Ricercare nella mappa gli 1 che sono adiacenti ad un solo altro 1 e crearne un

loop-coppia.5 Raggruppare gli eventuali ottetti anche se contengono 1 gia’ inclusi in altri gruppi6 Raggruppare gli eventuali quad anche se contengono 1 gia’ inclusi in altri gruppi

(facendo attenzione ad usare il numero minimo di gruppi)7 Generare un gruppo-coppia per ogni 1 non incluso8 Formare l’OR dei termini generati da ciascun gruppo

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 25 / 32

Page 36: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Esempi di circuiti combinatori: Multiplexer

Multiplexer 2:1

Mux 8:1 single bitMux 2:1 32 bit

Mux 8:1 come genfunzioni

F = (ABC) + (ABC) +(ABC) + (ABC)

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 26 / 32

Page 37: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Esempi di circuiti combinatori: Demultiplexer

Da 1 input a n output (scelti da select)log2n segnali di controllo

Simbolo del DeMux A S B C0 0 0 00 1 0 01 0 1 01 1 0 1

B = AS , C = AS

DeMux schematic

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 27 / 32

Page 38: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Esempi di circuiti combinatori: Decoder

Componente con n inputs e 2n outputsn input sono un numero unsignedSe n = i allora solo i-esimo bit di output uguale a 1Lo abbiamo visto impiegato nel blocco di selezione della locazionein un Register File

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 28 / 32

Page 39: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Esempi di circuiti combinatori: Comparatore

Confronto di 2 numeri interi positiviIn uscita A = B , A > B

La condizione A < B ?

A B A > B A = B

0 0 0 10 1 0 01 0 1 01 1 0 1

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 29 / 32

Page 40: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Esempi di circuiti combinatori: PLA

Programming Logic Array: componente utilizzato per generarefunzioni qualsiasi in termini di somma di prodotti

E’ una struttura con ninput, o output, mminterm esprimibiliStrutture elettriche fusibilirealizzano le connessionii.e. i mintermLa programmazioneconsiste nel decidere qualifusibili bruciare i.e. qualisono gli input ad ogniporta AND e quali quelli adogni port OR

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 30 / 32

Page 41: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Addizionatori

Half-Adder circuito di addizione su numeri binari unsigned ad 1 bit (noncompleto....)

Messi opportunamente in cascata realizzano addizionatori interi per parole an bit implementando esattamente il metodo elementare paper&pencil

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 31 / 32

Page 42: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Addizionatori

Half-Adder circuito di addizione su numeri binari unsigned ad 1 bit (noncompleto....)

Messi opportunamente in cascata realizzano addizionatori interi per parole an bit implementando esattamente il metodo elementare paper&pencil

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 31 / 32

Page 43: LSS 2019-20: Reti Logiche: circuiti combinatorivignatim/didattica/LabSisSeg19/... · Formecanoniche Ogniequazionelogicapuo’essererappresentatainforma canonica tramiteusodioperatoriAND,OR,eNOT

Addizionatori

Il full-adder o sommatore completo e’ un circuito elettronico che esegueaddizioni su numeri binari unsigned ad 1 bit

A B Ci S Co

0 0 0 0 00 0 1 1 00 1 0 1 00 1 1 0 11 0 0 1 01 0 1 0 11 1 0 0 11 1 1 1 1

S = (ABCi ) + (ABCi ) +(ABCi ) + (ABCi )

Co = BCi + AB + ACi

P. Vicini LSS: circuiti combinatori A.A. 2019-2020 32 / 32