Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
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.