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. |