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


Proseminar: Computer Aided Engineering - Wintersemester 2014/15

Übersicht


Beschreibung Folgende Themen stehen zur Auswahl:


  • Testen

  • Fehlersimulation

  • ATPG

  • BIST

  • Verifikation

  • SAT

  • SAT-basierte Verifikation

  • Endliche Zustandsautomaten

  • Zeitautomaten 

  • OBDDs

  • (FR)AIGs

  • Hardware Trojan Detection


Weitere Themen werden auf Anfrage bekannt gegeben.
Die Themenvergabe erfolgt im Rahmen der Vorbesprechung.

Achtung! Neuer Termin für die Vorbesprechung: Dienstag 28.10.2014, 11 Uhr (c.t.), im Raum 00-026 im Gebäude 51.
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 - in der Regel 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.

Achtung! Neuer Termin für die Vorbesprechung: Dienstag 28.10.2014, 11 Uhr (c.t.), im Raum 00-026 im Gebäude 51.