Set_enable_a_half_cycle_reset_legal(), Set_enable_a_less_than_burstcount_max_size(), Set_enable_a_no_readdatavalid_during_reset() – Altera Avalon Verification IP Suite User Manual
Page 70: Set_enable_a_no_read_during_reset()

Chapter 5: Avalon-MM Monitor
5–7
Application Program Interface
May 2011
Altera Corporation
Avalon Verification IP Suite User Guide
set_enable_a_half_cycle_reset_legal()
set_enable_a_less_than_burstcount_max_size()
set_enable_a_less_than_maximumpendingreadtransactions()
set_enable_a_no_readdatavalid_during_reset()
set_enable_a_no_read_during_reset()
Prototype:
set_enable_a_half_cycle_reset_legal()
.
Arguments:
Boolean
.
Returns:
void
.
Description:
Enables an assertion that ensures
reset
is asserted correctly.
Prototype:
set_enable_a_less_than_burstcount_max_size()
.
Arguments:
Boolean
.
Returns:
void
.
Description:
Enables an assertion that ensures
burstcount
size is less than or equal to
the maximum burst size,
2**(AV_BURSTCOUNT_W-1)
. It is disabled when
either burst transfers are not supported or the bust size is less than 1.
Prototype:
set_enable_a_less_than_maximumpendingreadtransactions()
.
Arguments:
Boolean
.
Returns:
void
.
Description:
Enables an assertion that ensures that the number of pending read
transfers is less than
maximumPendingReadTransactions
. Disabled
when either
read
is not supported or
maximumPendingReadTransactions
is less than 1
.
Prototype:
set_enable_a_no_readdatavalid_during_reset()
.
Arguments:
Boolean
.
Returns:
void
.
Description:
Enables an assertion that ensures that
readdatavalid
is deasserted if
reset
is asserted. Disabled when
readdatavalid
is not supported.
Prototype:
set_enable_a_no_read_during_reset()
.
Arguments:
Boolean
.
Returns:
void
.
Description:
Enables an assertion that ensures
read
is deasserted if
reset
is asserted.
Disabled when
read
is not supported.