Altera Avalon Verification IP Suite - Manual (Page 85)

set_enable_a_write_burst_timeout()
set_enable_a_write_burst_timeout()
Prototype:
Verilog HDL: Boolean
VHDL: N.A.
Arguments:
void
Returns:
Enables an assertion that ensures that the write burst transfer is completed
within maximum allowed timeout period. Disabled when write burst transfers
are not supported or the write burst timeout period is less than 1 cycle. Description:
Verilog HDL Language support:
set_enable_a_writeid_sequence()
set_enable_a_writeid_sequence() Prototype:
Verilog HDL:
Boolean
VHDL: N.A.
Arguments:
void
Returns:
Enables an assertion that verifies if the writeid sequence follows the
sequence of the
transactionid
.
Description:
Verilog HDL Language support:
Coverage Group
Coverage group ensures that the verification suite tests all expected functionality of the interface. For example,
the
cover_b2b_read_write
method ensures that the verification suite includes a test for sequential read
and write commands. The Avalon-MM Monitor includes 30 coverage groups. 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 allow burst transfers, the coverage
groups that test burst 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
To generate the coverage report when using the ModelSim-Altera software, use the following command:
run –all
coverage report –details –file report.rpt
Altera Corporation Avalon-MM Monitor
Send Feedback
7-13 set_enable_a_write_burst_timeout()