Altera Avalon Verification IP Suite - Manual (Page 114)

Chapter 5: Avalon-ST Monitor 5–5
Application Program Interface
May 2011 Altera Corporation Avalon Verification IP Suite User Guide
Coverage Group
Coverage group ensures that the verification suite tests all expected functionality of
the interface. For example, the
cover_b2b_packet_different_channel method allows
each individual coverage point to be enabled or disabled. When coverage points are
disabled, they do not show up as missing coverage in the coverage report. By default
all coverage groups are enabled. However, depending on the parameterization of a
the Avalon-MM interface, some coverage groups are automatically disabled. For
example, if the interface does not use packets, the coverage groups that test packet
transfers are automatically disabled. The names of all methods that enable coverage
functionality begin with
set_enable_c .
To generate the coverage report when using the Synopsys VCS simulator, use the
following command:
urg –dir simv.vdb
r
To generate the coverage report when using the ModelSim-Altera software, use the
following command:
run –all
r
coverage report –details –file report.rpt
r
set_enable_c_all_idle_beats()
set_enable_c_all_valid_beats()
set_enable_c_b2b_data_different_channel()
Prototype: set_enable_c_all_idle_beats().
Arguments: Boolean .
Returns: Void .
Description: Enables a coverage point that ensures test coverage for number of
transaction with all idle beats.
Prototype: set_enable_c_all_valid_beats().
Arguments: Boolean .
Returns: Void .
Description: Enables a coverage point that ensures test coverage for number of
transaction with all valid beats.
Prototype: set_enable_c_b2b_data_different_channel().
Arguments: Boolean .
Returns: Void .
Description: Enables a coverage point that ensures back-to-back valid signals for
different channels. It is disabled when channels are not supported.