Open Verification Methodology Cookbook

by Mark Glasser

Overview

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.

Product Details

ISBN-13:	9781489985132
Publisher:	Springer New York
Publication date:	11/26/2014
Edition description:	2009
Pages:	235
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

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