Materialien
Vorlesungsmaterial
Leistungsnachweis
Abschlusspruefung
Verifikation - Sommersemester 05
Literatur
| 1. G. Hachtel, F. Somenzi: Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers, 1996. 2. Drechsler, Rolf und Becker, Bernd, "Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-boolesche Funktionen", Teubner, 1998, Frei91:CB/6.0/22 3. Kropf, Thomas, " Introduction to Formal Hardware Verification", Springer, 1999. 4. "Model Checking“, E. Clarke, O. Grumberg, D. Peled, MIT Press 1999 |