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