Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Proseminar: Entwurfsmethoden - Wintersemester 05/06
Übersicht
| Beschreibung |
Die Teilnehmer - normalerweise Bachelor-Studierende im 3. Semester - lernen, selbständig Originalliteratur durchzuarbeiten und sie in einem Vortrag den anderen Proseminarteilnehmern zu präsentieren. Zusätzlich soll eine 10- bis 12-seitige schriftliche Ausarbeitung des Themas bis zum Semesterende angefertigt werden. Bei Fragen wenden Sie sich bitte an Ralf Wimmer. |
| Kommentar |
In diesem Proseminar sollen -- ausgehend von den Kenntnissen, wie sie in der Vorlesung "Technische Informatik" vermittelt werden -- algorithmische Methoden, die im Hardwareentwurf von grundlegender Bedeutung sind, erarbeitet werden. Schwerpunkt sind Techniken, wie sie auch in der Industrie bei Firmen wie Intel, Infineon, AMD ... in Software-Tools zum Entwurf von neuen FPGAs, Prozessoren und anderen integrierten Schaltungen eingesetzt werden. Mögliche Themen sind u.a.: Datenstrukturen für die Repräsentation und Manipulation Boolescher Funktionen (BDDs, AIGs, ...), SAT-Solver, Integer Linear Programming, Partitionierungsverfahren, Routingverfahren ... |