Formal methods for hardware verification

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.