Digitaltechnik Klaus Becker 2007.

Präsentation zum Thema: "Digitaltechnik Klaus Becker 2007."—  Präsentation transkript:

1 Digitaltechnik Klaus Becker 2007

2 Digitaltechnik S R & C 1 QS QM

3 Logische Grundoperationen
Teil 1 Logische Grundoperationen

4 Aufzugssteuerung Problem: Ein Aufzug soll sich nur dann nach oben bewegen, wenn der Knopf gedrückt und die Tür zu ist. Lösung: Nur wenn der Stromkreis geschlossen ist, kann der Motor den Aufzug bewegen. nach H. Bühler: Grundlagen einer Verständigung mit Computern

5 Binäre Kodierung mit Schaltvariablen
Kodierung mit zwei Werten: 0 / 1 y Schaltvariable x1 x2 Beschreibung von Systemzuständen: x1 = 0: Tür ist offen 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 Systemzustände: Tür ist offen / geschlossen Schalter ist gedrückt / nicht gedrückt Motor ist inaktiv / aktiv

6 Beschreibung des Systemverhaltens
Beschreibung von Systemzuständen: x1 = 0: Tür ist offen 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 y x1 x2 Schalttabelle / Schaltfunktion x1 1 x2 1 y 1 „Motor ist aktiv“ genau dann, wenn „Tür ist geschlossen“ und „Schalter ist gedrückt“

7 Logische Deutung Logische Deutung 0: falsch 1: wahr y x1 x2 x1 1 x2 1
Wahrheitswerte x1 x2 logische Verknüpfung von Aussagen aussagenlog. Formel / Schaltterm x1 1 x2 1 y 1 y: „Motor ist aktiv“ genau dann, wenn x1: „Tür ist geschlossen“ und x2: „Schalter ist gedrückt“

8 Technische Lösung – mit Logikgatter
y Beschreibung von Systemzuständen: x1 = 0: Tür ist offen 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 x1 x2 x1 1 x2 1 y 1 x1 & y UND-Operator x2 Kontakt-schalter Und-Gatter Motor

9 Logik-basierte Systembeschreibung
Beschreibung des Systemverhaltens mit einer aussagenlogischen Formel (Schaltfunktion): y x1 1 x2 1 y 1 x1 x2 Systemgrößen Systemverhalten x1: „Tür ist geschlossen“ x2: „Schalter ist gedrückt“ y: „Motor ist aktiv“ „Motor ist aktiv“ genau dann, wenn „Tür ist geschlossen“ und „Schalter ist gedrückt“

10 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

11 Problem: Steuerung eines Türöffners
Problem: 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

12 Lösung mit ODER-Operator
Beschreibung der Systemgrößen 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 ODER-Operator x1 1 y x2

13 Problem: Kühlschrankbeleuchtung
Problem: Öffnet man den Kühlschrank, so soll das Licht im Kühlschrank automatisch angehen. nach H. Bühler: Grundlagen einer Verständigung mit Computern

14 Lösung mit NICHT-Operator
Beschreibung der Systemgrößen 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 NICHT-Operator

15 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

16 Übung Aufgabe: Testen Sie die Gatter zu den logischen Grundoperationen mit Hilfe von Hades. Gatter: [rechte Maustaste: create -> gates -> ...] Eingang: [rechte Maustaste: create -> io -> Ipin(switch)] Ausgang: [rechte Maustaste: create -> io -> Opin (LED)] Verbindungen mit der Maus "ziehen".

17 Schaltfunktionen und Schaltnetze
Teil 2 Schaltfunktionen und Schaltnetze

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

19 Funktionale Modellierung
Modellierung des Ein-/Ausgabe-Verhaltens (Black-Box-Modellierung): Binäre Daten 1 1 MUX DEMUX 1 Steuersignal Steuersignal 1 d0 d0 MUX DEMUX b b d1 d1 Eingaben Ausgaben Eingaben Ausgaben s s

20 Logische Systembeschreibung
Entwicklung von Schalttermen zur Beschreibung des Ein-Ausgabe-Verhaltens bzw. der Schaltfunktionen: d0 d0 MUX DEMUX b b d1 d1 Eingaben Ausgaben Eingaben Ausgaben s s s = 0: b = d0 s = 0: d0 = b s = 1: b = d1 s = 1: d1 = b Schaltterm

21 Schaltnetze Entwicklung von Schaltungen zu den Schalttermen. d0 d0 MUX
DEMUX b b d1 d1 s s NOT-Gatter d0 & & d0 b 1 d1 & & d1 Schaltnetz Schaltnetz s s

22 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

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

24 Ü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

25 Exkurs: Schaltalgebra
Teil 3 Exkurs: Schaltalgebra

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

27 Steuerung einer Autoinnenbeleuchtung
Beschreibung 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

28 Schaltterme und Schaltnetze
x1 1 x2 1 y 1 Schaltfunktion Schaltterme x1 x2 9 Gatter x1 & & y x2 1 2 Gatter & 1 y & Schaltnetze

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

30 Steuerung einer Autoinnenbeleuchtung
Beschreibung der Schaltfunktion mit einem Schaltterm – Version 2 Korrektheitsnachweis mit einer Wertetabelle: 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

31 Finden von Schalttermen
x1 1 x2 1 y 1 x1 x2 Problem: Wie findet man systematisch Schaltterme zur Repräsentation von vorgegebenen Schaltfunktion? 9 Gatter & 1 & 1 y &

32 Minimierung des Schaltnetzes
x1 1 x2 1 y 1 Problem: Wie gewinnt man möglichst einfache Schaltnetze zur Realisierung der vorgegebenen Schaltfunktion? x1 & 1 y x2 x1 & y x2 NAND-Gatter

33 Boolesche Algebra / Schaltalgebra
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 Entwickelt 1854 von George Boole ( )

34 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:

35 Aufstellen von Schalttermen
Minterm (Elementarkonjunktion) 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 Wert des Minterms y2 ist 1 gdw Wert(x1) = 0 und Wert(x2) = 1 gdw Wert(x1) = 1 und Wert(x2) = 1 Wert(y) ist 1 gdw Wert eines Minterms ist 1 Term in disjunktiver Normalform (Disjunktion von Mintermen)

36 Ä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

37 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

38 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

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

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

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

42 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

43 Termumformung m. Boolescher Algebra

44 Übung Aufgabe: Neben der NAND-Operation gibt es als weitere wichtige Operationen die NOR-Operation und die XOR-Operation. Testen Sie diese Operationen mit Hades und ergänzen Sie ihre Wertetabellen. Beschreiben Sie diese Operationen auch mit Schalttermen, in denen nur die drei Grundoperationen vorkommen. x1 1 x2 1 x1 NAND x2 1 x1 NOR x2 x1 XOR x2

45 Teil 3 Rechensysteme

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

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

48 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

49 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

50 Halbaddierer a 1 b 1 s 1 ü 1 1 a s HA 1 1 b ü Halbaddierer

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

52 Volladdierer m. Halbaddierer-Bausteinen
c ü HA 1 ü s ü HA s s a 1 b 1 s 1 ü 1 Volladdierer a b c s ü Halbaddierer

53 4-Bit-Paralleladdierer mit Bausteinen
Beispiel: (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

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

55 Hinweise: Erzeugung von Bausteinen
Schritt 1: Schaltnetz erzeugen und abspeichern (z. B.: ha.hds) Schritt 2: Neues Symbol erzeugen: [Edit][Create symbol] Schritt 3: Neuen Baustein erzeugen: [rechte Maustaste] [Create] [Create Subdesign...] ha.hds Schritt 4: Neuen Baustein benutzen: [rechte Maustaste] [Create] [Create Subdesign...] ha.hds

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

57 Ü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

58 Lösung - Addierer

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

60 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

61 Teil 4 Flip-Flops

62 An der Tankstelle Problem: Steuerung der Kontrolllampe einer Zapfsäule
Die Kontrolllampe zeigt an, ob die Zapfsäule bereit ist. Nur wenn sie bereit ist, führt ein Tankversuch zur Aktivierung der Pumpanlage. Durch Einhängen der Zapfpistole wird die Pumpanlage gesperrt. Sie ist erst wieder bereit, wenn sie freigegeben wird. nach D. Jonietz: Lehrprobenentwurf

63 Zapfsäule als zustandsbasiertes System
freigeben einhängen auslösende Aktion einhängen Anfangszustand bereit gesperrt Zustand freigeben Grundeigenschaft zustandsbasierter Systeme: Das Verhalten des Systems hängt nicht nur von den auslösenden Aktionen (freigeben / einhängen) ab, das Verhalten hängt auch von internen Zuständen des Systems (bereit / gesperrt) ab.

64 Binäre Kodierung nichts machen nichts machen freigeben freigeben
einhängen einhängen Neuer Zustand Aktueller Zustand bereit gesperrt nichts machen nichts machen freigeben freigeben einhängen einhängen einhängen und freigeben einhängen und freigeben S 0 0 1 1 R 0 0 1 1 Q 0 1 Q‘ 0 1 0 0 1 1 freigeben Zustände: Q = 0: „bereit“ Q = 1: „gesperrt“ Steuersignale: S: einhängen R: freigeben

65 Entwicklung einer Schaltung
nichts machen nichts machen freigeben freigeben einhängen einhängen einhängen und freigeben einhängen und freigeben S 0 0 1 1 R Q 0 1 Q‘ 0 1 1 1 Q 1 Q‘ S

66 Entwicklung einer Schaltung
nichts machen nichts machen freigeben freigeben einhängen einhängen einhängen und freigeben einhängen und freigeben S 0 0 1 1 R 0 0 1 1 Q 0 1 Q‘ 0 1 0 0 1 1 Q 1 S & Q‘ R

67 Entwicklung einer Schaltung
Q 1 S & Q‘ R Q 1 S 1 Q‘ R S 1 Q 1 Q‘ R

68 Überprüfung der Schaltung
1 P Bedingung: P = Q 1 Q R S = 1; R = 0; P = ..; Q = ..  P‘ = 0; Q‘ = 1 S = 0; R = 1; P = ..; Q = ..  P‘ = 1; Q‘ = 0 S = 0; R = 0; P = 1; Q = 0  P‘ = 1; Q‘ = 0 S = 0; R = 0; P = 0; Q = 1  P‘ = 0; Q‘ = 1 S = 1; R = 1; P = 0; Q = 1  P‘ = 0; Q‘ = 0 unzulässig S = 1; R = 1; P = 1; Q = 0  P‘ = 0; Q‘ = 0

69 Flip-Flop S S 0 0 1 1 R 0 0 1 1 Q 0 1 Q‘ 0 1 0 0 1 1 Funktion 1 P = Q
Zustand bewahren Zustand zurücksetzen 1 Q R Zustand setzen Flip-Flop-System Systemverhalten Eine Schaltung, die zwei stabile Zustände besitzt (bistabile Kippschaltung), wird als Flip-Flop bezeichnet.

70 Flip-Flop als Speicherelement
1 R 1 Q‘ Q 1 Funktion Bewahren Rücksetzen Setzen S 1 P = Q 1 Q R Flip-Flop-System Speicherelement S Q Schaltsymbol R Das entwickelte Flip-Flop-System verhält sich wie ein Speicherelement. Mit Hilfe der Funktionen „Setzen“ und „Rücksetzen“ wird ein Wert in den Speicher geschrieben, mit der Funktion „Bewahren“ wird er im Speicher aufbewahrt.

71 Zustandsgraph S 1 R 1 Q‘ Q 1 Funktion Bewahren Rücksetzen Setzen Q = 0
1 R 1 Q‘ Q 1 Funktion Bewahren Rücksetzen Setzen Q = 0 Q = 1 S = 0; R = 1 S R S = R = 1 vermeiden S Q = 0 Q = 1 R

72 Übung S 1 R 1 Q‘ Q 1 Funktion Bewahren Rücksetzen Setzen S 1 P = Q 1
1 R 1 Q‘ Q 1 Funktion Bewahren Rücksetzen Setzen S 1 P = Q 1 Q R Flip-Flop-System Speicherelement Aufgabe: Bauen Sie das Flip-Flop-System auf und testen Sie sein Verhalten.

73 Übung S S 0 0 1 1 R 0 0 1 1 Q 0 1 Q‘ Funktion & Q & P R Aufgabe:
System Systemverhalten Aufgabe: Testen Sie auch das dargestellte System und beschreiben Sie sein Verhalten.

74 Übung S S 0 0 1 1 R 0 0 1 1 Q 0 1 Q‘ Funktion & Q & P R Aufgabe:
System Systemverhalten Aufgabe: Testen Sie, ob man mit der oben dargestellten Schaltung ebenfalls ein Speicherelement erhält.

75 Von taktgesteuerten Flip-Flops zu Registern
Teil 5 Von taktgesteuerten Flip-Flops zu Registern

76 Synchronisation von Flip-Flops
In der Regel müssen bei Speichervorgängen mehrere Bits gleichzeitig übernommen werden. Hierzu ist es notwendig, die Flip-Flops zu synchronisieren, d. h., eine am Eingang vorliegende Information darf erst auf ein bestimmtes Signal hin übernommen werden. Man verwendet hierzu i. a. ein periodisches Taktsignal. 1-Zustand 0-Zustand Steigende Flanke Fallende Flanke

77 Taktgesteuertes Flip-Flop
Nur wenn der Takt den Wert 1 hat, kann ein Setzen oder Rücksetzen des Flip-Flops erfolgen. S & S Q C R & R C 1 S * 1 R * 1 Q‘ Q 1 C  S S = R = 1 vermeiden C  R C  S Q = 0 Q = 1 C  R

78 Übung Aufgabe: Testen Sie das entwickelte Flip-Flop mit Hades.
Ergänzen Sie anschließend das unten dargestellte Impulsdiagramm. S & S Q C R & R C S R Q Impulsdiagramm

79 Master-Slave-Flip-Flop
Die Belegungen der Eingänge wirken sich hier erst um eine halbe Taktperiode verzögert am Ausgang aus. Master- und Slave-Flip-Flop sind abwechselnd zum (Rück-)Setzen bereit bzw. gesperrt. C  S C  S QM = 0 QS = 0 C  R QM = 1 QS = 0 QM = 1 QS = 1 QM = 0 QS = 1 C Master Slave S R & C 1 QS QM

80 Übung Aufgabe: Testen Sie die Flip-Flop-Schaltung (siehe msff.hds) und ergänzen Sie das Impulsdiagramm. C S R QM QS

81 Flankengesteuertes D-Flip-Flop
& D Q P = Q C Ein Zustandswechsel erfolgt hier nur bei einer steigenden Taktflanke.

82 Übung Aufgabe: Erstellen Sie zunächst eine D-Flip-Flop-Testschaltung. Erzeugen Sie dann die im Impulsdiagramm dargestellten Eingangssignale und ergänzen Sie das Q-Ausgangssignal. C C C  D Z0 Q = 0 Z1 Q = 1 C C  D C  D C Z3 Q = 0 Z2 Q = 1 C  D C C C D Q

83 Schieberegister Ein 4-Bit-Schieberegister ist eine Einheit mit folgenden Eigenschaften: 1 1 /1/ Das Register kann 4 Bit mit Hilfe von Flip-Flops speichern. /2/ Das Register hat einen Dateneingang, über den es neue Werte aufnehmen kann. /3/ Mit jeder steigenden Taktflanke werden die gespeicherten Werte um eine Einheit nach rechts verschoben. Das erste Flip-Flop übernimmt den Wert am Dateneingang, der Wert des letzten Flip-Flops geht (hier) verloren.

84 Übung Entwerfen und testen Sie ein 4-Bit-Schieberegister, das mit Hilfe von D-Flip-Flops aufgebaut ist.

85 Schieberegister-Baustein
Hades stellt einen vordefinierten Schieberegisterbaustein zur Verfügung: [rechte Maustaste] [create] [create by name] [hades.models.register.ShiftRegister] Shift-Eingang Takt Eingang zum Laden Umschalten: Laden/Shift Reset

86 Übung Testen Sie den vordefinierten Schieberegister-Baustein von Hades. hades.models.register.ShiftRegister

87 Addierwerk Ein serielles 4-Bit-Addierwerk lässt sich wie dargestellt mit Hilfe eines Volladdierers und Schieberegisterbausteinen aufbauen. 1 1 1 1 VA 1

88 Übung Entwickeln Sie ein serielles 4-Bit-Addierwerk. Benutzen Sie vordefinierte Schieberegisterbausteine, um die Dualzahlen zwischenzuspeichern.

89 Register Ein Register soll als Speichereinheit wie folgt arbeiten:
ENA NR Q D clk /1/ Das Register kann 1 Bit speichern. /2/ Das Register hat einen Dateneingang D und einen Datenausgang Q. /3/ Mit Hilfe eines Steuereingang ENA (enable) kann das Register aktiviert bzw. deaktiviert werden. /4/ Mit Hilfe eines Steuereingangs NR (negated reset) kann das Register initialisiert werden: Das Register wird mit 0 belegt, wenn NR = 0 ist. /5/ Das Register reagiert nur bei steigender Taktflanke.

90 Übung Testen Sie folgende Realisierung des Registers.
wenn QFF = 1 und ENA = 0 ENA 1 oder NR Q wenn ENA = 1 und NR = 1 und D = 1 D clk

91 Übung Testen Sie auch den von Hades vordefinierten Register-Baustein: [create] [Create By Name] [hades.models.rtlib.register.RegRE] Stellen Sie den Baustein auf die Größe "8 Bit" ein: [rechte Maustaste] [Edit] [...]. Benutzen Sie eine hexadezimale Darstellung des Registerinhalts. hades.models.rtlib.io.IpinVector hades.models.rtlib.register.RegRE hades.models.rtlib.io.OpinVector

92 Lösung - Taktsteuerung
Nur wenn der Takt auf "1" ist, kann ein Setzen oder Rücksetzen des Flip-Flops erfolgen. C 1 S * 1 R * 1 Q‘ Q 1 C  S Q = 0 Q = 1 C  R C  S C  R S = R = 1 vermeiden C S R Q

93 Lösung - MS-Flip-Flop C  S C  S QM = 0 QS = 0 C  R QM = 1 QS = 0 QM = 1 QS = 1 QM = 0 QS = 1 C Ein Zustandswechsel erfolgt beim MS-Flip-Flop um eine halbe Taktperiode verzögert. S QM QS & & S S R R & & R C 1 C  S C S R QM QS

94 Lösung - D-Flip-Flop C C Ein Zustandswechsel kann nur bei einer steigenden Taktflanke erfolgen. C  D Z0 Q = 0 Z1 Q = 1 C C  D C  D C Z3 Q = 0 Z2 Q = 1 C  D C C C D Q 3 3 1 2 3 3 1 2 1 2 3

95 Teil 6 Registermaschine

96 Zielsetzung Mit Hilfe vorgegebener Hardwarebausteinen soll ein einfacher, voll funktionsfähiger Rechner entwickelt werden. Wir orientieren uns hier am Konzept des Bonsai-Rechners. (vgl.

97 Registermaschine Eine Registermaschine bearbeitet beliebig eingebbare Daten nach einem fest vorgegebenen Programm. Daten Programm 0: 5 1: 3 2: 0 3: 0 4: 0 .. > 0 JMP INC DEC TST JMP HLT > x INC i Erhöhe Register i um 1. Gehe zu Zeile x+1. > x DEC i Erniedrige Register i um 1. Gehe zu Zeile x+1. > x JMP i Gehe zu Zeile i. Wenn Register i ungleich 0 ist, dann gehe zu Zeile x+1, sonst zu Zeile x+2. > x TST i > x HLT Beende die Bearbeitung.

98 Universelle Registermaschine
Programm 0: JMP 3 1: INC 0 2: DEC 1 3: TST 1 4: JMP 1 5: HLT : : Codierung: CPU INC: 1 DEC: 2 JMP: 3 TST: 4 HLT: 5 Daten Programm 0: : : : : : : : : CPU Daten

99 Rechnerarchitektur (von Neumann)
Adressbus 0: : : : : : : : : PC IR Arbeitsspeicher Steuerwerk Datenbus Akku Rechenwerk

100 Befehlszyklus PC IR Akku Wiederhole Befehl holen
Adressbus 0: : : : : : : : : PC IR Arbeitsspeicher Steuerwerk Befehlszyklus Datenbus Wiederhole Befehl holen Befehl dekodieren und ausführen Akku Rechenwerk

101 Schritt 1: Akku-Register
Wir beginnen mit dem Akku-Register. Der hier benutzte Akku soll 8-Bit-Dateneinheiten aufnehmen können. Benutzen Sie den von Hades vordefinierten Register-Baustein: [create] [Create By Name] [...] Stellen Sie den Baustein auf die Größe "8 Bit" ein: [rechte Maustaste] [Edit] [...]. Benutzen Sie eine hexadezimale Darstellung des Registerinhalts. Akku hades.models.rtlib.register.RegRE CLK: Takt-Eingang (Register reagiert b. steigender Taktflanke) NR: Reset-Eingang (NR = 0: Reset) ENA: Enable-Eingang (ENA = 1: Register bereit zum Lesen) D: Daten-Eingang Q: Daten-Ausgang

102 Registertest Testen Sie den Registerbaustein. Benutzen Sie geeignete Eingabe- und Ausgabe-Einheiten (die auf die Größe "8 Bit" angepasst werden müssen). Schreiben Sie einen Wert in das Register und lesen Sie ihn wieder aus. hades.models.rtlib.io.IpinVector hades.models.rtlib.io.OpinVector

103 Schritt 2: Rechenwerk Akku
Mit Hilfe des Rechenwerkes sollen einfache Inkrementier- und Dekrementieroperationen ausgeführt werden. Akku Rechenwerk Das Rechenwerk wird hier mit vordefinierten Incr- bzw. Decr-Bausteinen realisiert. Zur Auswahl der Datenleitungen werden geeignete Multiplexer benötigt.

104 Test des Rechenwerks Bauen Sie die Schaltung auf und testen Sie diese, indem Sie eine zweistellige Hexadezimalzahl (8-Bit-Einheit) in den Akku schreiben und diese Zahl dann inkrementieren / dekrementieren. hades.models.rtlib.arith.Decr hades.models.rtlib.arith.Incr hades.models.rtlib.muxes.Mux21

105 Schritt 3: Arbeitsspeicher
Die im Akku-Register zu verarbeitenden Daten sollen aus einem Arbeitsspeicher geholt und nach der Bearbeitung im Akku wieder in den Arbeitsspeicher geschrieben werden. 0: : : : : : : : : Arbeitsspeicher Akku Rechenwerk

106 RAM-Baustein Erzeugen Sie einen RAM-Baustein und legen Sie die Speichergröße wie angezeigt fest. Hades zeigt die Speicherinhalte zunächst nicht korrekt als zweistellige Hexadezimalzahlen an. Benutzen Sie folgenden "Trick": Speichern Sie die Schaltung ab. Öffnen Sie diese Datei mit einem Texteditor. Ergänzen Sie die Zeile zur Beschreibung des RAM-Bausteins um eine Datei-Angabe. In dieser Datei sollen die gewünschten Speicherinhalte stehen. [components] ... hades.models.rtlib.memory.RAM i RP1.rom [end components] hades.models.rtlib.memory.RAM nCS: nCS = 0: (notChipSelect) RAM-Baustein aktiv nWE: nWE = 0: DIN  adressiertes Register nWE = 1: adressiertes Register  DOUT A: Adress-Eingang DIN: Daten-Eingang DOUT: Daten-Ausgang

107 RAM-Test Testen Sie das bisher entwickelte System. Der Inhalt von Register 7 soll aus dem Speicher gelesen und im Akku zwischengelagert werden. Anschließend soll dieser Wert inkrementiert werden. RAM  Akku

108 RAM-Test Testen Sie das bisher entwickelte System. Der im Akku zwischengelagerte Wert soll zurück in das Register 7 geschrieben werden. Akku  RAM

109 Schritt 4: Datenbus Akku
Der Datenaustausch zwischen dem Arbeitsspeicher und dem Akku-Register soll über einen Datenbus erfolgen. 0: : : : : : : : : Arbeitsspeicher Datenbus Akku Rechenwerk

110 Datenbus Datenbus Datenbus RAM  Datenbus  Akku Akku  Datenbus  RAM

111 Torsteuerung hades.models.rtlib.muxes.TriBuf Datenbus Bei der Realisierung des Busses muss darauf geachtet werden, dass nicht mehrere Quellen ihre Daten gleichzeitig auf den Bus schreiben. Der Datenfluss soll mit Hilfe von Toren, die durch Tristate-Gatter realisiert werden, geregelt werden.

112 Tristate-Verhalten S 1 E 1 A 1 S 1 E 1 A Z 1 S = 0: passiv
UND-Gatter S 1 E 1 A 1 Tristate-Gatter S 1 E 1 A Z 1 hochohmig S = 0: passiv S = 1: aktiv (durchlassen)

113 Schritt 5: Befehlsregister und Adressbus
JMP 3 0: : : : : : : : : IR Arbeitsspeicher Datenbus Akku Rechenwerk

114 Befehlsregister Die hexadezimal kodierten Befehle werden im Befehlsregister in ihre Bestandteile zerlegt. Adressbus Bussplitter Speicher Befehlsregister Befehlsregister Datenbus Reset

115 Befehlsregister und Bussplitter
hades.models.rtlib.io.BusTapBottom hades.models.rtlib.io.BusTapBottom hades.models.rtlib.register.RegRE hades.models.rtlib.register.RegRE

116 Bussystem 4-Bit-Adressbus Speicher mit 16 8-Bit-Registern
Befehlsregister Befehlsregister 8-Bit-Datenbus

117 Schritt 6: Programmzähler
Adressbus 0: : : : : : : : : PC IR Arbeitsspeicher Datenbus Akku Rechenwerk

118 Programmzähler Adressbus Programmzähler Befehlsregister
Datenbus

119 Schritt 7: Programmbeendung
Adressbus 0: : : : : : : : : PC 3 3 IR Arbeitsspeicher Datenbus Akku Rechenwerk

120 Nullentdeckung Datenbus hades.models.rtlib.compare.CompareEqual

121 Schritt 8: Steuerwerk PC IR Akku Adressbus 3 3 Arbeitsspeicher
0: : : : : : : : : PC 3 3 IR Arbeitsspeicher Steuerwerk Datenbus Akku Rechenwerk

122 Steuerwerk Steuersignal Steuerwerk

123 Mikroprogramm Mikroprogramm Befehl holen 0 10 1 10, 3, 11 2 0, 2
INC ausführen , 3, , , 4, 8, , 1 ... Mikroprogramm

124 Ausführung des Mikroprogramms
Befehl holen , 3, , 2 INC ausführen , 3, , , 4, 8, , 1 ... Mikroprogrammzähler Mikroprogrammzähler

125 Funktionseinheiten Programmzähler Befehlsregister Adressbus
Arbeitsspeicher Datenbus Rechenwerk Steuerwerk Akkumulator

126 Funktionseinheiten PC IR Akku Adressbus Arbeitsspeicher Steuerwerk
Datenbus Akku Rechenwerk

127 Literaturhinweise F. Gasper, I. Leiß, M. Spengler, H. Stimm: Technische und theoretische Informatik. Bsv 1992. Eckhart Modrow: Automaten Schaltwerke Sprachen. Dümmler Verlag 1988. H. Bühler: Grundlagen einer Verständigung mit Computern. Skript. Heinz-Dietrich Wuttke, Karsten Henke: Schaltsysteme. Pearson Studium 2003. ...