Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

SAT-Based Scalable Formal Verification Solutions

Posted By: Free butterfly
SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) by Malay Ganai
English | 15 Aug. 2007 | ISBN: 0387691669 | 360 Pages | PDF | 6 MB

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.