Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Proseminar - Wintersemester 2009/10
Übersicht
| Beschreibung |
In diesem Proseminar sollen - ausgehend von den Kenntnissen, die in der Vorlesung "Technische Informatik" vermittelt werden - algorithmische Methoden, die im Hardwareentwurf von grundlegender Bedeutung sind, erarbeitet werden. Folgende Themen werden angeboten: Themenbereich 1: Basisalgorithmen und Datenstrukturen (1) Endliche Zustandsautomaten (Betreuer: Ralf Wimmer) (2) OBDDs (Betreuer: Sven Reimer) (3) SAT (Betreuer: Tobias Schubert) Themenbereich 2: Entwurfsschritte (4) Place & Route (Betreuer: Philipp Klaus Krause) (5) Verifikation (Betreuer: Stefan Kupferschmid) (6) Testen (Betreuer: Stefan Hillebrecht) Themenbereich 3: Testverfahren (7) Fehlersimulation (Betreuerin: Bettina Braitling) (8) ATPG (Betreuer: Alexander Czutro) Themenbereich 4: Formale Verifikationsverfahren (9) SAT-basierte Verifikation (Betreuer: Matthew Lewis) (10) (FR)AIGs mit Anwendungen in der Verifikation (Betreuerin: Natalia Kalinnik) (11) Blackbox-Verifikation (Betreuer: Christian Miller) |
| Kommentar |
Die Teilnehmer - normalerweise Bachelor-Studierende im 3. Semester - lernen, sich selbständig Originalliteratur zu erarbeiten und ihr so gewonnenes Wissen in einem Vortrag den anderen Proseminarteilnehmern zu vermitteln. Zusätzlich soll eine 8- bis 10-seitige schriftliche Ausarbeitung des Themas angefertigt werden. |