The book is currently out of stock
Formal methods for hardware verification
Authors
Parameters
More about the book
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.
Book purchase
Formal methods for hardware verification, Marco Bernardo
- Language
- Released
- 2006
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal methods for hardware verification
- Language
- English
- Authors
- Marco Bernardo
- Publisher
- Springer
- Released
- 2006
- ISBN10
- 3540343040
- ISBN13
- 9783540343042
- Series
- Lecture notes in computer science
- Category
- Computers, IT, Programming
- Description
- 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.