Lecture Verification of Digital Systems (1/1/1/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 lecture, exercise, practice sessions and a seminar.
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
Details for lectures, tutorials, practice labs and seminar can be found on the other tabs of this page.
Lecture
Material: Available online
Please note that (for organizational reasons) we mostly use the seminar slot on Friday for our lectures (except the first lecture)!
Tutorial
Please note that (for organizational reasons) we mostly use the seminar slot on Friday for our tutorials!
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 (*). Five out of six of these homework tasks must be solved and submitted until 08.07. (PDF/photo/scan or written).
Tasks marked with a double-asterisk (**) are additional tasks for your training and will not be discussed in the tutorials.
Practice labs
Practice tasks are to be solved at home, there is no compulsory attendance. The lab schedule given in the official timetable can be neglected - 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 and homework tasks is 08.07.
Note: The lab tasks are introduced in the tutorials.
Seminar
For all M_Es and M_IS students of 2020 or later batch, there is a seminar, which is compulsory for exam access. Each student must give a 15-minute presentation on a selected topic. Details and schedule are given in the seminar introduction.
The seminar introduction is compulsory!
