P. 1
Open Verification

Open Verification

|Views: 561|Likes:
Published by krazykrish

More info:

Published by: krazykrish on Jul 06, 2011
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





An OVC should come with a protocol-specific functional-coverage model. As a user you may want to
disable some coverage aspects that are not important or do not need to be verified. For example, you
might not need to test all types of bus transactions in your system, or you might want to remove that
goal from the coverage logic that specifies all types of transactions as goals. You might also want to
extend the functional-coverage model and create associations between the OVC coverage and other
attributes in the system or other interface OVCs. For example, you might want to ensure proper
behavior when all types of transactions are sent and the FIFO in the system is full. This would translate
into crossing the transaction type with the FIFO-status variable. This section describes how to
implement this type of functional coverage model.

Enabling and Disabling Coverage

The verification IP developer should provide configuration properties that allow you to control the
interesting aspects of the coverage (see “Controlling Checks and Coverage” on page69). The VIP
documentation will tell you what properties can be set to affect coverage. The most basic of controls
would determine whether coverage is collected at all. The XBus monitors demonstrate this level of
control. If the you want to disable coverage before the environment is created, use the
set_config_int() interface.

set_config_int("xbus0.masters[0].monitor", "coverage_enable", 0);

Once the environment is created, you can set this property directly.

xbus0.masters[0].monitor.coverage_enable = 0;

This is a simple Verilog assignment to a class property (or variable).

Open Verification Methodology (OVM) User Guide

Using OVCs


Open Verification Methodology (OVM) User Guide


You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->