Schaltnetze Klaus Becker 2003.

Präsentation zum Thema: "Schaltnetze Klaus Becker 2003."—  Präsentation transkript:

1 Schaltnetze Klaus Becker 2003

2 Funktionale Schaltsysteme
MUX d0 & 1 b d1 & s

3 Steuern mit logischen Operationen
Teil 1 Steuern mit logischen Operationen

4 Aufzugssteuerung Ein Aufzug soll sich nur dann nach oben bewegen, wenn der Knopf gedrückt und die Tür zu ist. nach H. Bühler: Grundlagen einer Verständigung mit Computern

5 Technische Lösung – mit Stromkreis
Schalter Schalter Nur wenn der Stromkreis geschlossen ist, kann der Motor den Aufzug bewegen.

6 Binäre Kodierung mit Schaltvariablen
y x1 x2 Schaltvariable x1 = 0: Tür ist offen x1 = 1: Tür ist geschlossen Binäre Kodierung: Kodierung mit zwei Werten: 0 / 1 x2 = 0: Schalter ist nicht gedrückt x2 = 1: Schalter ist gedrückt y = 0: Motor ist inaktiv y = 1: Motor ist aktiv

7 Beschreibung des Systemverhaltens
x1 x2 Schalttabelle / Schaltfunktion x1 = 0: Tür ist offen x1 1 x2 1 y 1 x1 = 1: Tür ist geschlossen x2 = 0: Schalter ist nicht gedrückt x2 = 1: Schalter ist gedrückt y = 0: Motor ist inaktiv y = 1: Motor ist aktiv

8 Logische Deutung y x1 x2 x1 1 x2 1 y 1
Schaltfunktion Aussagen x1 1 x2 1 y 1 x1: „Tür ist geschlossen“ x2: „Schalter ist gedrückt“ y: „Motor ist aktiv“ 0: falsch 1: wahr Wahrheitswerte

9 Logische Verknüpfung y x1 x2 x1 1 x2 1 y 1
Schaltfunktion x1 1 x2 1 y 1 „Motor ist aktiv“ genau dann, wenn „Tür ist geschlossen“ und „Schalter ist gedrückt“ Schaltterm

10 Technische Lösung – mit Logikgatter
y x1 x2 Kontaktschalter x1 & y Motor Kontaktschalter x2 Und-Gatter

11 Elektronik-Logik-Schichtung
Systemgrößen Systemverhalten x1: „Tür ist geschlossen“ x2: „Schalter ist gedrückt“ y: „Motor ist aktiv“ Logik Elektronik Kontaktschalter x1 & y Motor Kontaktschalter x2 Logikgatter

12 Idee: Logik-basierte Systembeschreibung
x1 x2 Binäre Kodierung der Systemgrößen mit Schaltvariablen Beschreibung des Systemverhaltens mit einer logischen Schaltfunktion x1: „Tür ist geschlossen“ x2: „Schalter ist gedrückt“ y: „Motor ist aktiv“

13 Steuerung eines Türöffners
Die Haustür soll sich öffnen, wenn der Türöffner im ersten oder im zweiten Stock gedrückt wird. nach H. Bühler: Grundlagen einer Verständigung mit Computern

14 Lösung Binäre Kodierung mit Schaltvariablen
x1: „Türöffner im 1. Stock ist gedrückt“ x2: „Türöffner im 2. Stock ist gedrückt“ y: „Türverriegelung ist deaktiviert“ Beschreibung des Systemverhaltens mit logischen Operationen x1 1 x2 1 y 1 x1 1 y x2

15 Steuerung einer Kühlschrankbeleuchtung
Öffnet man den Kühlschrank, so geht das Licht im Kühlschrank automatisch an. nach H. Bühler: Grundlagen einer Verständigung mit Computern

16 Lösung Binäre Kodierung mit Schaltvariablen
x: „Tür ist geschlossen“ y: „Licht im Kühlschrank ist an“ Beschreibung des Systemverhaltens mit logischen Operationen x 1 y 1 bzw. x 1 y

17 Logische Grundoperationen
Konjunktion / UND-Operation Disjunktion / ODER-Operation Negation / NICHT-Operation x1 1 x2 1 x1  x2 1 x1 1 x2 1 x1  x2 1 x 1 x 1 Logik Elektronik x1 x1 & y 1 y x 1 y x2 x2 UND-Gatter ODER-Gatter NICHT-Gatter

18 Übung Aufgabe: Testen Sie die Gatter zu den logischen Grundoperationen mit Hilfe von Hades.

19 Schaltfunktionen und Schaltnetze
Teil 2 Schaltfunktionen und Schaltnetze

20 Multiplexer – Demultiplexer
MUX DEMUX 1 Ein Problem der Vermittlungstechnik: Zwei Teilnehmer sollen wahlweise ihre Daten (in binärer Form kodiert) über eine gemeinsame Leitung senden.

21 Funktionale Modellierung
Binäre Daten MUX DEMUX Steuersignal Steuersignal 1 Ein-/Ausgabe-Modellierung (Black-Box-Modellierung) d0 d0 MUX DEMUX b b d1 d1 s s

22 Logische Systembeschreibung
d0 d0 MUX DEMUX b b d1 d1 s s Entwicklung von Schalttermen s = 0: b = d0 s = 0: d0 = b s = 1: b = d1 s = 1: d1 = b

23 Schaltnetz d0 d0 MUX DEMUX b b d1 d1 s s d0 & & d0 b 1 d1 & & d1 s s

24 Idee: Funktionale Modellierung
MUX b Beschreibung des Systemverhaltens mit einer logischen Schaltfunktion d1 s d0 & 1 Realisierung des Systems mit Hilfe eines Logik-basierten Schaltnetzes d1 & s

25 Übung Aufgabe: Erstellen und testen Sie mit Hilfe von Hades das entwickelte Schaltnetz. d0 & & d0 b 1 d1 & & d1 s s

26 Übung Aufgabe: Entwickeln und testen Sie ein Multiplexer-Demultiplexer-System mit 4 Datenleitungen. Benutzen Sie zur Auswahl der Datenleitung 2 Steuerleitungen. Adressieren Sie die Datenleitungen wie unten angezeigt. d0 d0 d1 b d1 MUX DEMUX d2 d2 d3 d3 1 s1 s0 s1 s0

27 Teil 3 Schaltalgebra

28 Steuerung einer Autoinnenbeleuchtung
Öffnet man eine der beiden Türen, so geht das Licht im Auto an. nach H. Bühler: Grundlagen einer Verständigung mit Computern

29 Steuerung einer Autoinnenbeleuchtung
Binäre Kodierung der Systemgrößen mit Schaltvariablen x1: „Fahrertür ist geschlossen“ x2: „Beifahrertür ist geschlossen“ y: „Licht im Auto ist an“ Beschreibung des Systemverhaltens mit einer Schaltfunktion x1 1 x2 1 y 1 x1 F y x2

30 Steuerung einer Autoinnenbeleuchtung
Beschreibung der Schaltfunktion mit einem Schaltterm – Version 1 Korrektheitsnachweis x1 1 x2 1 y 1 x1 1 x2 1 x1  x2 1 x1  x2 1

31 Steuerung einer Autoinnenbeleuchtung
Schaltfunktion: Schaltnetz: x1 & 1 y x2 NAND-Gatter x1 & y x2

32 Steuerung einer Autoinnenbeleuchtung
Beschreibung der Schaltfunktion mit einem Schaltterm – Version 2 Korrektheitsnachweis y1 y2 y3 x1 1 x2 1 y 1 x1 1 x2 1 x1  x2 1 x1  x2 1 x1  x2 1 (y1  y2)  y2 1

33 Steuerung einer Autoinnenbeleuchtung
Schaltfunktion: Schaltnetz: x1 x2 & 1 & 1 y &

34 Vergleich der Schaltnetze
x1 1 x2 1 y 1 Schaltfunktion Schaltterme x1 x2 9 Gatter x1 & & y x2 1 2 Gatter & 1 y & Schaltnetze

35 Minimierungsproblem x1 1 x2 1 y 1
1 x2 1 y 1 Wie findet man (möglichst einfache) Schaltterme zur Repräsentation von vorgegebenen Schaltfunktionen? x1 x2 9 Gatter x1 & & y x2 1 2 Gatter & 1 y &

36 Exkurs: Boolesche Algebra / Schaltalgebra
Entwickelt 1854 von George Boole ( ) Operationen: ¯ (NOT)  (AND)  (OR) Objekte: 0 (FALSE) 1 (TRUE) x1 1 x2 1 x1  x2 1 x1 1 x2 1 x1  x2 1 x 1 x 1

37 Schaltterme Schaltvariable
Eine Schaltvariable ist eine Variable, für die nur die Werte 0 und 1 eingesetzt werden können. Schaltterm Ein Schaltterm ist aufgebaut aus - den Konstanten 0 (FALSE) und 1 (TRUE) - Schaltvariablen - den Operationen  (AND),  (OR), ¯ (NOT). Beispiele:

38 Aufstellen von Schalttermen
y1 y2 y3 x1 1 x2 1 y 1 x1 1 x2 1 x1  x2 1 x1  x2 1 x1  x2 1 (y1  y2)  y2 1 Minterm (Elementarkonjunktion) Wert des Minterms ist 1 gdw Wert(x1) = 1 und Wert(x2) = 1 gdw Wert(x1) = 0 und Wert(x2) = 1 Term in disjunktiver Normalform (Disjunktion von Mintermen) Wert(y) ist 1 gdw Wert eines Minterms ist 1

39 Aufstellen von Schalttermen
x1 1 x2 1 y 1 x1 1 x2 1 x1  x2 1 Maxterm (Elementardisjunktion) Wert des Maxterms ist 0 gdw Wert(x1) = 0 und Wert(x2) = 0 gdw Wert(x1) = 1 und Wert(x2) = 1 Term in konjunktiver Normalform (Konjunktion von Maxtermen) Wert(y) = 0 gdw Wert eines Maxterms ist 0

40 Äquivalenz von Schalttermen
x1 1 x2 1 x1  x2 1 x1  x2 1 Zwei Schaltterme t1 und t2 sind (logisch) äquivalent gdw gilt: Der Wert von t1 und t2 ist für alle möglichen Einsetzungen der in t1 und t2 vorkommenden Variablen durch 0 bzw. 1 gleich. y1 y2 y3 x1 1 x2 1 x1 1 x2 1 x1  x2 1 x1  x2 1 x1  x2 1 (y1  y2)  y2 1

41 Gesetze der Schaltalgebra
x1 1 x2 1 x1 1 x2 1 x1  x2 1 x1  x2 1 x1  x2 1 y1  (y2  y3) 1 y1 y2 y3 x1 1 x2 1 x1 1 x2 1 x1  x2 1 x1  x2 1 x1  x2 1 (y1  y2)  y3 1

42 Gesetze der Schaltalgebra
Assoziativgesetz für Disjunktionen: a 1 b 1 c 1 a  b 1 b  c 1 (a  b)  c 1 a  (b  c) 1

43 Gesetze der Schaltalgebra
Assoziativgesetze: Kommutativgesetze: Distributivgesetze: Gesetze der neutralen Elemente:

44 Gesetze der Schaltalgebra
Komplementgesetze: De Morgansche Gesetze: Adsorptionsgesetze:

45 Vereinfachung von Schalttermen
Ergebnis: Die Terme sind logisch äquivalent.

46 Vereinfachung der Schreibweise
x1 1 x2 1 x1  x2 1 x1 1 x2 1 x1  x2 1 x 1 x 1 x1 1 x2 1 x1  x2 1 x1 1 x2 1 x1 + x2 1 x 1 x 1

47 Termumformung mit Boolescher Algebra

48 Übung Aufgabe: Gegeben ist eine Schaltfunktion in Tabellenform. Entwickeln Sie (möglichst einfache) Schaltterme zur Beschreibung der Schaltfunktion. Überprüfen Sie die Korrektheit mit Hilfe eines Schaltnetzes. a b c y

49 Rechnen mit Schaltalgebra
Teil 4 Rechnen mit Schaltalgebra

50 Wie viele Blätter sind hier dargestellt?
Zahldarstellungen Wie viele Blätter sind hier dargestellt? (10010)2 18 (12)16

51 Stellenwertsysteme 23 22 21 20 101 100 160 A B C D E F Dualzahlen Hexadezimalzahlen

52 Addiersystem Ziel ist es, ein Addiersystem für Dualzahlen zu entwickeln. Schriftliche Addition im Zehnersystem 1 1 2 9 1 0 Summand A Summand B Übertrag Summe Schriftliche Addition im Dualsystem 1 1 1 1 0 Summand A Summand B Übertrag Summe

53 Funktionale Modellierung
Summand A 1 1 1 1 0 Übertrag Summand B Summe 1 1 a s a s VA HA b 1 1 1 c ü b ü Volladdierer Halbaddierer

54 Halbaddierer a 1 b 1 s 1 ü 1 1 a s HA 1 1 b ü

55 Volladdierer a b c s ü 1 a s VA b 1 c ü

56 Volladdierer mit Halbaddierer-Bausteinen
c ü HA 1 ü s ü HA s s Halbaddierer-Baustein

57 Hinweise: Erzeugung von Bausteinen
Schritt 1: Schaltnetz erzeugen und abspeichern (Halbaddierer.hds) Schritt 2: Neues Symbol erzeugen: [Edit][Create symbol] Schritt 3: Neuen Baustein erzeugen: [Create][Create Subdesign...] Halbaddierer.hds

58 4-Bit-Paralleladdierer mit Bausteinen
(1001) + (1011) = 1(0100) a3 a2 a1 a0 1 1 1 ü VA s3 VA 1 s2 VA s1 HA s0 1 1 1 b3 b2 b1 b0

59 Übung Aufgabe: Erstellen und testen Sie zunächst einen Halb- und Volladdierer. Entwickeln Sie anschließend einen 4-Bit-Paralleladdierer mit Hilfe geeigneter Bausteine.

60 Übung Aufgabe: Entwickeln Sie analog zum 4-Bit-Addierer einen 4-Bit-Inkrementierer. Idee: 0 1 1 1 1 0 Zahl Inkrement Übertrag Nachfolger

61 Übung Aufgabe: Entwickeln Sie einen 4-Bit-Komparator, der überprüft, ob zwei 4-Bit-Dualzahlen gleich sind. Idee: 1 1 0 0 1 1 1 1 1 1 1 Zahl A Zahl B Hilf Ergebnis

62 Lösung - Addierer

63 Lösung - Inkrementierer
Idee: 0 1 1 1 1 0 Zahl Inkrement Übertrag Nachfolger

64 Lösung - Komparator 1 1 0 0 1 1 1 1 1 1 1 Idee: Zahl A Zahl B Hilf
1 1 0 0 1 1 1 1 1 1 1 Zahl A Zahl B Hilf Ergebnis

65 Exkurs: Binäre Kodierung
Teil 5 Exkurs: Binäre Kodierung

66 Kodierung von Information
Soll Information übermittelt, gespeichert oder verarbeitet werden, muss sie in geeigneter Weise durch Zeichen dargestellt werden. Man nennt diesen Vorgang Kodierung. (R. Baumann: Informatik für die Sekundarstufe II, Band 2. Klett-Verlag 1993.) Mondsichel

67 Binäre Repräsentation
Benutzt man zur Repräsentation der Information nur zwei Zeichen (Binärzeichen / Bit), so spricht man von einer binären Repräsentation. Als Binärzeichen verwendet man in der Regel die Zeichen 0 und 1. Eine endliche Folge von Binärzeichen heißt Binärwort. Ein Binärwort der Länge 8 nennt man Byte. Mondsichel

68 Prinzip der Zweiwertigkeit
Jede Information lässt sich binär darstellen. Alles, was sich mit Zeichen repräsentieren lässt, kann auch binär repräsentiert werden. Dies gilt insbesondere für Zahlen, kontinuierliche Größen (wie Farbe), Sprache, Bilder, Filme, Musik etc.. Mit Farbkodierung: 0000 – weiß 0010 – gelb .... M o n d Mondsichel ASCII-Code

69 Logische Deutung Binärzeichen lassen sich immer als Wahrheitswerte deuten. Jede Verarbeitung von Binärzeichen kann dann mit Hilfe der logischen Grundoperationen AND, OR, NOT dargestellt werden. A = E

70

71 Teil 6 Zusammenfassung

72 Entwicklung von Schaltsystemen
Binäre Repräsentation der Systemgrößen (Schaltvariablen) Modellierung des Systemverhaltens mit Hilfe von Aussagenlogik (Schaltterm, Boolesche Algebra, ...) Technische Realisierung des modellierten Systems mit Hilfe von Elektronikbausteinen (Logikgatter, ...)

73 Literaturhinweise Gasper, Leiß, Spengler, Stimm: Technische und theoretische Informatik. Bayerischer Schulbuch-Verlag 1992. Eckhart Modrow: Automaten Schaltwerke Sprachen. Dümmler Verlag 1988. H. Bühler: Grundlagen einer Verständigung mit Computern. Skript. ...

74 Simulationssoftware HADES (the Hamburg Design System) LOCAD (CAD-System für Logikschaltungen) WinLog Cornelsen Software