TechnischeInformatik(BES)–4. Vorlesung · 2020. 11. 3. · © K. Henke / H.-D. Wuttke, 2020/21 4...

62
© K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 1 Technische Informatik (BES) – 4. Vorlesung Mathematische Grundlagen (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4,5) Automaten (6,7) Sequentielle Schaltungen (8) Programmierbare Strukturen (9) Rechneraufbau und ~funktion (10,11) Informationskodierung (12,13,14)

Transcript of TechnischeInformatik(BES)–4. Vorlesung · 2020. 11. 3. · © K. Henke / H.-D. Wuttke, 2020/21 4...

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 1

    Technische Informatik (BES) – 4. Vorlesung

    Mathematische Grundlagen (1)Boolesche Algebren: BMA, BAA (2,3)Kombinatorische Schaltungen (4,5)Automaten (6,7)Sequentielle Schaltungen (8)Programmierbare Strukturen (9) Rechneraufbau und ~funktion (10,11)Informationskodierung (12,13,14)

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 4

    https://moodle2.tu-ilmenau.de/course/view.php?id=1576

    Weitere Aufgaben zum Selbststudium

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 5

    • 0 1 1 = 1 W(k3, Xi) =1 falls i = 3

    • X3 = [ 0 ,..., 0, 1, 1] W(k3 , Xi) =0 falls i 3

    • k3 = xn-1 ... x1 x0

    • hi= y1 = k3 k5 k6 k7 hi in KDNF

    • KDNF = Disjunktion von Elementarkonjunktionen

    Elementarkonjunktion k3 => KDNF

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 6

    • 0 1 0 =0

    • X2 = [0 ,..., 0, 1, 0] W(d2, Xi) = 0 falls i = 2

    • d2 = xn-1 ... x1 x0 W(d2, Xi) = 1 falls i 2

    • hi = d0 d1 d2 d4 hi in KKNF• KKNF = Konjunktion von Elementardisjunktionen

    Elementardisjunktion d2 => KKNF

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 7

    • Für vollständig bestimmte Funktionen gilt:I0 = I1

    • Index für d: I0 (Ausgang y=0) hi = d0 d1 d2 d4

    • Index für k: I1 (Ausgang y=1)hi = k3 k5 k6 k7

    KKNF => KDNF

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 8

    Minimierung schaltalgebraischer Ausdrücke:– über Umformungsregeln– mittels Karnaugh/Veitch-Diagramm (grafisch)

    Minimierung:– Vereinfachung schaltalgebraischer Ausdrücke in einen

    minimalen logischen Ausdruck und somit– die Realisierung einer Schaltung mit der

    kleinstmöglichen Anzahl von Gattern

    Technische Informatik (BES)

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 9

    Minimierung schaltalgebraischer Ausdrücke:– über Umformungsregeln– mittels Karnaugh/Veitch-Diagramm (grafisch)

    Minimierung:– Vereinfachung schaltalgebraischer Ausdrücke in einen

    minimalen logischen Ausdruck und somit– die Realisierung einer Schaltung mit der

    kleinstmöglichen Anzahl von Gattern

    Technische Informatik (BES)

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 10

    Priorität

    Arbeitsblätter S. 7, 8

    Minimierung über Umformungsregeln

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 11

    Arbeitsblätter S. 7, 8

    Minimierung über Umformungsregeln

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 12

    Arbeitsblätter S. 7, 8

    Minimierung über Umformungsregeln

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 13

    Kürzungsregel:

    𝟎 𝟎 … disjunktive Form

    𝟎 𝟎 … konjunktive Form

    Kürzen

    Erweitern

    Minimierung über Umformungsregeln

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 14

    Anwendung der Kürzungsregel

    => Auflösung mit Karnaugh-Veitch !

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 15

    Minimierung schaltalgebraischer Ausdrücke:– über Umformungsregeln– mittels Karnaugh/Veitch-Diagramm (grafisch)

    Minimierung:– Vereinfachung schaltalgebraischer Ausdrücke in einen

    minimalen logischen Ausdruck und somit– die Realisierung einer Schaltung mit der

    kleinstmöglichen Anzahl von Gattern

    Technische Informatik (BES)

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 16

    • 1952 von Edward W. Veitch (04.11.1924 – 23.12.2013)entworfen

    • 1953 von Maurice Karnaugh (04.10.1924) zu seiner heutigen Form weiterentwickelt

    • Karnaugh-Veitch-Diagramm, • Karnaugh-Plan,• KV-Diagramm

    www.ithistory.org

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 17

    Kürzungsregel:benachbarte Belegungen

    und ... unterscheiden sich in genau 1 Bit

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 18

    Kürzungsregel:benachbarte Belegungen

    und ... unterscheiden sich in genau 1 Bit

    benachbarte Ausdrücke

    𝟐 𝟐

    ... unterscheiden sich in genau einer Variablen

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 19

    benachbarte Belegungen grafisch so anordnen, dass Nachbarn

    nebeneinander liegen, es entsteht eine Matrix mit,

    Nachbarschaft je Spalteund je Zeile

    Funktionswerte

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 20

    Karnaugh-Veitch-Diagramme

    benachbarte Belegungen grafisch so anordnen, dass Nachbarn

    nebeneinander liegen, es entsteht eine Matrix mit,

    Nachbarschaft je Spalteund je Zeile

    Funktionswerte

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 21

    Karnaugh-Veitch-Diagramme

    benachbarte Belegungen grafisch so anordnen, dass Nachbarn

    nebeneinander liegen, es entsteht eine Matrix mit,

    Nachbarschaft je Spalteund je Zeile

    Funktionswerte

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 22

    Weitere Darstellungen, (nur für DNF)

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 23

    zwei benachbarte 2-er Blöcke ergeben einen 4-er Block Block:

    k10 k11

    Im 4-er Block sind die Variablen

    x3 und x1 konstant => mit „1“ belegt => x3 x1

    x2 und x0 ändern sich => werden gekürzt

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 24

    Andere Randbezeichnung(jeweils der gleiche 4-er Block k10, k11, k14, k15)

    x x

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 25

    ursprüngliches Beispiel - andere Kürzung

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 26

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 27

    benachbarte Belegungen können gekürzt werden:

    1 Variable => 2-er Block2 Variablen => 4-er Block3 Variablen => 8-er Block4 Variablen =>16-er Block

    ...

    Karnaugh-Veitch-Diagramme

    𝐱𝟑 𝐱𝟐 𝐱𝟏

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 28

    benachbarte Belegungen können gekürzt werden:

    1 Variable => 2-er Block2 Variablen => 4-er Block3 Variablen => 8-er Block4 Variablen =>16-er Block

    ...

    Karnaugh-Veitch-Diagramme

    𝐱𝟐𝐱𝟏

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 29

    benachbarte Belegungen können gekürzt werden:

    1 Variable => 2-er Block2 Variablen => 4-er Block3 Variablen => 8-er Block4 Variablen =>16-er Block

    ...

    Karnaugh-Veitch-Diagramme

    𝐱𝟑

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 30

    6 Variable

    Karnaugh-Veitch-Diagramme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 31

    Karnaugh-Veitch-Diagramme

    http://www.goldi-labs.net/SANE/

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 32

    Technische Informatik (BES) – 4. Vorlesung

    Mathematische Grundlagen (1)Boolesche Algebren: BMA, BAA (2,3)Kombinatorische Schaltungen (4,5)Automaten (6,7)Sequentielle Schaltungen (8)Programmierbare Strukturen (9) Rechneraufbau und ~funktion (10,11)Informationskodierung (12,13,14)

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 33

    Technische Informatik (BES) – 4. Vorlesung

    • Elementare Strukturen• Schaltungssynthese / Schaltungsanalyse• Beispiele kombinatorischer Schaltungen

    – Torschaltung– Dekoder– Multiplexer, Demultiplexer

    • Programmierbare Strukturen– ROM– PLA, GAL

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 34

    Elementare Strukturen

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 35

    Strukturdefinition

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 40

    Kombinatorische Struktur

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 41

    elementare Strukturen

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 42

    Basissysteme

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 43

    Basissysteme – weitere Beispiele

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 44

    Technische Informatik (BES) – 4. Vorlesung

    • Elementare Strukturen• Schaltungssynthese / Schaltungsanalyse• Beispiele kombinatorischer Schaltungen

    – Torschaltung– Dekoder– Multiplexer, Demultiplexer

    • Programmierbare Strukturen– ROM– PLA, GAL

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 45

    Schaltungssynthese

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 46

    Ausdruck strukturgleiche Schaltung

    Schaltungssynthese

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 47

    BEAST

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 48

    Schaltungssynthese - Beispiel

    Beispiel: Entwurf eines 7‐Segment Dekoders

    BEAST

    SANE

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 49

    Beispiel: Entwurf eines 7‐Segment Dekoders

    BEAST

    SANEEingabe der Wertetabelle in SANE

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 50

    Eingabe der Wertetabelle in SANE

    y0

    y1

    y3

    y4

    y5 y6

    y2

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 51

    Beispiel: Entwurf eines 7‐Segment Dekoders

    BEAST

    SANEEingabe der Wertetabelle in SANE

    Generierung von 7 minimiertenGleichungen

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 52

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 53

    Beispiel: Entwurf eines 7‐Segment Dekoders

    BEAST

    SANEEingabe der Wertetabelle in SANE

    Generierung von 7 minimiertenGleichungen

    copy & paste der Gleichungen von SANE nachBEAST

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 54

    mouse over & copy

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 55

    paste in das BEAST System

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 56

    Beispiel: Entwurf eines 7‐Segment Dekoders

    BEAST

    SANEEingabe der Wertetabelle in SANE

    Generierung von 7 minimiertenGleichungen

    copy & paste der Gleichungen von SANE nachBEAST

    automatische Bauteil-Generierung durch BEAST

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 57

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 58

    Beispiel: Entwurf eines 7‐Segment Dekoders

    BEAST

    SANEEingabe der Wertetabelle in SANE

    Generierung von 7 minimiertenGleichungen

    copy & paste der Gleichungen von SANE nachBEAST

    automatische Bauteil-Generierung durch BEAST

    Verbingen mit Ein-/Ausgängen für die Simulation

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 59

    Schaltungssynthese - Beispiel

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 60

    Technische Informatik (BES) – 4. Vorlesung

    • Elementare Strukturen• Schaltungssynthese / Schaltungsanalyse• Beispiele kombinatorischer Schaltungen

    – Torschaltung– Dekoder– Multiplexer, Demultiplexer

    • Programmierbare Strukturen– ROM– PLA, GAL

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 61

    Schaltungsanalyse

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 62

    Schaltung strukturgleicher Ausdruck

    Schaltungsanalyse

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 63

    Schaltung strukturgleicher Ausdruck

    Schaltungsanalyse

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 64

    Schaltung strukturgleicher Ausdruck

    Schaltungsanalyse

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 65

    Schaltung strukturgleicher Ausdruck

    Schaltungsanalyse

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 66

    Schaltung strukturgleicher Ausdruck

    Schaltungsanalyse

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 67

    Schaltungsanalyse

  • © K. Henke / H.-D. Wuttke, 2020/21 www.tu-ilmenau.de/iks 68

    Viel Spaß beim Wiederholen!

    Kap. 3.3.1, 3.5.-3.5-2, 3.6.1 - 3.6.3, 4.1, 4.2

    Bis nächsten Donnerstag ...

    Das war‘s für heute