SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

Discusses several scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, and Distributed Model Checking. This book also discusses Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System and Multi-clock Systems, and Synthesis for Verification Paradigm.