System-on-a-Chip Verification, Prakash Rashinkar; Peter Paterson; Leena Singh

Автор: Masahiro Fujita
Название: Verification Techniques for System-Level Design,
ISBN: 0123706165 ISBN-13(EAN): 9780123706164
Издательство: Elsevier Science
Рейтинг:
Цена: 69610.00 T
Наличие на складе: Поставка под заказ.
Описание: Explains how to verify SoC logic designs using `formal` and `semi-formal` verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.

Автор: Malay Ganai; Aarti Gupta
Название: SAT-Based Scalable Formal Verification Solutions
ISBN: 1441943412 ISBN-13(EAN): 9781441943415
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.