Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Winter semester 2020/21

organiser

lecturer	Ralf Wimmer, PD Dr., Concept Engineering (Freiburg)
assistant	Leonore Winterer, M.Sc., Chair of Computer Architecture