Winter Term 26/27
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Specialization course for Bachelor and Master in Computer Science and Embedded Systems Engineering. course website Download of lecture materials |
summer term 2026
| Test and Reliability | Specialization course, ESE, Computer Science, 3+1 ECTS: 6 |
| Computer Arithmetic - Design and Verification | Specialization course, ESE, Computer Science, 3+1 ECTS: 6 |