Foren
Forum
Verifikation, Zuverlässigkeit und Test I - Wintersemester 06/07
Literatur
| Kropf, Thomas, "Introduction to Formal Hardware Verification", Springer, 1999, ISBN 3-540-65445-3 |
| Drechsler, Rolf und Becker, Bernd, "Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-boolesche Funktionen", Teubner, 1998, ISBN 3-519-02149-8, Frei91:CB/6.0/22 |
| Molitor, Paul und Scholl, Christoph, "Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungenn", Teubner, 1999, ISBN 3-519-02945-6 |
| Kropf, Thomas(Ed.), "Formal Hardware Verification", Springer, 1997, ISBN 3-540-63475-4 |
| Originalarbeiten |