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

Table of Contents
12
September 2013
Mentor VIP AE AXI3/4 User Guide, V10.2b
AXI3 BFM Master Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 608
AXI4 BFM Master Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 613
Verifying a Master DUT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
AXI3 BFM Slave Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 622
AXI3 Basic Slave API Definition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623
AXI3 Advanced Slave API Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 630
AXI4 BFM Slave Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 637
Chapter 12
Getting Started with Qsys and the BFMs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653
Setting Up Simulation from a UNIX Platform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 653
Setting Up Simulation from the Windows GUI. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 654
Running the Qsys Tool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656
Running Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 659
Invoking Simulation From a GUI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 660
Invoking Simulation From a UNIX Command Line . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 661
Example Script Processing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 662
Using a Shortcut or Editing the modelsim.ini File . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 663
Appendix A
Assertions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 665
AXI3 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 665
AXI4 Assertions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 678
Appendix B
SystemVerilog AXI3 and AXI4 Test Programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 695
SystemVerilog AXI3 Master BFM Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 695
SystemVerilog AXI3 Slave BFM Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 703
SystemVerilog AXI4 Master BFM Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 709
SystemVerilog AXI4 Slave BFM Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 720
Appendix C
VHDL AXI3 and AXI4 Test Programs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 731
VHDL AXI3 Master BFM Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 731
VHDL AXI4 Master BFM Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 743
VHDL AXI4 Slave BFM Test Program . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 748
Third-party Software for Mentor Verification IP Altera Edition
End-User License Agreement