Technische Informatik (RO) Zahlensysteme, Digitale Systeme (1) Boolesche Algebren: BMA, BAA (2,3) Kombinatorische Schaltungen (4) Automaten (5,6) Informationskodierung (7) Sequentielle Schaltungen (6) Fortsetzung Teil Rechnerarchitektur, Prof. Fengler 8. Dezember 2015
Beispiel
Beispiel www.goldi-labs.net
Moore-Automat In Ausgabefunktion Moore: nur Konstanten
Moore-Automat In Ausgabefunktion Moore: nur Konstanten
Mealy-Automat In Ausgabefunktion Mealy: auch x-variable Ausgabefunktion: y 0 = z 0 x 2 y 1 = z 0 x 2 Schaltung Zustandsüberführungsfunktion: z 0 := z 0 x 0 z 0 x 1
Moore-Automat Beispiel (vollständig und widerspruchsfrei)
Moore-Automat Beispiel Dff & z 0 Dff z 1
Parallele Automaten Ausgabefunktion: y 0 = z 1 z 0 y 1 = z 1 z 0 Zustandsüberführungsfunktion: z 0 := z 0 x 1 z 0 x 2 z 1 z 0 z 1 z 0 x 2 x 0 z 1 := x 2
Parallele Automaten Beispiel Dff & z 0 Dff z 1
Parallele Automaten fahren stopp links rechts
Parallele Automaten fahren stopp links rechts
Parallele Automaten fahren stopp links rechts
Parallele Automaten fahren stopp links rechts
Parallele Automaten fahren stopp links rechts
Parallele Automaten fahren stopp links rechts
Parallele Automaten www.goldi-labs.net
Parallele Automaten x26... Fahrstuhl auf Ebene 4 y0... Fahren - aufwärts y1... Fahren - abwärts x20... Fahrstuhlsteuerung Ebene 1 y18... Fahrsteuerung Rufanzeige 1 x0... Fahrstuhl auf Ebene 1
Parallele Automaten a0: auf/ab Syntax: NOT! AND & OR # x26 2 Zustände Z0: aufwärts fahren!a0z0 Z1: abwärts fahren a0z0 y0 y1 Zustandsüberführungsfunktion x20 / y18 a0z0 :=!a0z0&x26 # a0z0&!x0 Ausgabefunktion x0 y0=1 => aufwärts y0=!a0z0 y1=1 => abwärts y1= a0z0
Parallele Automaten a0: auf/ab; stopp, wenn!x20 Syntax: NOT! AND & OR # x26 2 Zustände Z0: aufwärts fahren /a0z0 Z1: abwärts fahren a0z0 y0 y1 Zustandsüberführungsfunktion x20 / y18 a0z0 :=!a0z0&x26 # a0z0&!x0 Ausgabefunktion x0 y0=1 => aufwärts y0=!a0z0&!x20 y1=1 => abwärts y1= a0z0&!x20
Parallele Automaten a1: Schalter aus x20 Taster offen Taster gedrückt Taster gedrückt y=0 y=1 Taster offen Taster offen y=0 y=1 Taster gedrückt Taster gedrückt Taster offen
Parallele Automaten a1: Schalter aus x20 minimiert nicht minimiert a1z0 := a1z0&!x20#!a1z1&x20 a1z1 := a1z0&!x20#a1z1&x20 y18 =!a1z1&a1z0#a1z1&a1z0 (LED)
Parallele Automaten a1: Schalter aus x20
Parallele Automaten Teilautomat a0: aufwärts/abwärts fahren Z0: aufwärts fahren [0] /a0z0 Z1: abwärts fahren [1] a0z0 Teilautomat a1: Taster als Schalter Z0: Taster nicht gedrückt [0,0]!a1z1&!a1z0 Z1: Taster gedrückt [0,1]!a1z1&a1z0 Z3: Taster nicht gedrückt [1,0] a1z1&!a1z0 Z2: Taster gedrückt [1,1] a1z1&a1z0
Parallele Automaten a0: auf/ab; stopp, durch a1 Syntax: NOT! AND & OR # x26 2 Zustände Z0: aufwärts fahren /a0z0 Z1: abwärts fahren a0z0 y0 y1 Zustandsüberführungsfunktion x20 / y18 a0z0 :=!a0z0&x26 # a0z0&!x0 Ausgabefunktion x0 y0=1 => aufwärts y0=!a0z0&!a1z0 y1=1 => abwärts y1= a0z0&!a1z0
Das war TI, Teil Rechnerorganisation Viel Spaß beim Wiederholen! und bei der Prüfung! Nächste Woche weiter mit Prof. Fengler