Open Verification Methodology Cookbook
by Mark Glasser
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.
* Kindle Edition now available
Step-by-Step Functional Verification with SystemVerilog and OVM
by Sasan Iman
This book can be used to learn functional verification methodology, the SystemVerilog language, and the OVM class library and its methodology. This book can also be used as a step-by-step guide for implementing a verification environment. In addition, the source code for the full implementation of the XBar verification environment can be used as a template for starting a new project. As such, this book can be used by engineers starting to learn the SystemVerilog language as well as advanced readers.
OVM Golden Reference Guide
This guide provides a compact, concise reference to the OVM. The aim is to provide a practical, hands-on reference that complements the official OVM documentation. Packed with tips gleaned from Doulos' experience using the OVM, this guide will help both beginning and experienced verification engineers find the information they really need. The guide contains a brief introduction to the methodology, instructions on effective use of the guide, and an alphabetical reference of the elements in the OVM Class Library.