Materialien
Vorlesungsmaterial
Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Sommersemester 2016
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur | |
| Assistent | Leonore Winterer, M.Sc., Lehrstuhl für Rechnerarchitektur |