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)
Wednesday14:00 - 17:00Room: 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

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
Thursday11:45 - 13:1513-222

2 hours of lecture (3 ECTS credits)

Start: Thursday, April 25, 2024

Upcoming Exams WS2023/24

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)
Wednesday14:00 - 17:00Room: 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
Thursday11:45 - 13:1513-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

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)
Wednesday14:00 - 17:00Room: 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:

 Intel

 TUK
 

 

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:

Academia Europaea

TUK

 

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.

 

Design Automation Conference

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
Thursday11:45 - 13:1513-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
Thursday11:45 - 13:1513-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

Seminar Announcement SS 2020

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
Thursday11:45 - 13:1513-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 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).