Writing Testbenches: Functional Verification of HDL Models

Author(s): Janick Bergeron

Date: Format: pdf Language: English ISBN/ASIN: 0792377664
Pages: OCR: Quality: ISBN13:
Uploader: Upload Date: 1/29/2019 10:03:15 AM

Writing Testbenches: Functional Verification of HDL Models first introduces the necessary concepts and tools of verification, then describes a process for carrying out an effective functional verification of a design.
This book also presents techniques for applying a stimulus and monitoring the response of a design by abstracting the operations using bus-functional models. The architecture of testbenches built around these bus-functional models is important for minimizing development and maintenance effort.
Behavioral modeling is another important concept presented in this book. It is used to parallelize the implementation and verification of a design and to perform more efficient simulations. For many, behavioral modeling is synonymous with synthesizeable or RTL modeling. In this book, the term `behavioural’ is used to describe any model that adequately emulates the functionality of a design, usually using non-synthesizeable constructs and coding style.
Links Table