Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial


Proseminar: Computer Aided Engineering - Wintersemester 2010/11

Übersicht


Beschreibung Proseminar im Bachelor-Studiengang (Blockveranstaltung, 3 ETCS)

Folgende Themen werden voraussichtlich angeboten:

Endliche Zustandsautomaten
Gezeitete Automaten
Büchi Automaten

OBDDs
SAT
QBF

Place & Route
Floating Point Arithmetic

Testen
Fehlersimulation
ATPG
BIST

Verifikation
(FR)AIGs
SAT-basierte Verifikation


Vorbesprechung mit Themenvergabe: 19.10.2010, 11ct; Raum 51-00-026 (Lehrstuhlbesprechungsraum)
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.