Kapitel 4. Minimierung. Prof. Dr. Dirk W. Hoffmann. Hochschule Karlsruhe w University of Applied Sciences w Fakultät für Informatik

Transkript

1 Kpitel 4 Minimierung Prof. Dr. Dirk W. Hoffmnn Hochschule Krlsruhe w University of Applied Sciences w Fkultät für Informtik

2 Minimierung Motivtion Jede Boolesche Funktion lässt sich uf verschiedene Weise drstellen und dmit unterschiedlich in Hrdwre implementieren Disjunktive Normlform Konjunktive Normlform Normlformdrstellungen sind sehr ufwendig Bsieren uf Mintermen zw. Mxtermen Jeder Minterm zw. Mxterm enthält lle Eingngsvrilen Formellänge steigt exponentiell mit der Anzhl der Eingngsvrilen Für die Prxis nicht geeignet Ziel der Minimierung Die Suche nch einer einfcheren Lösung 4. 2

3 Minimierung Beispiel x 1 x 2 x 3 =1 y x

4 Beispiel Originlschltung Disjunktive Form Konjunktive Form x 1 x 2 x 3 x 4 x 1 x 1 x 2 x 3 x 4 x 2 x 3 x 4 =1 y y y Welche Schltung ist esser? 4. 4

5 Optimierungsziele und Kostenfunktion Die Güte einer Schltung ist reltiv O eine Schltung esser ist, hängt vom Optimierungsziel Typische Optimierungsziele Hohe Tktrte ( speed ) Geringer Pltzverruch ( re ) Optimierungsziele sind komplementär Schnellste Schltung enötigt viel Pltz Kleinste Schltung ietet nur geringe Tktrte Ds Optimierungsziel wird mit einer Kostenfunktion modelliert C S = Schltungstiefe ( Geschwindigkeitsoptimierung ) C A = Anzhl Zellen ( Größenoptimierung ) 4. 5

6 Beispiel Originlschltung Disjunktive Form Konjunktive Form x 1 x 2 x 3 x 4 x 1 x 1 x 2 x 3 x 4 x 2 x 3 x 4 =1 y y y C A = 4 C S = 3 C A = 5 C S = 2 C A = 4 C S = 2 Fzit: Wähle Schltung 2 oder 3 für eine schnelle Schltung Wähle Schltung 1 oder 3 für eine kompkte Schltung Können die Kostenfunktionen noch veressert werden? 4. 6

7 Veresserte Kostenfunktionen Zellen sind nicht gleich Zellen Schltelemente mit vielen Eingängen sind größer Veresserung: Bilden einer gewichteten Summe Kominieren verschiedener Metriken Bei gleich schnellen Schltungen wird diejenige evorzugt, die weniger Fläche enötigt C A = g Gtter Anzhl Eingänge von g C S = (100 Schltungstiefe) + C A Industrielle Werkzeuge Zelleniliothek mit Flächen- und Geschwindigkeitsdten Sttische Timing-Anlyse 4. 7

8 Originlschltung Disjunktive Form Konjunktive Form x 1 x 2 x 3 x 4 x 1 x 1 x 2 x 3 x 4 x 2 x 3 x 4 =1 y y y C A = 4 C S = 3 C A = 5 C S = 2 C A = 4 C S = 2 C A = 8 C S = 308 C A = 16 C S = 216 C A = 9 C S = 209 Fzit: Wähle Schltung 3 für eine schnelle Schltung Wähle Schltung 1 für eine kompkte Schltung 4. 8

9 Minimierung Nochmls zurück zu den isher etrchteten Verfhren Disjunktive Normlform, Konjunktive Normlform Beide erzeugen einen Term für jede 1-Zeile der Whrheitstelle Optimierung: Zusmmenfssung mehrerer Zeilen in einem Term d c y d c d c y nicht möglich 4. 9

10 Minimierung Die Zusmmenfssung funktioniert genu dnn, wenn sich die Vrilenelegungen in genu einer Vrilen unterscheiden. Die identisch elegten Vrilen heißen geunden. Die unterschiedlich elegte Vrile heißen frei. d c y d c d c y nicht möglich 4. 10

11 Minimierung Welche mthemtische Regel verirgt sich hier? d c y Erste Zeile: d c Zweite Zeile: d c d c Die disjunktive Verknüpfung ergit (d c ) (d c ) = (K) + (A) ((d c ) ) ((d c ) ) = (D) (d c ) ( ) = (I) (d c ) 1 = (N) d c 4. 11

12 Minimierung d c y d c d c d c d c d c d c d c d c 4. 12

13 KV-Digrmme Nchteil der Whrheitstelle Benchrte Belegungen stehen in der Whrheitstelle nicht immer neeneinnder Neeneinnder stehende Belegungen in der Whrheitstelle sind nicht immer enchrt Ziel Drstellung, in der die Nchrschftseziehung offensichtlich ist In einer solchen Drstellung wäre die Blockildung einfch möglich Lösung Krnugh-Veitch-Digrmme (KV-Digrmme) Anordnung ller Belegungen in einer Mtrix Grundlge für die grphische Minimierung oolescher Funktionen 4. 13

14 Konstruktion von KV-Digrmmen Ds KV-Digrmm für eine Funktion mit n Vrilen wird us einem Digrmm mit n-1 Vrilen durch wechselweises horizontles und vertikles Spiegeln erzeugt. c e d d c c 4. 14

15 Üung 1 d c y c d 4. 15

16 Üung 2 d c y c d 4. 16

17 Minimierung unvollständiger Funktionen Wiederholung Unvollständig definierter Funktionen enthlten Belegungen, für die der Funktionswert gleichgültig ist Solche Belegungen werden Freistellen oder Don t cres gennnt Vorgehen Die Funktionswerte der Freistellen werden so gewählt, dss mximl große Blöcke entstehen = =1 = c c c 4. 17

18 Üung 3 d c y c d 4. 18

19 Begriffe Block Block d c Primlock Impliknt Impliknt y = c d c d cd Primimpliknt 4. 19

20 Minimlformen Die hier vorgestellte Minimierung mit Hilfe von KV-Digrmmen erechnet eine disjunktive Minimlform der Eingngsfunktion. Durch die Anwendung der Methode uf die Nullmenge knn in nloger Weise uch eine konjunktive Minimlform erechnet werden. Allgemeine disjunktive Form (DF) Disjunktive Minimlform Disjunktive Minimlform (DMF) L ij L ij { x i, x i } n m(i) i = 1 j = 1 liegt vor, wenn jede ndere disjunktive Form gleich viele oder mehr Literle enötigt Allgemeine konjunktive Form (KF) Konjunktive Minimlform (KMF) Konjunktive Minimlform L ij L ij { x i, x i } n m(i) i = 1 j = 1 liegt vor, wenn jede ndere konjunktive Form gleich viele oder mehr Literle enötigt Die DMF (KMF) ist nicht eindeutig, lso keine Normlform 4. 20

21 KV Digrmme: Zusmmenfssung 1. Erstellen des KV-Digrmms Konstruktion durch wechselndes horizontles und vertikles Spiegeln Eintrgen der Funktionswerte in ds KV-Digrmm 2. Bestimmen der Primlöcke Üerdeckung der Einsmenge (DMF) zw. der Nullmenge (KMF) Sukzessive Bildung von Blöcken mit 2, 4, 8 Belegungen, usw. Wenn Blockildung richt, sind lle Primlöcke gefunden 3. Bestimmung einer vollständigen Üerdeckung Ziel: Üerdeckung mit der geringsten Anzhl Primlöcke Mrkierung ller Primlöcke, die lleine eine Funktionsstelle üerdecken Flls diese ereits lle Stellen üerdecken, ist minimle Lösung erreicht Reichen diese nicht zur Üerdeckung ller Stellen us, werden weitere Primlöcke ddiert is eine vollständige Üerdeckung erreicht ist 4. Extrktion der disjunktiven (konjunktiven) Minimlform Jeder Primlock entspricht einem Minterm (Mxterm) Alle Minterme (Mxterme) werden disjunktiv (konjunktiv) verknüpft 4. 21