Zustand
Ein Schaltwerk arbeitet in Schritten
Eine Ampel steht normalerweise auf rot. Drückt man den Knopf geht sie auf grün
verbleibt dort für 3s und wechselt wieder auf rot
Zustandsgraph
Knoten des Graphen
Knoten des Graphen sind die Zustände des Schaltwerks
Eingehende Kante
Eingabe: i
Ausgabe: o
i/o durch Schrägstrich getrennt
* steht steht für beliebige Eingabe
Signal: Eingabe: Knopf
Signal: Ausgabe, Signal Farbe Wert 0 rot, 1 grün
Die Mengen der
Eingaben
Ausgaben
Zustände sind endlich
Die Takte eines Schaltwerkes sind normalerweise gleich lang
Takte
Taktdauer: Die Dauer jedes Schrittes
Taktsignal: Die Steigendes Flanke eines Signals nach einer Taktdauer
Der Kehrwert der Taktdauer: Frequenz
n-Bit-Register
n Dateneingänge
n Datenausgänge
CLK oder Taktsignal
Steuereingang
z0, z0+
z1, z1+
z2, z2+
zw, zw+
Folgezustand
z0+
z1+
z2+
Übergangsschaltnetz für z0+ -> n Bit Register -> z0
Übergangsschaltnetz für z1+ -> n Bit Register -> z1
Übergangsschaltnetz f+r z2+ -> n Bit Register -> z2
z0+ := z0 AND NOT Knopf OR z2
z1+ := z1 AND Knopf
z2+ := z0
Farbe := z0 AND Knopf OR z1 OR z2
Beginnend mit einer Rot Phase von einer Sekunde
Gefolgt von einer Gelb Phase von 2 Sekunden
Die Rot Phase mindestens 2 Sekunde
Kann auf 5s verlängert werden.