Altera Mentor Verification IP Altera Edition AMBA AXI3/4TM - Manual (Page 227)

VHDL AXI3 and AXI4 Master BFMs
VHDL Master API
Mentor VIP AE AXI3/4 User Guide, V10.2b 209
September 2013
Note
Do not confuse the AXI4_CONFIG_ENABLE_ASSERTION bit vector with the
AXI4_CONFIG_ENABLE_ALL_ASSERTIONS global enable/disable.
To re-enable the AXI4_AWADDR_CHANGED_BEFORE_AWREADY assertion, follow the
above code sequence and assign the assertion in the AXI4_CONFIG_ENABLE_ASSERTION bit
vector to 1.
For a complete listing of assertions, refer to “AXI4 Assertions” on page 678.
VHDL Master API
This section describes the VHDL Master API.
set_config()
This nonblocking procedure sets the configuration of the master BFM.
Prototype -- * = axi| axi4
-- ** = AXI | AXI4
procedure set_config
(
config_name : in std_logic_vector(7 downto 0);
config_val : in std_logic_vector(**_MAX_BIT_SIZE-1 downto
0)|integer;
bfm_id : in integer;
path_id : in *_path_t; -- optional
signal tr_if : inout *_vhd_if_struct_t
);