Das Buch ist derzeit nicht auf Lager
Formal methods for hardware verification
Autoren
Parameter
Mehr zum Buch
InhaltsverzeichnisHardware Design and Simulation for Verification.Automatic Test Pattern Generation.An Introduction to Symbolic Trajectory Evaluation.BDD-Based Hardware Verification.SAT-Based Verification Methods and Applications in Hardware Verification.Building Efficient Decision Procedures on Top of SAT Solvers.Refinement and Theorem Proving.Floating-Point Verification Using Theorem Proving.
Buchkauf
Formal methods for hardware verification, Marco Bernardo
- Sprache
- Erscheinungsdatum
- 2006
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Formal methods for hardware verification
- Sprache
- Englisch
- Autor*innen
- Marco Bernardo
- Verlag
- Springer
- Erscheinungsdatum
- 2006
- ISBN10
- 3540343040
- ISBN13
- 9783540343042
- Reihe
- Lecture notes in computer science
- Kategorie
- Informatik & Programmierung
- Beschreibung
- InhaltsverzeichnisHardware Design and Simulation for Verification.Automatic Test Pattern Generation.An Introduction to Symbolic Trajectory Evaluation.BDD-Based Hardware Verification.SAT-Based Verification Methods and Applications in Hardware Verification.Building Efficient Decision Procedures on Top of SAT Solvers.Refinement and Theorem Proving.Floating-Point Verification Using Theorem Proving.