Altera Mentor Verification IP Altera Edition AMBA AXI4-St Manuel d'utilisateur Page 1

Mentor Verification IP Altera Edition AMBA AXI4-Stream User GuideSoftware Version 10.3 April 2014© 2012-2014 Mentor Graphics CorporationAll rights res

List of Examples10April 2014Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3Example 8-1. Master BFM Disable All Assertions . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3100VHDL Master BFMset_id()April 2014set_id()This nonblocking procedure sets the data strea

VHDL Master BFMget_id()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3101April 2014get_id()This nonblocking procedure gets the data strea

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3102VHDL Master BFMset_dest()April 2014set_dest()This nonblocking procedure sets the routin

VHDL Master BFMget_dest()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3103April 2014get_dest()This nonblocking procedure gets the routin

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3104VHDL Master BFMset_user_data()April 2014set_user_data()This nonblocking procedure sets

VHDL Master BFMget_user_data()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3105April 2014get_user_data()This nonblocking procedure gets

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3106VHDL Master BFMset_valid_delay()April 2014set_valid_delay()This nonblocking procedure s

VHDL Master BFMget_valid_delay()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3107April 2014get_valid_delay()This nonblocking procedure g

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3108VHDL Master BFMset_ready_delay()April 2014set_ready_delay()This nonblocking procedure s

VHDL Master BFMget_ready_delay()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3109April 2014get_ready_delay()This nonblocking procedure g

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.311April 2014List of FiguresFigure 1-1. Master BFM Test Program Role. . . . . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3110VHDL Master BFMset_operation_mode()April 2014set_operation_mode()This nonblocking proce

VHDL Master BFMget_operation_mode()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3111April 2014get_operation_mode()This nonblocking proce

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3112VHDL Master BFMset_transfer_done()April 2014set_transfer_done()This nonblocking procedu

VHDL Master BFMget_transfer_done()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3113April 2014get_transfer_done()This nonblocking procedu

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3114VHDL Master BFMset_transaction_done()April 2014set_transaction_done()This nonblocking p

VHDL Master BFMget_transaction_done()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3115April 2014get_transaction_done()This nonblocking p

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3116VHDL Master BFMexecute_transaction()April 2014execute_transaction()This procedure execu

VHDL Master BFMexecute_transfer()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3117April 2014execute_transfer()This procedure executes a

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3118VHDL Master BFMget_stream_ready()April 2014get_stream_ready()This procedure gets the va

VHDL Master BFMprint()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3119April 2014print()This nonblocking procedure prints a transaction

12April 2014Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3List of TablesTable 1. Simulator GCC Requirements . . . . . . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3120VHDL Master BFMdestruct_transaction()April 2014destruct_transaction()This blocking proc

VHDL Master BFMwait_on()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3121April 2014wait_on()This blocking procedure waits for an event o

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3122VHDL Master BFMwait_on()April 2014

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3123April 2014Chapter 9VHDL Slave BFMThis section provides information about the VHDL slave

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3124VHDL Slave BFMSlave BFM ConfigurationApril 2014A slave BFM has configuration fields tha

VHDL Slave BFMSlave AssertionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3125April 20141. Refer to Slave Timing and Events for details

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3126VHDL Slave BFMVHDL Slave BFM APIApril 2014Example 9-2. Slave BFM Individual Assertion E

VHDL Slave BFMset_config()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3127April 2014set_config()This nonblocking procedure sets the con

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3128VHDL Slave BFMget_config()April 2014get_config()This nonblocking procedure gets the con

VHDL Slave BFMcreate_slave_transaction()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3129April 2014create_slave_transaction()This nonblo

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.313April 2014PrefaceAbout This User GuideThis user guide describes the application interfac

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3130VHDL Slave BFMcreate_slave_transaction()April 2014Example-- Create a slave transaction-

VHDL Slave BFMset_data()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3131April 2014set_data()This nonblocking procedure sets a data fiel

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3132VHDL Slave BFMget_data()April 2014get_data()This nonblocking procedure gets a data fiel

VHDL Slave BFMset_byte_type()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3133April 2014set_byte_type()This nonblocking procedure sets a

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3134VHDL Slave BFMget_byte_type()April 2014get_byte_type()This nonblocking procedure gets a

VHDL Slave BFMset_id()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3135April 2014set_id()This nonblocking procedure sets the data stream

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3136VHDL Slave BFMget_id()April 2014get_id()This nonblocking procedure gets the data stream

VHDL Slave BFMset_dest()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3137April 2014set_dest()This nonblocking procedure sets the routing

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3138VHDL Slave BFMget_dest()April 2014get_dest()This nonblocking procedure gets the routing

VHDL Slave BFMset_user_data()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3139April 2014set_user_data()This nonblocking procedure sets a

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.314PrefaceSimulator GCC RequirementsApril 2014Simulator GCC RequirementsMentor VIP requires

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3140VHDL Slave BFMget_user_data()April 2014get_user_data()This nonblocking procedure gets a

VHDL Slave BFMset_valid_delay()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3141April 2014set_valid_delay()This nonblocking procedure se

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3142VHDL Slave BFMget_valid_delay()April 2014get_valid_delay()This nonblocking procedure ge

VHDL Slave BFMset_ready_delay()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3143April 2014set_ready_delay()This nonblocking procedure se

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3144VHDL Slave BFMget_ready_delay()April 2014get_ready_delay()This nonblocking procedure ge

VHDL Slave BFMset_operation_mode()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3145April 2014set_operation_mode()This nonblocking proced

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3146VHDL Slave BFMget_operation_mode()April 2014get_operation_mode()This nonblocking proced

VHDL Slave BFMset_transfer_done()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3147April 2014set_transfer_done()This nonblocking procedur

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3148VHDL Slave BFMget_transfer_done()April 2014get_transfer_done()This nonblocking procedur

VHDL Slave BFMset_transaction_done()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3149April 2014set_transaction_done()This nonblocking pr

PrefaceSimulator GCC RequirementsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.315April 2014Table 1. Simulator GCC RequirementsSimulator

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3150VHDL Slave BFMget_transaction_done()April 2014get_transaction_done()This nonblocking pr

VHDL Slave BFMget_packet()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3151April 2014get_packet()This blocking procedure gets a slave pa

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3152VHDL Slave BFMget_transfer()April 2014get_transfer()This blocking procedure gets a slav

VHDL Slave BFMexecute_stream_ready()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3153April 2014execute_stream_ready()This procedure exec

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3154VHDL Slave BFMprint()April 2014print()This nonblocking procedure prints a transaction r

VHDL Slave BFMdestruct_transaction()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3155April 2014destruct_transaction()This blocking proce

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3156VHDL Slave BFMwait_on()April 2014wait_on()This blocking procedure waits for an event on

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3157April 2014Chapter 10VHDL Monitor BFMThis section provides information about the VHDL mo

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3158VHDL Monitor BFMMonitor BFM ConfigurationApril 2014not contain any timescale, timeunit,

VHDL Monitor BFMMonitor AssertionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3159April 20141. Refer to Monitor Timing and Events for d

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.316PrefaceSimulator GCC RequirementsApril 2014

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3160VHDL Monitor BFMMonitor AssertionsApril 2014By default, all built-in assertions are ena

VHDL Monitor BFMVHDL Monitor BFM APIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3161April 2014VHDL Monitor BFM APIThis section describe

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3162VHDL Monitor BFMset_config()April 2014set_config()This nonblocking procedure sets the c

VHDL Monitor BFMget_config()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3163April 2014get_config()This nonblocking procedure gets the c

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3164VHDL Monitor BFMcreate_monitor_transaction()April 2014create_monitor_transaction()This

VHDL Monitor BFMcreate_monitor_transaction()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3165April 2014Example-- Create a monitor transa

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3166VHDL Monitor BFMget_data()April 2014get_data()This nonblocking procedure gets a data fi

VHDL Monitor BFMget_byte_type()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3167April 2014get_byte_type()This nonblocking procedure gets

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3168VHDL Monitor BFMget_id()April 2014get_id()This nonblocking procedure gets the data stre

VHDL Monitor BFMget_dest()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3169April 2014get_dest()This nonblocking procedure gets the routi

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.317April 2014Chapter 1Mentor VIP Altera EditionThe Mentor VIP AE provides bus functional mo

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3170VHDL Monitor BFMget_user_data()April 2014get_user_data()This nonblocking procedure gets

VHDL Monitor BFMget_valid_delay()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3171April 2014get_valid_delay()This nonblocking procedure

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3172VHDL Monitor BFMget_ready_delay()April 2014get_ready_delay()This nonblocking procedure

VHDL Monitor BFMget_operation_mode()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3173April 2014get_operation_mode()This nonblocking proc

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3174VHDL Monitor BFMget_transfer_done()April 2014get_transfer_done()This nonblocking proced

VHDL Monitor BFMget_transaction_done()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3175April 2014get_transaction_done()This nonblocking

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3176VHDL Monitor BFMget_packet()April 2014get_packet()This blocking procedure gets a monito

VHDL Monitor BFMget_transfer()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3177April 2014get_transfer()This blocking procedure gets a mo

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3178VHDL Monitor BFMprint()April 2014print()This nonblocking procedure prints a transaction

VHDL Monitor BFMdestruct_transaction()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3179April 2014destruct_transaction()This blocking pro

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.318Mentor VIP Altera EditionWhat Is a Transaction?April 2014The test program drives the sti

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3180VHDL Monitor BFMwait_on()April 2014wait_on()This blocking procedure waits for an event

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3181April 2014Chapter 11VHDL TutorialsThis chapter discusses how to use the Mentor VIP AE m

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3182VHDL TutorialsVerifying a Slave DUTApril 2014Master BFM Test ProgramA master BFM test p

VHDL TutorialsVerifying a Slave DUTMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3183April 2014Example 11-2. Master Transaction Creation

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3184VHDL TutorialsVerifying a Slave DUTApril 2014Example 11-3. Master Transfer Execution--

VHDL TutorialsVerifying a Master DUTMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3185April 2014Verifying a Master DUTA master DUT compon

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3186VHDL TutorialsVerifying a Master DUTApril 2014• Configuration variable m_insert_wait to

VHDL TutorialsVerifying a Master DUTMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3187April 2014NoteIn addition to the above procedures a

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3188VHDL TutorialsVerifying a Master DUTApril 2014Example 11-7. Transfer Receivingloopcreat

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3189April 2014Chapter 12Getting Started with Qsys and the BFMsNoteA license is required to

Mentor VIP Altera EditionAXI4-Stream TransactionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.319April 2014AXI4-Stream TransactionsA com

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3190Getting Started with Qsys and the BFMsSetting Up a Simulation from a UNIX PlatformApril

Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3191April 2

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3192Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIApril 2

Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3193April 2

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3194Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIApril 2

Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3195April 2

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3196Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIApril 2

Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3197April 2

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3198Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIApril 2

Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3199April 2

This document is for information and instruction purposes. Mentor Graphics reserves the right to make changes in specifications and other information

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.320Mentor VIP Altera EditionAXI4-Stream TransactionsApril 2014Figure 1-2. Slave BFM Test Pr

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3200Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIApril 2

Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3201April 2

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3202Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIApril 2

Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3203April 2

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3204Getting Started with Qsys and the BFMsSetting Up Simulation from the Windows GUIApril 2

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3205April 2014Chapter 13AssertionsThe master, slave, and monitor BFMs all support error che

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3206AssertionsApril 2014AXI4STREAM-60012AXI4STREAM_TKEEP_CHANGED_BEFORE_TREADYThe value of

AssertionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3207April 2014AXI4STREAM-60030AXI4STREAM_TVALID_Z TVALID has a Z value. -AXI4STRE

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3208AssertionsApril 2014

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3209April 2014Appendix ASystemVerilog Master and Slave TestProgramsSystemVerilog Master Tes

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.321April 2014Chapter 2SystemVerilog API OverviewThis section provides the functional descri

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3210SystemVerilog Master and Slave Test ProgramsSystemVerilog Master Test ProgramApril 2014

SystemVerilog Master and Slave Test ProgramsSystemVerilog Slave Test ProgramMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3211April 2014

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3212SystemVerilog Master and Slave Test ProgramsSystemVerilog Slave Test ProgramApril 2014

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3213April 2014Appendix BVHDL Master and Slave Test ProgramsThis appendix contains two VHDL

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3214VHDL Master and Slave Test ProgramsVHDL Master BFM Code ExampleApril 2014end master_tes

VHDL Master and Slave Test ProgramsVHDL Master BFM Code ExampleMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3215April 2014 set_

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3216VHDL Master and Slave Test ProgramsVHDL Slave BFM Code ExampleApril 2014VHDL Slave BFM

VHDL Master and Slave Test ProgramsVHDL Slave BFM Code ExampleMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3217April 2014 procedure rea

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3218VHDL Master and Slave Test ProgramsVHDL Slave BFM Code ExampleApril 2014

Third-party Software for Mentor Verification IP Altera EditionThis section provides information on open source and third-party software that may be in

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.322SystemVerilog API OverviewConfigurationApril 2014ConfigurationConfiguration sets timeout

© 1991, 2000, 2006 AT&TThe author of this software is David M. Gay.Permission to use, copy, modify, and distribute this software for any purpose w

© 1997 Christian Michelsen Research AS Advanced ComputingFantoftvegen 38, 5036 BERGEN, Norwayhttp://www.cmr.noPermission to use, copy, modify, distrib

Redistribution and use in source and binary forms, with or without modification, are permitted provided that the followingconditions are met:1. Redist

1. Redistributions of source code must retain the above copyright notice, this list of conditions and the followingdisclaimer.2. Redistributions in bi

1. Redistributions of source code must retain the above copyright notice, this list of conditions and the followingdisclaimer.2. Redistributions in bi

This software application may include MinGW gcc version 4.2.1 third-party software. MinGW gcc version 4.2.1 is distributedunder the terms of the GNU

EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OFSUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSI

End-User License AgreementThe latest version of the End-User License Agreement is available on-line at:www.mentor.com/eulaEND-USER LICENSE AGREEMENT (

improvements, modifications or developments made by Mentor Graphics (at Mentor Graphics’ sole discretion) will be theexclusive property of Mentor Grap

5.4. The provisions of this Section 5 shall survive the termination of this Agreement.6. SUPPORT SERVICES. To the extent Customer purchases support se

SystemVerilog API OverviewCreating TransactionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.323April 2014Transaction RecordThe transacti

12.2. If a claim is made under Subsection 12.1 Mentor Graphics may, at its option and expense, (a) replace or modify the Productso that it becomes non

restrict Mentor Graphics’ right to bring an action against Customer in the jurisdiction where Customer’s place of business islocated. The United Natio

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.324SystemVerilog API OverviewCreating TransactionsApril 2014The contents of the transaction

SystemVerilog API OverviewCreating TransactionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.325April 2014The SystemVerilog Master BFM AP

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.326SystemVerilog API OverviewExecuting TransactionsApril 2014Example 2-4. Master BFM Test P

SystemVerilog API OverviewWaiting EventsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.327April 2014Waiting EventsEach BFM API has tasks t

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.328SystemVerilog API OverviewOperational Transaction FieldsApril 2014set*()Example 2-9 show

SystemVerilog API OverviewOperational Transaction FieldsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.329April 2014Example 2-11 shows a m

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.33April 2014Table of ContentsPreface . . . . . . . . . . . . . . . . . . . . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.330SystemVerilog API OverviewOperational Transaction FieldsApril 2014Transfer DoneA transfe

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.331April 2014Chapter 3SystemVerilog Master BFMThis section provides information about the S

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.332SystemVerilog Master BFMMaster BFM ConfigurationApril 2014Master BFM ConfigurationA mast

SystemVerilog Master BFMMaster BFM ConfigurationMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.333April 2014A master BFM has configuration

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.334SystemVerilog Master BFMMaster AssertionsApril 2014Master AssertionsThe master BFM perfo

SystemVerilog Master BFMSystemVerilog Master APIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.335April 2014SystemVerilog Master APIThis s

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.336SystemVerilog Master BFMset_config()April 2014set_config()This function sets the configu

SystemVerilog Master BFMget_config()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.337April 2014get_config()This function gets the configu

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.338SystemVerilog Master BFMcreate_master_transaction()April 2014create_master_transaction()

SystemVerilog Master BFMexecute_transaction()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.339April 2014execute_transaction()This task ex

Table of Contents4April 2014Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3Master Assertions . . . . . . . . . . . . . . . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.340SystemVerilog Master BFMexecute_transfer()April 2014execute_transfer()This task executes

SystemVerilog Master BFMget_stream_ready()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.341April 2014get_stream_ready()This blocking task

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.342SystemVerilog Master BFMwait_on()April 2014wait_on()This blocking task waits for an even

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.343April 2014Chapter 4SystemVerilog Slave BFMThis section provides information about the Sy

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.344SystemVerilog Slave BFMSlave BFM ConfigurationApril 2014Slave BFM ConfigurationThe slave

SystemVerilog Slave BFMSlave BFM ConfigurationMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.345April 2014A slave BFM has configuration fi

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.346SystemVerilog Slave BFMSlave AssertionsApril 2014Slave AssertionsThe slave BFM performs

SystemVerilog Slave BFMSystemVerilog Slave APIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.347April 2014SystemVerilog Slave APIThis sect

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.348SystemVerilog Slave BFMset_config()April 2014set_config()This function sets the configur

SystemVerilog Slave BFMget_config()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.349April 2014get_config()This function gets the configur

Table of ContentsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.35April 2014Chapter 7VHDL API Overview . . . . . . . . . . . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.350SystemVerilog Slave BFMcreate_slave_transaction()April 2014create_slave_transaction()Thi

SystemVerilog Slave BFMget_transfer()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.351April 2014get_transfer()This blocking task gets a s

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.352SystemVerilog Slave BFMexecute_stream_ready()April 2014execute_stream_ready()This task e

SystemVerilog Slave BFMwait_on()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.353April 2014wait_on()This blocking task waits for an event

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.354SystemVerilog Slave BFMwait_on()April 2014

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.355April 2014Chapter 5SystemVerilog Monitor BFMThis section provides information about the

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.356SystemVerilog Monitor BFMMonitor BFM ConfigurationApril 2014contain any timescale, timeu

SystemVerilog Monitor BFMMonitor BFM ConfigurationMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.357April 2014Table 5-1 describes the para

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.358SystemVerilog Monitor BFMMonitor AssertionsApril 20141. Refer to Monitor Timing and Even

SystemVerilog Monitor BFMSystemVerilog Monitor APIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.359April 2014Example 5-3. Monitor BFM Ind

Table of Contents6April 2014Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3get_operation_mode(). . . . . . . . . . . . . . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.360SystemVerilog Monitor BFMset_config()April 2014set_config()This function sets the config

SystemVerilog Monitor BFMget_config()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.361April 2014get_config()This function gets the config

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.362SystemVerilog Monitor BFMcreate_monitor_transaction()April 2014create_monitor_transactio

SystemVerilog Monitor BFMget_packet()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.363April 2014get_packet()This blocking task gets a mon

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.364SystemVerilog Monitor BFMget_transfer()April 2014get_transfer()This blocking task gets a

SystemVerilog Monitor BFMget_stream_ready()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.365April 2014get_stream_ready()This blocking tas

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.366SystemVerilog Monitor BFMwait_on()April 2014wait_on()This blocking task waits for an eve

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.367April 2014Chapter 6SystemVerilog TutorialsThis chapter discusses how to use the Mentor V

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.368SystemVerilog TutorialsVerifying a Slave DUTApril 2014Master BFM Test ProgramA master BF

SystemVerilog TutorialsVerifying a Slave DUTMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.369April 2014Example 6-2. Master Transaction Cr

Table of ContentsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.37April 2014Chapter 10VHDL Monitor BFM . . . . . . . . . . . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.370SystemVerilog TutorialsVerifying a Slave DUTApril 2014Example 6-3. Master Transfer Execu

SystemVerilog TutorialsVerifying a Master DUTMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.371April 2014Verifying a Master DUTA master DU

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.372SystemVerilog TutorialsVerifying a Master DUTApril 2014• Task ready_delay() to configure

SystemVerilog TutorialsVerifying a Master DUTMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.373April 2014Advanced Slave Test Program API D

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.374SystemVerilog TutorialsVerifying a Master DUTApril 2014Example 6-7. Transfer Receiving//

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.375April 2014Chapter 7VHDL API OverviewThis section describes the VHDL API procedures for t

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.376VHDL API OverviewApril 2014Figure 7-1. VHDL BFM Internal StructureTest Program VHDLSyste

VHDL API OverviewConfigurationMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.377April 2014ConfigurationConfiguration sets timeout delays,

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.378VHDL API OverviewCreating TransactionsApril 2014Transaction RecordThe transaction record

VHDL API OverviewCreating TransactionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.379April 2014The contents of the transaction record i

Table of Contents8April 2014Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3Appendix BVHDL Master and Slave Test Programs . . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.380VHDL API OverviewCreating TransactionsApril 2014The VHDL Master BFM API allows you to cr

VHDL API OverviewExecuting TransactionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.381April 2014Example 7-4 shows a master BFM test pro

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.382VHDL API OverviewWaiting EventsApril 2014In the above example, the bfm_index specifies t

VHDL API OverviewAccess Transaction RecordMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.383April 2014Access Transaction RecordEach BFM AP

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.384VHDL API OverviewOperational Transaction FieldsApril 2014Operational Transaction FieldsO

VHDL API OverviewOperational Transaction FieldsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.385April 2014TREADY Signal Delay Transaction

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.386VHDL API OverviewOperational Transaction FieldsApril 2014

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.387April 2014Chapter 8VHDL Master BFMThis section provides information about the VHDL maste

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.388VHDL Master BFMMaster BFM ConfigurationApril 2014Master BFM Configuration A master BFM s

VHDL Master BFMMaster AssertionsMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.389April 20141. Refer to Master Timing and Events for detai

9April 2014Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3List of ExamplesExample 2-1. BFM Test Program Set Configuration . . . . . . .

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.390VHDL Master BFMMaster AssertionsApril 2014Alternatively, you can disable individual buil

VHDL Master BFMVHDL Master BFM APIMentor Verification IP AE AMBA AXI4-Stream User Guide, V10.391April 2014VHDL Master BFM APIThis section describes th

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.392VHDL Master BFMset_config()April 2014set_config()This nonblocking procedure sets the con

VHDL Master BFMget_config()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.393April 2014get_config()This nonblocking procedure gets the con

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.394VHDL Master BFMcreate_master_transaction()April 2014create_master_transaction()This nonb

VHDL Master BFMcreate_master_transaction()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.395April 2014Example-- Create a master transactio

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.396VHDL Master BFMset_data()April 2014set_data()This nonblocking procedure sets a data fiel

VHDL Master BFMget_data()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.397April 2014get_data()This nonblocking procedure gets a data fiel

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.398VHDL Master BFMset_byte_type()April 2014set_byte_type()This nonblocking procedure sets a

VHDL Master BFMget_byte_type()Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.399April 2014get_byte_type()This nonblocking procedure gets a