Sequenzielle Logik
Englisch: sequential logic
Eine Form der Digitalschaltlogik, bei der die aktuellen Ausgänge nicht nur von den aktuellen Eingängen abhängen, sondern auch von einem Speicher vergangener Eingänge und Zustände.
Sequenzielle Logik: Schaltungen, die sich merken, was vorher passiert ist
Sequenzielle Logik ist eine Klasse von digitalen Schaltungen, bei denen die Ausgabe in jedem Moment nicht nur von den gerade anstehenden Eingaben abhängt, sondern auch von den Zuständen, die die Schaltung durchlaufen hat. Anders als kombinatorische Logik, die Ausgaben unmittelbar aus den Eingaben erzeugt, nutzt sequenzielle Logik Speicherelemente wie Flipflops oder Latches, um Informationen über vorherige Zustände zu bewahren. Dieses Speichervermögen ist es, das das Verhalten der Schaltung von ihrer Geschichte abhängig macht.
Das Herzstück jeder sequenziellen Schaltung ist das Taktsignal, ein regelmäßiger Puls, der Zustandsänderungen im gesamten System synchronisiert. Bei jeder Taktflanke (steigend oder fallend, je nach Auslegung) erfassen Flipflops ihre Eingaben und aktualisieren ihren gespeicherten Zustand. Das nennt sich synchrone sequenzielle Logik, die häufigste Art in modernen digitalen Systemen. Asynchrone sequenzielle Logik existiert, ist aber schwieriger zuverlässig zu entwerfen, da Zustandsänderungen in jedem beliebigen Moment auftreten können; sie wird hauptsächlich dort verwendet, wo ein Taktsignal unpraktisch ist oder wo Geschwindigkeit entscheidend ist und die Spielräume sorgfältig verwaltet werden.
Flipflops und Zustandsmaschinen
Die grundlegenden Bausteine sind Flipflops: bistabile Bauelemente mit zwei stabilen Zuständen, typischerweise mit 0 und 1 bezeichnet. Gebräuchliche Typen sind SR-Flipflops (Set-Reset), JK-, D- (Data) und T-Flipflops (Toggle), jeder mit unterschiedlichem Eingabeverhalten. Flipflops werden kaskadenförmig angeordnet und verknüpft, um endliche Zustandsmaschinen zu bilden, die von einem definierten Zustand zu einem anderen übergehen, basierend auf Eingabebedingungen und dem Takt. Ein einfaches Beispiel ist ein Zähler: seine Ausgabe wird mit jedem Taktimpuls erhöht, das Ergebnis wird in Flipflops gespeichert. Ein komplexeres Beispiel ist ein Sequenzer, der eine vorgegebene Abfolge von Operationen abarbeitet.
Sequenzielle Schaltungen sind überall dort unverzichtbar, wo es auf Reihenfolge, Zeitablauf oder Zustandserhaltung ankommt: in Mikroprozessoren, Steuersystemen, Kommunikationsprotokollen und in jedem digitalen System, das Informationen zeitlich verarbeiten muss, statt augenblicklich. Der Entwurf erfordert sorgfältige Beachtung von Setup- und Hold-Zeiten (das Fenster, während dessen eine Eingabe stabil zur Taktflanke sein muss), Taktverteilung und das Risiko von Metastabilität, die auftritt, wenn ein Flipflop nahe einer Takttransition gestört wird und eine unvorhersehbare Zeit zum Stabilisieren braucht.
Der Gegensatz zur kombinatorischen Logik ist deutlich: ein Multiplexer oder Addierer (kombinatorisch) reagiert auf Eingaben innerhalb von Nanosekunden ohne Speicher; eine Zustandsmaschine (sequenziell) merkt sich ihren Weg durch eine Sequenz und erzeugt Ausgaben, die nicht nur die aktuelle Eingabe, sondern die akkumulierte Historie kodieren. Diese Unterscheidung prägt, wie Ingenieure jeden digitalen Entwurf aufteilen: manche Blöcke sind reine Logik, andere haben Zustand, und die Wechselwirkung zwischen ihnen muss sorgfältig zeitlich abgestimmt werden, um korrekte Funktion über alle Temperatur- und Spannungsecken zu sichern.