Uni-Logo
English       Login
Professur für Betriebssysteme
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur


Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Wintersemester 22/23

Literatur



  • Kropf: "Introduction to Formal Hardware Verification" , Springer, 1999, ISBN 3-540-65445-3
    Clarke, Grumberg, Peled, "Model Checkingā€¯, MIT Press 1999

  • Kropf (Ed.): "Formal Hardware Verification", Springer, 1997, ISBN 3-540-63475-4

  • Diverse Originalarbeiten

  • Presentation of powerpoint slides. Slides and exercise sheets can be downloaded from the course website.