Lehrveranstaltung EDA-Tools (1/1/1, SS)
Die Lehrveranstaltung EDA-Tools beschäftigt sich in 2 Semestern aufbauend auf dem in den Lehrveranstaltungen Schaltkreisentwurf und Systementwurf erworbenen Wissen mit dem Entwurf, der Modellierung, Beschreibung und Synthese von komplexen Systemen unter Nutzung kommerzieller Entwurfstools. Die Lehrveranstaltung besteht aus Vorlesung, Übung und Praktikum (nur im Sommersemester).
Materialien zur Vorlesung
- liegen in diesem Verzeichnis (Folien werden während des Semesters bereitgestellt; Registrierung in OPAL notwendig, siehe unten)
Vorlesungstermine
Mittwoch 9:15-10:45 Uhr (Raum 2/D221), gerade Wochen. Achtung - teilweise findet die Vorlesung zum Übungstermin statt! Bitte beachten Sie folgenden Vorlesungsplan:
V1 Introduction, Review
V2 Basics of Formal Verification. ACHTUNG: Nutzung der Übungseinheit! (Änderung von Datum und Uhrzeit)
V3 SAT-based equivalence check
V4 Binary Decision Diagrams
V5 Temporal Logic
V6 Formal Property Checking
V7 Model Checking
Übungsunterlagen können im OPAL heruntergeladen werden. Der Zugang zu den Unterlagen ist nach erfolgter Einschreibung möglich.
Bitte bringen Sie die Aufgabenblätter ausgedruckt zu den Übungseinheiten mit!
Übungstermine
Mittwochs 7:30 Uhr im Raum 2/D221. Achtung - die Übung findet nicht wöchentlich statt! Die genauen Termine entnehmen Sie bitte folgender Übersicht:
Ü1 Repetition Boolean Algebra
Ü2 SAT-based equivalence checking, practice introduction
Ü3 SAT-based equivalence checking, practice introduction ctd.
Ü4 Binary Decision Diagrams. ACHTUNG: Nutzung der Vorlesungseinheit! (Änderung der Zeit)
Ü5 Temporal Logic. ACHTUNG: Neuer Termin!
Ü6 Temporal Logic ctd., model checking
Ü7 Konsultation. ACHTUNG: Nutzung der Vorlesungseinheit! (Änderung der Zeit)
Praktikum
Die Praktika beginnen am 9. bzw. 11. Mai (M_Es: Dienstag 17:15-18:45 Uhr, M_IS: Donnerstag 9:15-10:45 Uhr, jeweils Raum 2/W451). Um Zugang zu den Praktikumsunterlagen zu erhalten, schreiben Sie sich bitte im OPAL ein. Zusätzlich zum Praktikum ist das Lösen der mit Stern (*) markierten Übungsaufgaben Teil der Prüfungsvorleistung!
Hinweis: Die Praktikumsaufgaben werden bereits in den Übungen erläutert.
Praktikumsunterlagen: OPAL. Zugang zu den Unterlagen ist nach erfolgter Einschreibung in OPAL möglich.