Proseminar: Computer Aided Engineering - Wintersemester 2011/12

Übersicht

Beschreibung

Proseminar im Bachelor-Studiengang (Blockveranstaltung, 3 ETCS)

Folgende Themenbereiche werden voraussichtlich angeboten:

Themenbereich 1: Basisalgorithmen und Datenstrukturen
(1) Endliche Zustandsautomaten
(2) OBDDs
(3) SAT

Themenbereich 2: Entwurfsschritte
(4) Place & Route
(5) Verifikation
(6) Testen

Themenbereich 3: Testverfahren
(7) Fehlersimulation
(8) ATPG

Themenbereich 4: Formale Verifikationsverfahren
(9) SAT-basierte Verifikation
(10) (FR)AIGs mit Anwendungen in der Verifikation
(11) Blackbox-Verifikation

Kommentar

Sprache: deutsch

Lernziele: In diesem Proseminar sollen - ausgehend von den Kenntnissen, die in der Vorlesung "Technische Informatik" vermittelt werden - algorithmische Methoden, die im Hardware- und Embedded Systems-Entwurf von grundlegender Bedeutung sind, erarbeitet werden.

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.