Open Verification Methodology Handbook : Creating Testbenches in SystemVerilog and SystemC

by Glasser, Mark; Foster, Harry; Fitzpatrick, Tom; Rose, Adam

• ISBN13: 9780123743985
• ISBN10: 0123743982
• Format: Hardcover
• Copyright: 2009-11-01
• Publisher: Elsevier Science Ltd

Summary

Functional verification is the art and science of demonstrating that an electronic design works correctly and is ready to move from the drawing board to manufacture. Functionally verifying a complex design is a time consuming and expensive process. The means by which a design is functionally verified is to build a TESTBENCH, a piece of software which exercises the design and determines whether the design works correctly and whether or not sufficient testing has been done. This book demonstrates, in a high-accessible, step-by-step manner, the Advanced Verification Methodology from Mentor Graphics, a methodology for building reusable verification components and assembling them into complex testbenches. Application of the AVM can increase verification productivity and increase confidence that a design has been successfully verified. The AVM includes a software library that is implemented in both SystemC and SystemVerilog, the two programming languages most commonly used for building testbenches. * Presents verification methodology that works for both SystemVerilog and SystemC...enables verification engineers to work in the two most used environments; * Highly accessible presentation of reusable verification methodology...helps readers to close the verification gap and reduce overall verification cycle, bringing improved quality, productivity, and predictability to any verification flow; * Side-by-side comparision of verification techniques in SystemVerilog and SystemC...allows readers to determine which tool is best for their project; * Based on real, complete verification examples, with example code discussed in the book...readers can download the code and have access to all of the examples described, giving them all of the tools necessary to get started with their verification project.

Table of Contents

Verification Principles

Introduction to the AVM

Fundamentals of Object-Oriented Programming

Introduction to Transaction-Level Modeling

AVM Mechanics

Testbench Fundamentals

Complete Testbenches

Stepwise Refinement

Modules in Testbenches

Randomization

AVM in SystemC and SystemVerilog

Graphic Notation

Naming Conventions

AVM Encyclopedia

Table of Contents provided by Publisher. All Rights Reserved.