Finite-State-Machine für ein Lichtsignal-Steuerungs-Prototyp
Übersicht
Worum es bei diesem Projekt geht.
Spezifiziere die FSM: 8 Zustände (3 Hauptphasen + 2 Übergänge + 2 Sonderphasen + Init), Eingänge (Fußgänger-Taster, Fahrzeug-Sensor, Notfall-Signal), Ausgänge (3 Ampel-Lampen pro Richtung). Implementiere als Two-Process- oder Three-Process-VHDL-Stil (Begründung dokumentieren). Verifiziere mit Coverage-Tests (alle Zustandsübergänge mindestens einmal abgedeckt). Sichere kritische Eigenschaften per Assertion (z. B. nie gleichzeitig zwei Grün-Phasen). Liefere Source, Testbench mit Coverage-Bericht, FPGA-Demo (Spartan-7) und 6-seitiges Designdokument mit State-Diagramm.
Das Briefing
Was Du tust und was Du zeigst.
Wie entwirft, implementiert und verifiziert man eine FSM für eine adaptive Ampel-Steuerung mit Coverage-Tests und Sicherheits-Assertions?
Earning criteria — what you'll demonstrate
- FSM-Spezifikation aus Anforderungen sauber ableiten
- Two-Process- vs. Three-Process-VHDL-Stil mit Trade-offs wählen
- Coverage-getriebene Verifikation als Standard-Praxis anwenden
- Assertions für sicherheitskritische Eigenschaften formulieren
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Software-Entwickler:in
Software-Entwickler:innen, die FSMs sauber designen können, schreiben State-Maschinen in jeder Sprache (Switch-Case, State-Pattern) deutlich besser.
Dieses Projekt schärft
- fsm-design
- sequential-circuits
- assertions
Noch eine Sache