LEHRSTUHL FÜR ENTWURF INFORMATIONSTECHNISCHER SYSTEME
CHAIR OF ELECTRONIC DESIGN AUTOMATION

Welcome to our website!

On these pages you find information about us [People], our research  [Research] and our teaching [Teaching]. If you are a student, the below announcements will help you at the beginning of the semester to quickly access all needed information regarding upcoming courses.

Upcoming Exams WS2024/25

Examination: Architecture of Digital Systems I - WS2024/25
Exam Dates:
 
Wed
Wed
2025-02-12
2025-03-26
Examination: Architecture of Digital Systems II - WS2024/25
Exam Dates:
 
Wed
Wed
2025-02-19
2025-04-09
Examination: Verification of Digital Systems - WS2024/25
Exam Dates:
 
Wed
Wed
2025-02-19
2025-04-09
Examination: Robust Digital Systems - WS2024/25
Exam Dates:
 
Wed
Wed
2025-02-12
2025-03-26

NEWS

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.

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.