Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Wintersemester 2020/21

Zeit / Ort

Vorlesung	Zeit: Montag und Mittwoch, 10-12 Uhr Ort: Raum TBA, möglicherweise online
Übungen	Mittwochs im Wechsel mit der Vorlesung