Uni-Logo
Deutsch      
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
course
overview  |  time/location  |  organiser  |  literature


Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Winter Term 2019/20

literature



  • 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.