Cart
Free Shipping in Australia
Proud to be B-Corp

SAT-Based Scalable Formal Verification Solutions Malay Ganai

SAT-Based Scalable Formal Verification Solutions By Malay Ganai

SAT-Based Scalable Formal Verification Solutions by Malay Ganai


$333,59
Condition - New
Only 2 left

Summary

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

SAT-Based Scalable Formal Verification Solutions Summary

SAT-Based Scalable Formal Verification Solutions by Malay Ganai

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.

Table of Contents

Design Verification Challenges.- Design Verification Challenges.- Background.- Basic Infrastructure.- Efficient Boolean Representation.- Hybrid DPLL-Style SAT Solver.- Falsification.- SAT-Based Bounded Model Checking.- Distributed SAT-Based BMC.- Efficient Memory Modeling in BMC.- BMC for Multi-Clock Systems.- Proof Methods.- Proof by Induction.- Unbounded Model Checking.- Abstraction/Refinement.- Proof-Based Iterative Abstraction.- Verification Procedure.- SAT-Based Verification Framework.- Synthesis for Verification.

Additional information

NLS9781441943415
9781441943415
1441943412
SAT-Based Scalable Formal Verification Solutions by Malay Ganai
New
Paperback
Springer-Verlag New York Inc.
2010-11-19
330
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - SAT-Based Scalable Formal Verification Solutions