News
Lecture Announcements WS 2024/25
Verification of Digital Systems
Course:
EIT-EIS-560-V-4
Additional class project (optional):
EIT-EIS-562-M-7
| Tuesday Thursday | 13:45 - 15:15 14:30 - 16:00 | Room: 11-207 Room: 24-102 |
2 hours of lecture / 2 hours of assignments (5 ECTS credits) plus 3 ECTS class project (optional)
Start: Thursday, October 24, 2024
Architecture of Digital Systems I
Course:
EIT-EIS-571-V-4
Additional class project (optional):
EIT-EIS-572-M-7
| Thursday Friday | 11:45 - 13:15 11:45 - 13:15 | Room: 11-243 Room: 46-210 |
2 hours of lecture / 1 hour of assignments (4 ECTS credits) plus 3 ECTS class project (optional)
Start: Friday, October 25, 2024
Architecture of Digital Systems II
EIT-EIS-573-V-4
| Wednesday Thursday | 13:45 - 15:15 16:15 - 17:45 | Room: 11-262 Room: 48-210 |
2 hours of lecture / 1 hour of assignments
Start: Wednesday, October 23, 2024.
(No class on Thursday, 2024-10-24.)
Embedded Systems Laboratory (WS)
EIT-EIS-521-L-7 (WS)
(Labor Digitaltechnik II)
| Wednesday | 14:00 - 17:00 | Room: 12-524 |
4 hours of laboratory (5 ECTS credits)
Course starts Thu, 2024-10-24, 16:15, Room: 48-210:
Introductory meeting. (No lab on Wed, 2024-10-23.)
Advance online registration is mandatory for this lab.
Seats are assigned on a first-come first-serve basis.
Attendance to introductory meeting is required to claim seat.
Best Presentation Award - DVCON Europe 2024
Our collaborative paper with LUBIS EDA titled "Formal RTL Sign-Off with Abstract Models" was voted by the attendees
for the "Best Presentation Award" at DVCON Europe 2024.
The picture shows the two main authors Lucas Deutschmann (left) and Osama Ayoub (right).
Hot Pick in Security
Our paper (jointly with Intel, Siemens EDA and Stanford University) in IEEE Transactions on Computers titled “An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors” has been selected by an IEEE jury as a “Hot Pick in Security”.
Take a look into the paper here.
Upcoming Exams SS2024
Examination: Synthesis and Optimization of Microelectronic Systems II - SS2024
| Exam Date: | Thu | 2024-07-25 |
Examination: Robust Digital Systems - SS2024
| Exam Dates: | Wed Wed | 2024-07-31 2024-10-02 |
Lecture Announcements SS 2024
Grundlagen der Informationsverarbeitung
EIT-EIS-314-V-2
| Dienstag Mittwoch | 15:30 - 17:00 11:45 - 13:15 | 24-102 46-210 |
Umfang:
Vorlesung (3 SWS) mit Übung und Tutorien (1 SWS)
die Aufteilung in Vorlesung, Übung und Tutorien wird in der Vorlesung bekannt gegeben.
(Freitag 13:45 - 15.15 Uhr, Hörsaal 13-305, dient in seltenen Fällen als Ausweichtermin)
Start: Mittwoch, 24. April, 2024
Synthesis and Optimization of Microelectronic Systems II
EIT-EIS-660-V-7
| Monday Thursday | 08:15 - 09:45 15:30 - 17:00 | 11-262 11-262 |
Start: Thursday, May 23, 2024
Robust Digital Systems
EIT-EIS-566-V-7
| Thursday | 11:45 - 13:15 | 13-222 |
2 hours of lecture (3 ECTS credits)
Start: Thursday, April 25, 2024
Upcoming Exams WS2023/24
Examination: Architecture of Digital Systems I - WS2023/24
| Exam Date: | 2024-02-21 2024-04-16 |
Examination: Verification of Digital Systems - WS2023/24
| Exam Date: | 2024-02-19 2024-04-09 |
Examination: Architecture of Digital Systems II - WS2023/24
| Exam Date: | 2024-02-21 2024-02-22 2024-04-11 |
Examination: Robust Digital Systems - WS2023/24
| Exam Date: | 2024-02-22 2024-04-17 |
Lecture Announcements WS 2023/24
Verification of Digital Systems
Course:
EIT-EIS-560-V-4
Additional class project (optional):
EIT-EIS-562-M-7
| Tuesday Thursday | 13:45 - 15:15 14:30 - 16:00 | Room: 11-207 Room: 24-102 |
2 hours of lecture / 2 hours of assignments (5 ECTS credits) plus 3 ECTS class project (optional)
Start: Thursday, October 24, 2024
Embedded Systems Laboratory (WS)
EIT-EIS-521-L-7 (WS)
(Labor Digitaltechnik II)
| Wednesday | 14:00 - 17:00 | Room: 12-524 |
4 hours of laboratory (5 ECTS credits)
Course starts Thu, 2024-10-24, 16:15, Room: 48-210:
Introductory meeting. (No lab on Wed, 2024-10-23.)
Advance online registration is mandatory for this lab.
Seats are assigned on a first-come first-serve basis.
Attendance to introductory meeting is required to claim seat.
Architecture of Digital Systems I
Course:
EIT-EIS-571-V-4
Additional class project (optional):
EIT-EIS-572-M-7
| Thursday Friday | 11:45 - 13:15 11:45 - 13:15 | Room: 11-243 Room: 46-210 |
2 hours of lecture / 1 hour of assignments (4 ECTS credits) plus 3 ECTS class project (optional)
Start: Friday, October 25, 2024
Architecture of Digital Systems II
EIT-EIS-573-V-4
| Wednesday Thursday | 13:45 - 15:15 16:15 - 17:45 | Room: 11-262 Room: 48-210 |
2 hours of lecture / 1 hour of assignments
Start: Wednesday, October 23, 2024.
(No class on Thursday, 2024-10-24.)
Upcoming Exams SS2023
Examination: Architecture of Digital Systems I - SS2023
| Exam Dates: | Tue Tue | 2023-07-18 2023-10-17 |
Examination: Architecture of Digital Systems II - SS2023
| Exam Dates: | Tue Tue | 2023-07-25 2023-10-17 |
Examination: Verification of Digital Systems - SS2023
| Exam Dates: | Thu Thu | 2023-07-20 2023-10-12 |
Examination: Robust Digital Systems - SS2023
| Exam Dates: | Thu Thu | 2023-07-27 2023-10-19 |
Fantastic news from our spin-off LUBIS EDA!
LUBIS EDA has won the prestigious 2023 German Innovation Award (Der Deutsche Innovationspreis) in the category “startup”. Congratulations!
https://www.linkedin.com/feed/update/urn:li:activity:7056914830980472834
Lecture Announcements SS 2023
Grundlagen der Informationsverarbeitung
EIT-EIS-314-V-2
| Dienstag Mittwoch | 15:30 - 17:00 11:45 - 13:15 | 24-102 46-210 |
Umfang:
Vorlesung (3 SWS) mit Übung und Tutorien (1 SWS)
die Aufteilung in Vorlesung, Übung und Tutorien wird in der Vorlesung bekannt gegeben.
(Freitag 13:45 - 15.15 Uhr, Hörsaal 13-305, dient in seltenen Fällen als Ausweichtermin)
Start: Mittwoch, 24. April, 2024
Robust Digital Systems
EIT-EIS-566-V-7
| Thursday | 11:45 - 13:15 | 13-222 |
2 hours of lecture (3 ECTS credits)
Start: Thursday, April 25, 2024
Synthesis and Optimization of Microelectronic Systems II
EIT-EIS-660-V-7
| Monday Thursday | 08:15 - 09:45 15:30 - 17:00 | 11-262 11-262 |
Start: Thursday, May 23, 2024
Upcoming Exams WS2022/23
Examination: Architecture of Digital Systems I
| Exam Date: | 2023-02-16 2023-04-05 |
Examination: Verification of Digital Systems
| Exam Date: | 2023-02-22 2023-03-28 |
Examination: Synthesis and Optimization of Microelectronic Systems II
| Exam Date: | 2023-03-23 |
Examination: Architecture of Digital Systems II
| Exam Date: | 2023-02-15 2023-03-30 |
Examination: Robust Digital Systems
| Exam Date: | 2023-04-06 |
Lecture Announcements WS 2022/23
Verification of Digital Systems
Course:
EIT-EIS-560-V-4
Additional class project (optional):
EIT-EIS-562-M-7
| Tuesday Thursday | 13:45 - 15:15 14:30 - 16:00 | Room: 11-207 Room: 24-102 |
2 hours of lecture / 2 hours of assignments (5 ECTS credits) plus 3 ECTS class project (optional)
Start: Thursday, October 24, 2024
Embedded Systems Laboratory (WS)
EIT-EIS-521-L-7 (WS)
(Labor Digitaltechnik II)
| Wednesday | 14:00 - 17:00 | Room: 12-524 |
4 hours of laboratory (5 ECTS credits)
Course starts Thu, 2024-10-24, 16:15, Room: 48-210:
Introductory meeting. (No lab on Wed, 2024-10-23.)
Advance online registration is mandatory for this lab.
Seats are assigned on a first-come first-serve basis.
Attendance to introductory meeting is required to claim seat.
Architecture of Digital Systems I
Course:
EIT-EIS-571-V-4
Additional class project (optional):
EIT-EIS-572-M-7
| Thursday Friday | 11:45 - 13:15 11:45 - 13:15 | Room: 11-243 Room: 46-210 |
2 hours of lecture / 1 hour of assignments (4 ECTS credits) plus 3 ECTS class project (optional)
Start: Friday, October 25, 2024
Architecture of Digital Systems II
EIT-EIS-573-V-4
| Wednesday Thursday | 13:45 - 15:15 16:15 - 17:45 | Room: 11-262 Room: 48-210 |
2 hours of lecture / 1 hour of assignments
Start: Wednesday, October 23, 2024.
(No class on Thursday, 2024-10-24.)
Corona Crisis
The implementation of the courses may change due to the Corona Crisis.
Please visit the corresponding websites for more information.
Intel Security Award
August 10, 2022
We are happy to have received the Intel Hardware Security Academic Award 2022.
Intel rewards our work on formal verification of hardware security, as reported in
J. Müller; Mo Fadiheh; A. Duque Anton; T. Eisenbarth; D. Stoffel and W. Kunz: “A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level" IEEE/ACM Design Automation Conference 2021 (DAC).
Further information:
Elected into Academia Europaea
July 19, 2022
Professor Dr. Wolfgang Kunz is a new member of the renowned European academy "Academia Europaea".
The Academia Europaea has around 4,500 members worldwide, including 72 Nobel Prize winners.
further information:
Best Paper Award DAC 2022
July 13, 2022
Our paper,
“Towards a Formally Verified Hardware Root-of-Trust for Data-Oblivious Computing,”
by Lucas Deutschmann, Johannes Müller, Mohammad R. Fadiheh, Dominik Stoffel, and Wolfgang Kunz
wins the prestigious Best Paper Award at Design Automation Conference (DAC) 2022 in July.
Upcoming Exams SS2022
Examination: Architecture of Digital Systems I
| Exam Dates: | Mon Mon | 2022-07-25 2022-09-26 |
Examination: Architecture of Digital Systems II
| Exam Dates: | Tue Wed | 2022-07-26 2022-09-28 |
Examination: Verification of Digital Systems
| Exam Dates: | Wed Tue | 2022-07-27 2022-09-27 |
Examination: Robust Digital Systems
| Exam Dates: | Thu Thu | 2022-08-04 2022-10-06 |
Notes:
- For all courses there is an early and a late exam date.
- Exam dates can be booked through the CARMEN system (see section "Exam Information" on the OpenOLAT page).
- Each date has a fixed number of seats (time slots); so dates may become fully booked and unavailable for further bookings.
- If (and only if) an exam date is booked out, the adjacent overflow date may become available.
- The CARMEN system always shows current information about available exam dates.
Lecture Announcements SS 2022
Grundlagen der Informationsverarbeitung
EIT-EIS-314-V-2
| Dienstag Mittwoch | 15:30 - 17:00 11:45 - 13:15 | 24-102 46-210 |
Umfang:
Vorlesung (3 SWS) mit Übung und Tutorien (1 SWS)
die Aufteilung in Vorlesung, Übung und Tutorien wird in der Vorlesung bekannt gegeben.
(Freitag 13:45 - 15.15 Uhr, Hörsaal 13-305, dient in seltenen Fällen als Ausweichtermin)
Start: Mittwoch, 24. April, 2024
Robust Digital Systems
EIT-EIS-566-V-7
| Thursday | 11:45 - 13:15 | 13-222 |
2 hours of lecture (3 ECTS credits)
Start: Thursday, April 25, 2024
Upcoming Exams WS2021/22
Examination: Architecture of Digital Systems I
| Exam Date: | 2022-02-17 2022-03-31 |
| Overflow Date: | 2022-02-18 2022-04-01 |
Examination: Verification of Digital Systems
| Exam Date: | 2022-02-22 2022-04-07 |
| Overflow Date: | 2022-02-21 2022-04-06 |
Examination: Architecture of Digital Systems II
| Exam Date: | 2022-02-16 2022-04-05 |
| Overflow Date: | 2022-02-15 2022-04-04 |
Examination: Robust Digital Systems
| Exam Date: | 2022-02-23 2022-03-29 |
Notes:
- For all courses there is an early and a late exam date.
- Exam dates can be booked through the CARMEN system (see section "Exam Information" on the OpenOLAT page).
- Each date has a fixed number of seats (time slots); so dates may become fully booked and unavailable for further bookings.
- If (and only if) an exam date is booked out, the adjacent overflow date may become available.
- The CARMEN system always shows current information about available exam dates.
VDE Kurpfalz Prize 2021
M.Sc. Alex Wezel was awarded the VDE Kurpfalz prize for his excellent master thesis with the title "Top-down methodology for refining abstract communication interfaces into correct-by-construction RTL designs". Read more
Lecture Announcements WS 2021/22
Verification of Digital Systems
Course:
EIT-EIS-560-V-4
Additional class project (optional):
EIT-EIS-562-M-7
| Tuesday Thursday | 13:45 - 15:15 14:30 - 16:00 | Room: 11-207 Room: 24-102 |
2 hours of lecture / 2 hours of assignments (5 ECTS credits) plus 3 ECTS class project (optional)
Start: Thursday, October 24, 2024
Architecture of Digital Systems I
Course:
EIT-EIS-571-V-4
Additional class project (optional):
EIT-EIS-572-M-7
| Thursday Friday | 11:45 - 13:15 11:45 - 13:15 | Room: 11-243 Room: 46-210 |
2 hours of lecture / 1 hour of assignments (4 ECTS credits) plus 3 ECTS class project (optional)
Start: Friday, October 25, 2024
Corona Crisis
The implementation of the courses may change due to the Corona Crisis.
Please visit the corresponding websites for more information.
"Lubis Engine" project won the competition "Ideenwettbewerb" of Rhineland-Palatinate
The three engineers Tobias Ludwig (EIS), Michael Schwarz (EIS) and Dr. Max Birtel and the software developer Tim Burr took first place in the Rhineland-Palatinate "Ideenwettbewerb" (ideas competition) with their innovative software tool "LUBIS EDA". Read more
Upcoming Exams SS2021
Examination: Architecture of Digital Systems I
| Exam Dates: | Mon Thu | 2021-07-19 2021-09-30 |
Examination: Verification of Digital Systems
| Exam Dates: | Thu Fri | 2021-07-22 2021-10-01 |
Examination: Architecture of Digital Systems II
Exam Dates: | Tue Thu | 2021-07-20 2021-10-14 |
Examination: Robust Digital Systems
| Exam Dates: | Fri Tue | 2021-07-23 2021-10-12 |
ADS-1/ADS-2 combined exam
If your program requires the combined exam (as, e.g., in the Diploma program) then please contact Carmen Vicente-Fess to make an appointment for the oral exam.
Online booking through the CARMEN system is not available.
Lecture Announcements SS 2021
Grundlagen der Informationsverarbeitung
EIT-EIS-314-V-2
| Dienstag Mittwoch | 15:30 - 17:00 11:45 - 13:15 | 24-102 46-210 |
Umfang:
Vorlesung (3 SWS) mit Übung und Tutorien (1 SWS)
die Aufteilung in Vorlesung, Übung und Tutorien wird in der Vorlesung bekannt gegeben.
(Freitag 13:45 - 15.15 Uhr, Hörsaal 13-305, dient in seltenen Fällen als Ausweichtermin)
Start: Mittwoch, 24. April, 2024
Robust Digital Systems
EIT-EIS-566-V-7
| Thursday | 11:45 - 13:15 | 13-222 |
2 hours of lecture (3 ECTS credits)
Start: Thursday, April 25, 2024
Corona Crisis
The implementation of the courses may change due to the Corona Crisis.
Please visit the corresponding websites for more information.
Upcoming Exams WS2020/2021
Examination: Architecture of Digital Systems I
| Exam Dates: | Mon Mon Mon | 2021-02-22 2021-03-22 2021-04-12 |
Examination: Verification of Digital Systems
| Exam Dates: | Wed Wed Wed | 2021-02-24 2021-03-24 2021-04-14 |
Examination: Architecture of Digital Systems II
| Exam Dates: | Mon Tue Tue Tue | 2021-02-22 2021-02-23 2021-03-23 2021-04-13 |
Examination: Robust Digital Systems
| Exam Dates: | Thu Thu | 2021-02-25 2021-04-15 |
Lecture Announcements WS 2020/21
Verification of Digital Systems
Course:
EIT-EIS-560-V-4
Additional class project (optional):
EIT-EIS-562-M-7
| Tuesday Thursday | 13:45 - 15:15 14:30 - 16:00 | Room: 11-207 Room: 24-102 |
2 hours of lecture / 2 hours of assignments (5 ECTS credits) plus 3 ECTS class project (optional)
Start: Thursday, October 24, 2024
Architecture of Digital Systems I
Course:
EIT-EIS-571-V-4
Additional class project (optional):
EIT-EIS-572-M-7
| Thursday Friday | 11:45 - 13:15 11:45 - 13:15 | Room: 11-243 Room: 46-210 |
2 hours of lecture / 1 hour of assignments (4 ECTS credits) plus 3 ECTS class project (optional)
Start: Friday, October 25, 2024
Corona Crisis
The implementation of the courses may change due to the Corona Crisis.
Please visit the corresponding websites for more information.
Upcoming Exams SS2020
Examination: Architecture of Digital Systems I
| Exam Dates: | Mon | 2020-10-12 |
Examination: Robust Digital Systems
| Exam Dates: | Thu | 2020-10-15 |
Examination: Architecture of Digital Systems II
| Exam Dates: | Tue | 2020-10-13 |
Examination: Verification of Digital Systems
| Exam Dates: | Wed | 2020-10-14 |
Seminar Announcement SS 2020
Seminar Embedded Systems
EIT-EIS-575-S-6
Lecture Announcements SS 2020
Grundlagen der Informationsverarbeitung
EIT-EIS-314-V-2
| Dienstag Mittwoch | 15:30 - 17:00 11:45 - 13:15 | 24-102 46-210 |
Umfang:
Vorlesung (3 SWS) mit Übung und Tutorien (1 SWS)
die Aufteilung in Vorlesung, Übung und Tutorien wird in der Vorlesung bekannt gegeben.
(Freitag 13:45 - 15.15 Uhr, Hörsaal 13-305, dient in seltenen Fällen als Ausweichtermin)
Start: Mittwoch, 24. April, 2024
Robust Digital Systems
EIT-EIS-566-V-7
| Thursday | 11:45 - 13:15 | 13-222 |
2 hours of lecture (3 ECTS credits)
Start: Thursday, April 25, 2024
Corona Crisis
The implementation of the courses may change due to the Corona Crisis.
Please visit the corresponding websites for more information.
Summer Semester 2020
Grundlagen der Informationsverarbeitung
Synthesis and Optimization of Microelectronic Systems II
(cancelled due to the Corona Crisis)
Upcoming Exams WS2019/2020
Corona crisis
All exams are postponed due to the Corona crisis.
They will be re-scheduled as soon as the situation permits.
Guest lecture: Event-based computing
Prof. Andrew Brown, University of Southampton, UK [ CV ]
Lecture 1: Event-driven computing | ||
| Tuesday, February 11 (in place of VDS lab) | 13:45 - 15:15 Room 11-207 | Abstract1.pdf |
Lecture 2: SpiNNaker – a neural simulation engine | ||
| Wednesday, February 12 (in place of ADS 2 lecture) | 13:45 - 15:15 Room 11-207 | Abstract2.pdf |
Lecture 3: POETS - a generic event-based simulation engine | ||
| Thursday, February 13 (in place of VDS lecture) | 13:45 - 15:15 Room 11-243 | Abstract3.pdf |
Lecture 4: POETS: Computational (bio)chemistry | ||
| Friday, February 14 (in place of ADS1 lecture) | 11:45 - 13:15 Room 11-207 | Abstract4.pdf |
Interview mit Prof. Kunz im Deutschlandfunk
18-05-2019
Prozessor-Check: Wie Seitenkanal-Angriffe verhindert werden sollen.
Link zur Sendung [ Deutschlandfunk ]
Link zum Audiofile [ Interview Deutschlandfunk ]
Best Paper Award
08-11-2018
Our paper “A HW/SW Cross-Layer Approach for DeterminingApplication-Redundant Hardware Faults in Embedded Systems” published in Journal of Electronic Testing – Theory and Applications (Jetta) in January 2017 received the Best Paper Award. The award is granted by the IEEE Test Technology Technical Council and was presented to us at International Test Conference (ITC) in Phoenix Arizona (Nov. 1, 2018).