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


Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Winter 21/22

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

  • Various original papers

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