Das Buch ist derzeit nicht auf Lager
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
Feedback senden
- Titel
- Formal methods for hardware verification
- Sprache
- Englisch
- Autor*innen
- Marco Bernardo
- Verlag
- Springer
- Verlag
- 2006
- ISBN10
- 3540343040
- ISBN13
- 9783540343042
- 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.