Items related to Digital System Verification: A Combined Formal Methods...
Digital System Verification: A Combined Formal Methods and Simulation Framework (Synthesis Lectures on Digital Circuits and Systems, 27) - Softcover
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
"synopsis" may belong to another edition of 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
"About this title" may belong to another edition of this title.