Digital System Verification: A Combined Formal Methods and Simulation Framework (Synthesis Lectures on Digital Circuits and Systems, 27) - Softcover

Li, Lun; Thornton, Mitchell A.

Softcover

ISBN 10: 160845178X ISBN 13: 9781608451784

Publisher: Morgan and Claypool Publishers, 2010

Synopsis

This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime. After surveying the basic principles of formal verification and simulation, this book describes the IDV approach to integrated circuit functional validation. Table of Contents: Introduction / Formal Methods Background / Simulation Approaches / Integrated Design Validation System / Conclusion and Summary

About this title

Review

“...the authors intend for this book to familiarize engineers and engineering managers--who might be completely new to pre-silicon validation and its terminologies--with the topic, and to briefly outline the most prevalent concepts. If I were a manager just taking over responsibility of a validation team from a past design-oriented job, I might read this book in a few hours to become familiar with the concepts... reading this book will give the uninitiated a quick overview to help them quickly grasp the big picture; busy professionals could read it in a few hours.” – Sandeep Shukla for ACM Computing Reviews

Edition details

• Publisher: Morgan and Claypool Publishers
• Publication date: 2010
• Language: English
• ISBN 10: 160845178X
• ISBN 13: 9781608451784
• Binding: Paperback
• Number of pages: 79