Next: /media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdl20240110/automat2024_01_03.png Up: vhdl - ttl - Previous: /media/sda-magnetic/david/Dok-15-2023-11-27/informatik/vhdl20240110/automat2024_01_03c.png
A B C D [CODE] 0 00 0 0 [CODE] 0 01 0 2 [CODE] 0 10 1 3 [CODE] 1 00 0 1 [CODE] 2 00 1 2 [CODE] 2 01 0 1 [CODE] 2 10 0 2 [CODE] 3 00 0 1 [CODE] A: Aktueller Zustand B: Eingabe, x1, x2 C: Ausgabe, y, D: Folgezustand A B C D Unär Kodierter Folgezustand 0 00 0 0 0001 0 01 0 2 0100 0 10 1 3 1000 1 00 0 1 0010 2 00 1 2 0100 2 01 0 1 0010 2 10 0 2 0100 3 00 0 1 0010 A: Aktueller Zustand B: Eingabe, x1, x2 C: Ausgabe, y, D: Folgezustand Zunächst mache eine Zustandsminimierung A C D1 D2 D3 D4 0 0 0 2 0 1 3 1 0 1 2 1 2 2 0 1 2 3 0 1 (0,1) (0,1), (2,1) (0,2) (0,2), (2,2) (0,3) () Die Zustandsminimierung macht für mich an dieser Stelle irgendwo keinen Sinn. Ich werde mich drum kümmern. Es müsste gehen, aber ich gucke mir das genau an Das ist dies Mal nicht relevant. A B C D Unär Kodierter Folgezustand 0 00 0 0 0001 0 01 0 2 0100 0 10 1 3 1000 1 00 0 1 0010 2 00 1 2 0100 2 01 0 1 0010 2 10 0 2 0100 3 00 0 1 0010 A: Aktueller Zustand B: Eingabe, x1, x2 C: Ausgabe, y, D: Folgezustand z0+ <= (z0) and not x1 and not x0 z1+ <= ((z1) and not x1 and not x0) or (z2 and (not x1 and x0)) or (z3 and not x1 and not x0) z2+ <= (z0 and not x1 and x0) or (z2 and not x1 and not x0) or (z2 and x1 and not x0) z3+ <= (z0 and x1 and not x0) y <= (z0 and x1 and not x0) or (z2 or not x1 and not x0)