Altera Avalon Verification IP Suite - Manual (Page 141)

set_enable_a_valid_legal()
set_enable_a_valid_legal()
Prototype:
Verilog HDL: Boolean
VHDL: N.A.
Arguments:
void
Returns:
Enables an assertion that ensures
valid
is deasserted
readyLatency
cycles
after ready is deasserted if the readyLatency is greater than 0.
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_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
To generate the coverage report when using the ModelSim-Altera software, use the following command:
run –all
coverage report –details –file report.rpt
set_enable_c_all_idle_beats()
set_enable_c_all_idle_beats() Prototype:
Verilog HDL:
Boolean
VHDL: N.A.
Arguments:
void
Returns:
Enables a coverage point that ensures test coverage for number of transaction
with all idle beats. Description:
Verilog HDL Language support:
Altera Corporation Avalon-ST Monitor
Send Feedback
10-5 set_enable_a_valid_legal()