SAT-Based Scalable Formal Verification Solutions
Publication year: 2007
: 978-0-387-69167-1
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for Verification Paradigm.
: Computer Science, algorithms, complexity, computer-aided design (CAD), design process, model, modeling
