Open Verification Methodology Cookbook

2009. Auflage 2009
ISBN: 978-1-4419-0967-1
Verlag: Springer

Buch, Englisch, 235 Seiten, Format (B × H): 165 mm x 244 mm, Gewicht: 1190 g

Functional verification is an art as much as a science. It requires not only creativity and cunning, but also a clear methodology to approach the problem. The Open Verification Methodology (OVM) is a leading-edge methodology for verifying designs at multiple levels of abstraction. It brings together ideas from electrical, systems, and software engineering to provide a complete methodology for verifying large scale System-on-Chip (SoC) designs. OVM defines an approach for developing testbench architectures so they are modular, configurable, and reusable.

This book is designed to help both novice and experienced verification engineers master the OVM through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling (TLM). It leads readers from a simple connection of a producer and a consumer through complete self-checking testbenches. It explains construction techniques for building configurable, reusable testbench components and how to use TLM to communicate between them. Elements such as agents and sequences are explained in detail.

Zielgruppe

Research

Autoren/Hrsg.

Glasser, Mark

Fachgebiete

• Geisteswissenschaften Design Produktdesign, Industriedesign
• Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise

Inhaltsverzeichnis

Verification Principles.- Fundamentals of Object-Oriented Programming.- Transaction-Level Modeling.- OVM Mechanics.- Testbench Fundamentals.- Reuse.- Complete Testbenches.- Sequences.- Block-to-System.- Coding Conventions.