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


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

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.