Aarti Gupta / Malay Ganai
SAT-Based Scalable Formal Verification Solutions
- Springer US
- 2010
- Taschenbuch
- 360 Seiten
- ISBN 9781441943415
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.
117,69
€
inkl. MwSt.zzgl. Versand
in Kürze