Malay GanaiAarti Gupta
Broschiertes Buch

SAT-Based Scalable Formal Verification Solutions

Versandkostenfrei!
Versandfertig in 6-10 Tagen
82,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
41 °P sammeln!
Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.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. These techni...