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


Proseminar: Entwurfsmethoden - Wintersemester 08/09

Übersicht


Beschreibung 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 10- bis 12-seitige schriftliche Ausarbeitung des Themas angefertigt werden.
Kommentar 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.

Schwerpunkt sind Techniken, wie sie auch in der Industrie bei Firmen wie Intel, Infineon, AMD usw. 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, Schaltkreise für schnelle Addition und Division, Testmethoden ...