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

Mentor Verification IP AE AXI4-Lite User Guide, V10.3 332
VHDL Monitor BFM
destruct_transaction()
April 2014
destruct_transaction()
This blocking procedure removes a transaction record, for cleanup purposes and memory
management, that is uniquely identified by the transaction_id argument previously created by
the
create_monitor_transaction() procedure.
Example
-- Create a monitor transaction. Creation returns tr_id to identify
-- the transaction.
create_monitor_transaction(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));
Prototype procedure destruct_transaction
(
transaction_id : in integer;
bfm_id : in integer;
path_id : in axi4_path_t; --optional
signal tr_if : inout axi4_vhd_if_struct_t
);
Arguments transaction_id Transaction identifier. Refer to “ Overloaded Procedure Common
Arguments ” on page 151 for more details.
bfm_id BFM identifier. Refer to “ Overloaded Procedure Common Arguments ”
on page 151 for more details.
path_id (Optional) Parallel process path identifier:
AXI4_PATH_0
AXI4_PATH_1
AXI4_PATH_2
AXI4_PATH_3
AXI4_PATH_4
Refer to “ Overloaded Procedure Common Arguments ” on page 151 for
more details.
tr_if Transaction signal interface. Refer to “ Overloaded Procedure Common
Arguments ” on page 151 for more details.
Returns None