Technische Informatik (RO)

Transkript

1 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

2 Beispiel

3 Beispiel

4 Moore-Automat In Ausgabefunktion Moore: nur Konstanten

5 Moore-Automat In Ausgabefunktion Moore: nur Konstanten

6 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

7 Moore-Automat Beispiel (vollständig und widerspruchsfrei)

8 Moore-Automat Beispiel Dff & z 0 Dff z 1

9 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

10 Parallele Automaten Beispiel Dff & z 0 Dff z 1

11 Parallele Automaten fahren stopp links rechts

12 Parallele Automaten fahren stopp links rechts

13 Parallele Automaten fahren stopp links rechts

14 Parallele Automaten fahren stopp links rechts

15 Parallele Automaten fahren stopp links rechts

16 Parallele Automaten fahren stopp links rechts

17 Parallele Automaten

18 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

19 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

20 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

21 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

22 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)

23 Parallele Automaten a1: Schalter aus x20

24 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

25 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

26 Das war TI, Teil Rechnerorganisation Viel Spaß beim Wiederholen! und bei der Prüfung! Nächste Woche weiter mit Prof. Fengler