| #4135945 in Books | Malay Ganai | 2007-05-22 | Original language:English | PDF # 1 | 9.21 x.81 x6.14l,1.55 | File type: PDF | 330 pages | SAT Based Scalable Formal Verification Solutions||From the Back Cover||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 Verifi
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.
You can specify the type of files you want, for your gadget.SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) | Malay Ganai, Aarti Gupta. A good, fresh read, highly recommended.
