A.S.E.QM.1 ARCHITETTURA DEI SISTEMI ELETTRONICI Alcune definizioniAlcune definizioni Algoritmo di sintesi ottima di Quine-McCluskeyAlgoritmo di sintesi.

Presentazione sul tema: "A.S.E.QM.1 ARCHITETTURA DEI SISTEMI ELETTRONICI Alcune definizioniAlcune definizioni Algoritmo di sintesi ottima di Quine-McCluskeyAlgoritmo di sintesi."— Transcript della presentazione:

1 A.S.E.QM.1 ARCHITETTURA DEI SISTEMI ELETTRONICI Alcune definizioniAlcune definizioni Algoritmo di sintesi ottima di Quine-McCluskeyAlgoritmo di sintesi ottima di Quine-McCluskey EsempioEsempio

2 A.S.E.QM.2 Funzioni e Dont Cares Una funzione booleana f puo essere rappresentata attraverso 3 insiemi:Una funzione booleana f puo essere rappresentata attraverso 3 insiemi: –F, linsieme dei punti dove f=1 (on-set) –R, linsieme dei punti dove f=0 (off-set) –D, linsieme dei punti dove f e non specificata (dont- care-set) {F,R,D} formano una partizione di 2 n{F,R,D} formano una partizione di 2 n –F R D = 2 n –F D = F R = R D = –F D = F R = R D =

3 A.S.E.QM.3 bc ac Mintermini e Implicanti Implicante: prodotto p tale che {p=1 f=1}Implicante: prodotto p tale che {p=1 f=1} Mintermine: implicante costituito da n literalsMintermine: implicante costituito da n literals Implicante principale (prime): Implicante che non puo essere ridottoImplicante principale (prime): Implicante che non puo essere ridotto –f(a,b,c) = ab, {abc,abc} mintermini, ab implicante, a NO Implicante essenziale: implicante principale che copre un mintermine non coperto da nessun altro implicante principaleImplicante essenziale: implicante principale che copre un mintermine non coperto da nessun altro implicante principale –Esempio, f=ab+bc+ac Mintermini={abc, abc, abc,abc}Mintermini={abc, abc, abc,abc} Implicanti = Mintermini+{ab, bc, ac}Implicanti = Mintermini+{ab, bc, ac} Implicanti principali = {ab, ac, bc}Implicanti principali = {ab, ac, bc} Implicanti essenziali = {ab, bc}Implicanti essenziali = {ab, bc} a b c

4 A.S.E.QM.4 Minimizzazione Rete Combinatoria Data una funzione f={F,D,R}, si vuole ottenere unespressione SP tale cheData una funzione f={F,D,R}, si vuole ottenere unespressione SP tale che F SP F D e che contenga il numero minimo di literals La forma SP AND-OR SP = P 1 +P 2 +…+P nLa forma SP AND-OR SP = P 1 +P 2 +…+P n Parametri di costoParametri di costo –Costo di una porta AND=#ingressi –Costo di una porta OR=#ingressi –Costo di una porta NOT=0

5 A.S.E.QM.5 Minimizzazione Rete Combinatoria SP = P 1 +P 2 +…+P nSP = P 1 +P 2 +…+P n Costo SP = costo P1 + costo P2 +…+ costo Pn + nCosto SP = costo P1 + costo P2 +…+ costo Pn + n La minimizzazione richiede contemporaneamente di:La minimizzazione richiede contemporaneamente di: –minimizzare il numero n di prodotti P i ( ingressi OR) –minimizzare il costo di ciascun P i minimo numero di termini ingressi ANDminimo numero di termini ingressi AND In pratica, ogni implicante ha un costo pari al numero di literals+1In pratica, ogni implicante ha un costo pari al numero di literals+1 –Costo SP = (costo P1 +1) + (costo P2 +1) +…+ (costo P +1) –il termine +1 tiene conto dellingresso richiesto alla OR

6 A.S.E.QM.6 Minimizzazione Rete Combinatoria La minimizzazione del costo di ciascun implicante richiede di effettuare la ricerca esclusivamente tra gli implicanti principaliLa minimizzazione del costo di ciascun implicante richiede di effettuare la ricerca esclusivamente tra gli implicanti principali –qualunque implicante P k incluso in un implicante principale P p puo essere sostituito da questo ad un costo inferiore il numero di literals in un implicante principale e minimoil numero di literals in un implicante principale e minimo –gli implicanti essenziali giocano un ruolo particolare Occorre trovare il sottoinsieme minimo di implicanti principali che contenga tutti i mintermini e non intersechi loffsetOccorre trovare il sottoinsieme minimo di implicanti principali che contenga tutti i mintermini e non intersechi loffset

7 A.S.E.QM.7 Notazione per f Data una funzione f(a,b,c)Data una funzione f(a,b,c) abcf 00001 10010 20100 30111 41001 51010 61101 71110 f=abc+abc+abc+abc= (0,3,4,6)f=abc+abc+abc+abc= (0,3,4,6) Def: cubo di ordine m: implicante con (n-m) terminiDef: cubo di ordine m: implicante con (n-m) termini ordine 0 = mintermineordine 0 = mintermine

8 A.S.E.QM.8 Metodo di Quine-McCluskey Si compone di due fasi:Si compone di due fasi: 1.trovare tutti gli implicanti principali di f 2.trovare uninsieme minimo che copra f (nel seguito, f sara funzione di {a,b,c,d}) Implicanti principaliImplicanti principali –Si possono ottenere attraverso la fusione di cubi ad esempio, {abc e abc} ac (2 cubi di ordine 1 1 cubo di ordine 2)ad esempio, {abc e abc} ac (2 cubi di ordine 1 1 cubo di ordine 2) –Per la generazione degli implicanti principali si considera f=1 sul dont-care-set permette di generare implicanti con un numero inferiore di termini e quindi costo minorepermette di generare implicanti con un numero inferiore di termini e quindi costo minore

9 A.S.E.QM.9 Fusione implicanti Devono differire per un literalDevono differire per un literal –abde e abde abe Posso operare piu velocemente se considero la seguente numerazione dei minterminiPosso operare piu velocemente se considero la seguente numerazione dei mintermini –{a b c d e} lo considero come un numero binario a 2 4 + b 2 3 + c 2 2 + d 2 + ea 2 4 + b 2 3 + c 2 2 + d 2 + e –esempio, a b c d e = 16 + 0 + 4 + 2 + 0 = 22a b c d e = 16 + 0 + 4 + 2 + 0 = 22 Si utilizza numerazione decimale per lalgoritmo di generazione degli implicanti principaliSi utilizza numerazione decimale per lalgoritmo di generazione degli implicanti principali –nulla di fondamentale, lalgoritmo puo essere convertito nelluso dei literal o di {0,1} facilmente

10 A.S.E.QM.10 Condizione necessarie fusione implicanti Se due mintermini sono adiacenti (si possono fondere), le loro numerazioni differiscono di una potenza di 2Se due mintermini sono adiacenti (si possono fondere), le loro numerazioni differiscono di una potenza di 2 –devono differire in un solo literal –non e vero il contrario! Poiche due mintermini (implicanti) devono differire in un solo literal, occorre che il numero di literal positivi presenti nei due implicanti differisca di 1Poiche due mintermini (implicanti) devono differire in un solo literal, occorre che il numero di literal positivi presenti nei due implicanti differisca di 1 –a b c d 3 –a b c d 2 –a b c d 1

11 A.S.E.QM.11 Generazione Implicanti Principali Occorre confrontare tutte le coppie di minterminiOccorre confrontare tutte le coppie di mintermini Abbiamo quindi due condizioni che ci permettono di filtrare coppie di minterminiAbbiamo quindi due condizioni che ci permettono di filtrare coppie di mintermini –se i test passano, occorre controllare i mintermini (espressi come prodotto di literals) –condizioni necessarie ma non sufficienti Consideriamo f = (2,3,4,5,7,8,10,11,12,13)Consideriamo f = (2,3,4,5,7,8,10,11,12,13) Possiamo ordinare in partenza per numero di literals positivi in maniera da formare dei gruppi e confrontare solo elementi entro gruppi adiacentiPossiamo ordinare in partenza per numero di literals positivi in maniera da formare dei gruppi e confrontare solo elementi entro gruppi adiacenti

12 A.S.E.QM.12 Generazione Implicanti Principali f = (2,3,4,5,7,8,10,11,12,13) 00011110 0004128 0115139 11371511 10261410

13 A.S.E.QM.13 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 001012 01004 10008 001123 01015 101010 110012 011137 101111 110113

14 A.S.E.QM.14 Tabella Generazione Implicanti Principali f = (2,3,4,5,7,8,10,11,12,13) 00011110 0004128 0115139 11371511 10261410

15 A.S.E.QM.15 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 2 0100 4 1000 8 00112 3 0101 5 1010 10 10 1100 12 12 01113 7 1011 11 11 1101 13 13

16 A.S.E.QM.16 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 4 1000 8 00112 3 0101 5 1010 10 10 1100 12 12 01113 7 1011 11 11 1101 13 13

17 A.S.E.QM.17 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 8 00112 3 0101 5 1010 10 10 1100 12 12 01113 7 1011 11 11 1101 13 13

18 A.S.E.QM.18 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 84,5(1) 00112 3 0101 5 1010 10 10 1100 12 12 01113 7 1011 11 11 1101 13 13

19 A.S.E.QM.19 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 84,5(1) 4,12(8) 00112 3 0101 5 1010 10 10 1100 12 12 01113 7 1011 11 11 1101 13 13

20 A.S.E.QM.20 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 84,5(1) 4,12(8) 00112 38,10(2) 0101 5 1010 10 10 1100 12 12 01113 7 1011 11 11 1101 13 13

21 A.S.E.QM.21 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 84,5(1) 4,12(8) 00112 38,10(2) 0101 58,12(4) 1010 10 10 1100 12 12 01113 7 1011 11 11 1101 13 13

22 A.S.E.QM.22 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 84,5(1) 4,12(8) 00112 38,10(2) 0101 58,12(4) 1010 10 10 3,7(4) 1100 12 12 01113 7 1011 11 11 1101 13 13

23 A.S.E.QM.23 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 84,5(1) 4,12(8) 00112 38,10(2) 0101 58,12(4) 1010 10 10 3,7(4) 1100 12 12 3,11(8) 01113 7 1011 11 11 1101 13 13

24 A.S.E.QM.24 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 00101 22,3(1) 0100 42,10(8) 1000 84,5(1) 4,12(8) 00112 38,10(2) 0101 58,12(4) 1010 10 10 3,7(4) 1100 12 12 3,11(8) 5,7(2) 01113 75,13(8) 1011 11 11 10,11(1) 1101 13 13 12,13(1)

25 A.S.E.QM.25 Tabella Generazione Implicanti Principali f = (2,3,4,5,7,8,10,11,12,13) 00011110 0004128 0115139 11371511 10261410

26 A.S.E.QM.26 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 1 2 2,3(1) 2,3(1) 4 2,10(8) 2,10(8) 8 4,5(1) 4,5(1) 4,12(8) 4,12(8) 2 38,10(2) 58,12(4) 10 10 3,7(4) 12 12 3,11(8) 3,11(8) 5,7(2) 3 7 5,13(8) 5,13(8) 11 11 10,11(1) 10,11(1) 13 13 12,13(1) 12,13(1)

27 A.S.E.QM.27 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 1 2 2,3(1) 2,3(1) 2,3,10,11(1,8) 4 2,10(8) 2,10(8) 8 4,5(1) 4,5(1) 4,12(8) 4,12(8) 2 38,10(2) 58,12(4) 10 10 3,7(4) 12 12 3,11(8) 3,11(8) 5,7(2) 3 7 5,13(8) 5,13(8) 11 11 10,11(1) 10,11(1) 13 13 12,13(1) 12,13(1)

28 A.S.E.QM.28 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 1 2 2,3(1) 2,3(1) 2,3,10,11(1,8) 4 2,10(8) 2,10(8) 8 4,5(1) 4,5(1) 4,12(8) 4,12(8) 2 38,10(2) 58,12(4) 10 10 3,7(4) 12 12 3,11(8) 3,11(8) 5,7(2) 3 7 5,13(8) 5,13(8) 11 11 10,11(1) 10,11(1) 13 13 12,13(1) 12,13(1)

29 A.S.E.QM.29 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 1 2 2,3(1) 2,3(1) 2,3,10,11(1,8) 4 2,10(8) 2,10(8) 4,5,12,13(1,8) 8 4,5(1) 4,5(1) 4,12(8) 4,12(8) 2 38,10(2) 58,12(4) 10 10 3,7(4) 12 12 3,11(8) 3,11(8) 5,7(2) 3 7 5,13(8) 5,13(8) 11 11 10,11(1) 10,11(1) 13 13 12,13(1) 12,13(1)

30 A.S.E.QM.30 Tabella Generazione Implicanti Principali Indice (# uni) Cubi 0 Cubi 1 Cubi 2 Costo 1 2 2,3(1) 2,3(1) 2,3,10,11(1,8) P 1 3 4 2,10(8) 2,10(8) 4,5,12,13(1,8) P 2 3 8 4,5(1) 4,5(1) 4,12(8) 4,12(8) 2 3 8,10(2) P 3 4 5 8,12(4) P 4 4 10 10 3,7(4) P 5 4 12 12 3,11(8) 3,11(8) 5,7(2) P 6 4 3 7 5,13(8) 5,13(8) 11 11 10,11(1) 10,11(1) 13 13 12,13(1) 12,13(1)

31 A.S.E.QM.31 Tabella Generazione Implicanti Principali f = (2,3,4,5,7,8,10,11,12,13) cd \ ab 00011110 0004128 0115139 11371511 10261410 P 1 =bc P 2 =bc P 3 =abd P 4 =acd P 5 =acd P 6 =abd

32 A.S.E.QM.32 Tabella degli Implicanti 23457810111213 P1P1P1P1 P2P2P2P2 P3P3P3P3 P4P4P4P4 P5P5P5P5 P6P6P6P6

33 A.S.E.QM.33 Metodo di Petrick Lista di copertura irridondante:Lista di copertura irridondante: –somma di implicanti che copre la funzione e tale che la rimozione di uno qualunque degli implicanti rende f diversa dalla somma La somma minima di prodotti e una somma (copertura) irridondanteLa somma minima di prodotti e una somma (copertura) irridondante

34 A.S.E.QM.34 Metodo di Petrick Si parte dalla tabella degli implicantiSi parte dalla tabella degli implicanti Si forma un prodotto di somme nel seguente modo:Si forma un prodotto di somme nel seguente modo: –ogni colonna introduce una somma tra gli implicanti che presentano un in corrispondenza e.g. 3 (P 1 +P 5 )e.g. 3 (P 1 +P 5 ) Si svolgono i prodotti, si semplifica rispetto allassorbimento ottenendo una somma di prodottiSi svolgono i prodotti, si semplifica rispetto allassorbimento ottenendo una somma di prodotti Ciascun termine nella somma e una lista di copertura irridondanteCiascun termine nella somma e una lista di copertura irridondante 234578 10101010 11111111 12121212 13131313 P1P1P1P1 P2P2P2P2 P3P3P3P3 P4P4P4P4 P5P5P5P5 P6P6P6P6

35 A.S.E.QM.35 Metodo di Petrick 23457810111213 P1P1P1P1 P2P2P2P2 P3P3P3P3 P4P4P4P4 P5P5P5P5 P6P6P6P6 P 1 (P 3 +P 5 ) P 4 (P 2 +P 6 ) (P 5 +P 6 ) (P 3 +P 4 ) (P 1 +P 3 ) P 1 (P 2 +P 4 ) P 2 P 1 P 3 P 4 P 2 P 5 P 3 P 1 P 1 P 2 P 2 + P 1 P 5 P 4 P 6 P 6 P 4 P 3 P 1 P 4 P 2 … = P 1 P 3 P 4 P 2 P 5 P 3 P 1 P 1 P 2 P 2 + P 1 P 5 P 4 P 6 P 6 P 4 P 3 P 1 P 4 P 2 … = = P 1 P 2 P 3 P 4 P 5 + P 1 P 2 P 3 P 4 P 5 P 6 … P 1 P 2 P 3 P 4 P 5 + … P 1 P 2 P 3 P 4 P 5 + …

36 A.S.E.QM.36 Metodo di Petrick P 1 (P 3 +P 5 ) P 4 (P 2 +P 6 ) (P 5 +P 6 ) (P 3 +P 4 ) (P 1 +P 3 ) P 1 (P 2 +P 4 ) P 2 P 1 P 3 P 4 P 2 P 5 P 3 P 1 P 1 P 2 P 2 + P 1 P 5 P 4 P 6 P 6 P 4 P 3 P 1 P 4 P 2 … = P 1 P 3 P 4 P 2 P 5 P 3 P 1 P 1 P 2 P 2 + P 1 P 5 P 4 P 6 P 6 P 4 P 3 P 1 P 4 P 2 … = = P 1 P 2 P 3 P 4 P 5 + P 1 P 2 P 3 P 4 P 5 P 6 … P 1 P 2 P 3 P 4 P 5 + … P 1 P 2 P 3 P 4 P 5 + … In pratica, si puo semplificare il prodotto eliminando le somme contenenti altre somme,In pratica, si puo semplificare il prodotto eliminando le somme contenenti altre somme, –e.g. (a+b)(c+d)(a+b+c) (a+b)(c+d)

37 A.S.E.QM.37 Algoritmo di Quine-McCluskey Insieme di regole per generare una lista di copertura minimaInsieme di regole per generare una lista di copertura minima –ogni regola permette di semplificare il problema procedendo senza alterare lottimalita della soluzione Metodo iterativoMetodo iterativo –ad ogni iterazione viene semplificata la tabella –termina quando la tabella e vuota, oppure –termina quando si arriva a una tabella non semplificabile in questo caso si procede con il metodo di Petrickin questo caso si procede con il metodo di Petrick

38 A.S.E.QM.38 Implicanti Essenziali 234578 10101010 11111111 12121212 13131313 3 P1P1P1P1 3 P2P2P2P2 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 Implicanti essenziali: sono rappresentati da colonne con un soloImplicanti essenziali: sono rappresentati da colonne con un solo –il mintermine corrispondente viene riconosciuto solo da quellimplicante –Fanno parte della lista di copertura (non possono non esserci)

39 A.S.E.QM.39 Dominanza di colonna Osservazione: occorre inserire implicanti principali a sufficienza per riconoscere tutti i minterminiOsservazione: occorre inserire implicanti principali a sufficienza per riconoscere tutti i mintermini Se un mintermine i e riconosciuto dagli stessi implicanti di un mintermine j piu qualquno, allora:Se un mintermine i e riconosciuto dagli stessi implicanti di un mintermine j piu qualquno, allora: – j e piu difficile da riconoscere –riconoscere j implica riconoscere anche i –allora j e dominante rispetto a i Dominanza di colonna: se la colonna (mintermine) i ha tutti i della colonna j (piu qualcuno), allora ogni volta che un implicante ha un per j ne ha uno per iDominanza di colonna: se la colonna (mintermine) i ha tutti i della colonna j (piu qualcuno), allora ogni volta che un implicante ha un per j ne ha uno per i

40 A.S.E.QM.40 Dominanza di colonna 234578 10101010 11111111 12121212 13131313 3 P1P1P1P1 3 P2P2P2P2 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 Dominanza di colonna: se la colonna (mintermine) i ha tutti i della colonna j (piu qualcuno), allora ogni volta che un implicante ha un per j ne ha uno per iDominanza di colonna: se la colonna (mintermine) i ha tutti i della colonna j (piu qualcuno), allora ogni volta che un implicante ha un per j ne ha uno per i

41 A.S.E.QM.41 Dominanza di colonna 234578 10101010 11111111 12121212 13131313 3 P1P1P1P1 3 P2P2P2P2 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 Dominanza di colonna: se la colonna (mintermine) i ha tutti i della colonna j (piu qualcuno), allora ogni volta che un implicante ha un per j ne ha uno per iDominanza di colonna: se la colonna (mintermine) i ha tutti i della colonna j (piu qualcuno), allora ogni volta che un implicante ha un per j ne ha uno per i In questo caso, si puo eliminare dalla tabella limplicante iIn questo caso, si puo eliminare dalla tabella limplicante i

42 A.S.E.QM.42 Dominanza di colonna 234578 10101010 11111111 12121212 13131313 3 P1P1P1P1 3 P2P2P2P2 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 Possiamo quindi eliminare le colonne dominatePossiamo quindi eliminare le colonne dominate

43 A.S.E.QM.43 Eliminazione Implicanti Essenziali 2478 3 P1P1P1P1 3 P2P2P2P2 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 In questo caso, P 1 e P 2 fanno parte della lista di coperturaIn questo caso, P 1 e P 2 fanno parte della lista di copertura Possiamo semplificare la tabella eliminando:Possiamo semplificare la tabella eliminando: –le righe corrispondenti a P 1 e P 2 –tutte le colonne che hanno un in corrispondenza di queste righe LC = {P 1, P 2 }

44 A.S.E.QM.44 Eliminazione Implicanti Essenziali 2478 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 In questo caso, P 1 e P 2 fanno parte della lista di coperturaIn questo caso, P 1 e P 2 fanno parte della lista di copertura Possiamo semplificare la tabella eliminando:Possiamo semplificare la tabella eliminando: –le righe corrispondenti a P 1 e P 2 –tutte le colonne che hanno un in corrispondenza di queste righe –le colonne vuote LC = {P 1, P 2 }

45 A.S.E.QM.45 Eliminazione Implicanti Essenziali 78 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 In questo caso, P 1 e P 2 fanno parte della lista di coperturaIn questo caso, P 1 e P 2 fanno parte della lista di copertura Possiamo semplificare la tabella eliminando:Possiamo semplificare la tabella eliminando: –le righe corrispondenti a P 1 e P 2 –tutte le colonne che hanno un in corrispondenza di queste righe –le colonne vuote LC = {P 1, P 2 }

46 A.S.E.QM.46 Dominanza di riga Dominanza di riga: se la riga m ha tutti i della riga n (piu qualcuno), allora limplicante m riconosce tutti i mintermini di n (piu qualcuno)Dominanza di riga: se la riga m ha tutti i della riga n (piu qualcuno), allora limplicante m riconosce tutti i mintermini di n (piu qualcuno) Possiamo allora eliminare n dalla tabella se il suo costo non e inferiore a quello di mPossiamo allora eliminare n dalla tabella se il suo costo non e inferiore a quello di m –il numero di literals nellespressione finale non aumenta –in caso di parita di, occorre scegliere i cubi di ordine maggiore

47 A.S.E.QM.47 Dominanza di riga Esempio:Esempio: P 1 domina P 5P 1 domina P 5 2347810111213 P1P1P1P1 P2P2P2P2 P4P4P4P4 P5P5P5P5

48 A.S.E.QM.48 Dominanza di riga 78 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 Dominanza di riga: se la riga m ha tutti i della riga n (piu qualcuno), allora limplicante m riconosce tutti i mintermini di n (piu qualcuno)Dominanza di riga: se la riga m ha tutti i della riga n (piu qualcuno), allora limplicante m riconosce tutti i mintermini di n (piu qualcuno) Possiamo allora eliminare n dalla tabella se il suo costo non e inferiore a quello di mPossiamo allora eliminare n dalla tabella se il suo costo non e inferiore a quello di m –il numero di literals nellespressione finale non aumenta –in caso di parita di, occorre scegliere i cubi di ordine maggiore LC = {P 1, P 2 }

49 A.S.E.QM.49 Dominanza di riga 78 4 P3P3P3P3 4 P4P4P4P4 4 P5P5P5P5 4 P6P6P6P6 LC = {P 1, P 2 } Dominanza di riga: se la riga m ha tutti i della riga n (piu qualcuno), allora limplicante m riconosce tutti i mintermini di n (piu qualcuno)Dominanza di riga: se la riga m ha tutti i della riga n (piu qualcuno), allora limplicante m riconosce tutti i mintermini di n (piu qualcuno) Possiamo allora eliminare n dalla tabella se il suo costo non e inferiore a quello di mPossiamo allora eliminare n dalla tabella se il suo costo non e inferiore a quello di m –il numero di literals nellespressione finale non aumenta –in caso di parita di, occorre scegliere i cubi di ordine maggiore

50 A.S.E.QM.50 Semplificazione Tabella 78 4 P3P3P3P3 4 P5P5P5P5 Si ripetono i passi precedenti:Si ripetono i passi precedenti: –implicanti essenziali –dominanza di colonna –dominanza di riga LC = {P 1, P 2 }

51 A.S.E.QM.51 Semplificazione Tabella 78 P3P3P3P3 P5P5P5P5 Si ripetono i passi precedenti:Si ripetono i passi precedenti: –implicanti essenziali –dominanza di colonna –dominanza di riga LC = {P 1, P 2, P 3, P 5 } Costo = 3+3+4+4= 14 1 porta OR a 4 ingressi1 porta OR a 4 ingressi 2 porte AND a 2 ingressi2 porte AND a 2 ingressi 2 porte AND a 3 ingressi2 porte AND a 3 ingressi

52 A.S.E.QM.52 Nucleo Ciclico 2478 P3P3P3P3 P4P4P4P4 P5P5P5P5 P6P6P6P6 Si puo arrivare a una tabella non piu semplificabile con le dominanzeSi puo arrivare a una tabella non piu semplificabile con le dominanze –si ricorre al metodo di Petrick, si confronta il costo di tutte le liste di copertura e si prende quella a costo minore ottimo –si prende una lista di copertura a caso ( ?, pero semplice…)

53 A.S.E.QM.53 Risultato f = bc+bc+abd+acd 00011110 0004128 0115139 11371511 10261410 P 1 =bc P 2 =bc P 3 =abd P 5 =acd