Lecture EDA Tools (1/1/1, SS)
The course EDA-Tools takes two semesters and teaches, based on the knowledge acquired from lectures of Circuit Design and System Design, the design, modeling, description and synthesis of complex systems by using commercial design tools. The course consists of Lecture, exercise and Practice session (only in summer semester).
Lecture material
- is located in this directory (Slides will be published during the semester; registration in OPAL required, see below)
Lecture dates
Wednesdays 9.15-10.45 a.m. (room 2/D221), even weeks. Attention - the lecture will take place in both lecture and exercise slots! Please note the following lecture schedule:
Download Timeline (iCal, .ics)
L1 Introduction, Review
L2 Basics of Formal Verification. ATTENTION: Exercise slot! (change of date and time)
L3 SAT-based equivalence check
L4 Binary Decision Diagrams
L5 Temporal Logic
L6 Formal Property Checking
L7 Model Checking
Exercise material is available in OPAL. Material access is granted after subscription.
Please print out the task sheets and bring them to the exercises!
Exercise dates
Wednesday 7.30 a.m., room 2/D221. Please refer to the following overview for exact dates:
Download Schedule (iCal, .ics)
E1 Repetition Boolean Algebra
E2 SAT-based equivalence checking, practice introduction
E3 SAT-based equivalence checking, practice introduction ctd.
E4 Binary Decision Diagrams. ATTENTION: Lecture slot! (change of time)
E5 Temporal Logic. ATTENTION: New date!
E6 Temporal Logic ctd., model checking
E7 Consultation. ATTENTION: Lecture slot! (change of time)
Practice
The practice labs will start on May 9th/May 11th (M_Es: Tuesday 5.15-6.45 p.m., M_IS: Thursday 9.15-10.45 a.m., both room 2/W451). For material access, please subscribe in OPAL. In addition to the practice task, it is mandatory to solve exercise tasks that are marked with an asterisk (*) to gain exam access!
Note: The practice tasks will be explained in the exercises!
Practice material: OPAL. Material access is granted after subscription.
