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

VHDL Monitor BFM
push_transaction_id()
Mentor Verification IP AE AXI4-Lite User Guide, V10.3 327
April 2014
push_transaction_id()
This nonblocking procedure pushes a transaction record into the back of a queue. The
transaction is uniquely identified by the transaction_id argument previously created by the
create_monitor_transaction() procedure. The queue is identified by the queue_id argument.
Prototype procedure push_transaction_id
(
transaction_id : in integer;
queue_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.
queue_id Queue identifier:
AXI4_QUEUE_ID_0
AXI4_QUEUE_ID_1
AXI4_QUEUE_ID_2
AXI4_QUEUE_ID_3
AXI4_QUEUE_ID_4
AXI4_QUEUE_ID_5
AXI4_QUEUE_ID_6
AXI4_QUEUE_ID_7
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