Altera Mentor Verification IP Altera Edition AMBA AXI4-Lite - Manual (Page 207)

VHDL Master BFM
push_transaction_id()
Mentor Verification IP AE AXI4-Lite User Guide, V10.3 207
April 2014
Example
-- Create a write transaction with start address of 0.
-- Creation returns tr_id to identify the transaction.
create_write_transaction(0, tr_id, bfm_index, axi4_tr_if_0(bfm_index));
....
-- Push the transaction record into queue 1 for the tr_id transaction.
push_transaction_id(tr_id, AXI4_QUEUE_ID_1, bfm_index,
axi4_tr_if_0(bfm_index));