
Vertel uw vrienden over dit artikel:
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition
Malay Ganai
SAT-Based Scalable Formal Verification Solutions - Integrated Circuits and Systems 2007 edition
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. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.
330 pages, 118 black & white illustrations, 33 black & white tables, biography
Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
Vrijgegeven | 22 mei 2007 |
ISBN13 | 9780387691664 |
Uitgevers | Springer-Verlag New York Inc. |
Pagina's | 330 |
Afmetingen | 155 × 235 × 20 mm · 703 g |
Taal en grammatica | Engels |
Bekijk alles van Malay Ganai ( bijv. Hardcover Book en Paperback Book )