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

VHDL AXI3 and AXI4 Master BFMs
destruct_transaction()
Mentor VIP AE AXI3/4 User Guide, V10.2b 343
September 2013
AXI4 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));
....
-- Remove the transaction record for the tr_id transaction.
destruct_transaction(tr_id, bfm_index, axi4_tr_if_0(bfm_index));