Professur Schaltkreis- und Systementwurf
Verification of Digital Systems
Professur Schaltkreis- und Systementwurf 

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. 48 participants! Everyone who does not attend the introduction class on 07.04. will be removed from the course and someone else will be able to join from the waiting list.

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).

We recommend to print out the exercise sheets!

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.

Course organization, repetition boolean algebra
07.04.2025, 15:30 - 17:00, C25.038
Tutorial - Coverage
02.05.2025, 13:45 - 15:15, C25.037
Tutorial - BDDs, Practice introduction
12.05.2025, 15:30 - 17:00, C25.038
Tutorial - BDDs (ctd.)
16.05.2025, 13:45 - 15:15, C25.037
Tutorial - SAT
02.06.2025, 15:30 - 17:00, C25.038
Tutorial - Temporal Logic
16.06.2025, 15:30 - 17:00, C25.038
Tutorial - Model Checking
27.06.2025, 13:45 - 15:15, C25.037
Exam preparation
11.07.2025, 13:45 - 15:15, C25.037

Seminar - theory part

Material: Available online

Theory - Introduction, Review, Coverage and Introduction to Formal Verification
14.04.2025, 15:30 - 17:00, C25.038
Theory - Basics of Formal Verification
28.04.2025, 15:30 - 17:00, C25.038
Theory - BDDs
05.05.2025, 15:30 - 17:00, C25.038
Theory - SAT
19.05.2025, 15:30 - 17:00, C25.038
Theory - Temporal Logic
13.06.2025, 13:45 - 15:15, C25.037
Theory - Model Checking
23.06.2025, 15:30 - 17:00, C25.038

Seminar - presentation part

Seminar attendance is compulsory for all M_Es and M_IS!

Seminar introduction
25.04.2025, 07:30 - 09:00, C25.037
Presentations - 1
23.05.2025, 07:30 - 09:00, C25.037
Presentations - 2
06.06.2025, 07:30 - 09:00, C25.037
Presentations - 3
13.06.2025, 07:30 - 09:00, C25.037
Presentations - 4
20.06.2025, 07:30 - 09:00, C25.037
Presentations - 5
27.06.2025, 07:30 - 09:00, C25.037
Presentations - 6
04.07.2025, 07:30 - 09:00, C25.037
Presentations - Reserve
11.07.2025, 07:30 - 09:00, C25.037

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 and homework tasks is 30.06.

Note: The lab tasks are introduced in the tutorials.

TUCaktuell