Lecture Verification of Digital Systems (0/1/2/1, SS)
The course Verification of Digital Systems (based on the winter semester course Design of Digital Systems) mainly teaches verification tools and methods for digital circuits and systems with focus on formal verification. Functionality and limits of commercial verification tools are discussed. The course consists of exercise, seminar (theory and presentation part), and a complex lab task.
Attention: Max. 60 participants! Due to limited capacity of our seminar room, the first classes will be held in hybrid form. Details are given by email.
Organization
The course Verification of Digital Systems is planned as presence course.
For course attendance and to receive updates via email, please subscribe in OPAL: Subscription to VoDS course
Please note that (for organizational reasons) we have a mixed schedule, i.e., in some cases we use seminar classes for tutorials and vice versa.
Details for tutorials, seminar classes and practice labs can be found on the other tabs of this page.
Tutorial
Please find four exercise sheets online. Access is possible after course subscription in OPAL (see "organizational" tab).
Several exercise tasks are marked with an asterisk (*). Exercise solutions must be submitted in written form (not by email!) one week after the corresponding tutorial class was given. Five out of six of these homework tasks must be solved and submitted..
Tasks marked with a double-asterisk (**) are additional tasks for your training and will not be discussed in the tutorials.
Seminar - theory part
Material: Available online
Seminar - presentation part
Seminar attendance is compulsory!
Practice labs
Practice tasks are to be solved at home, there is no compulsory attendance. The lab schedule given in the official timetable is to be neglected, as our lab room has no adequate capacity for everyone. Please make individual appointments for lab consultation (live or by videochat/Zoom).
For lab material access, please subscribe in OPAL.
Material: online.
In addition to the lab task, you also have to solve the homework exercise tasks marked with an asterisk (*) (precondition for exam)!
Deadline for lab tasks is 22.06.
Note: The lab tasks are introduced in the tutorials.
