Document Outline

• Table of Contents
• List of Examples
• List of Figures
• List of Tables
• Preface
  • About This User Guide
  • AMBA AXI4-Stream Protocol Specification
  • Mentor VIP AE License Requirements
  • Supported Simulators
  • Simulator GCC Requirements
• Chapter 1 Mentor VIP Altera Edition
  • Advantages of Using BFMs and Monitors
  • Implementation of BFMs
  • What Is a Transaction?
  • AXI4-Stream Transactions
    • Master BFM and Slave BFM Roles
• Chapter 2 SystemVerilog API Overview
  • Configuration
    • set_config()
    • get_config()
  • Creating Transactions
    • Transaction Record
      • Transaction Definition
    • create_*_transaction()
  • Executing Transactions
    • execute_transaction()
  • Waiting Events
    • wait_on()
    • get_packet(), get_transfer()
  • Access Transaction Record
    • set*()
    • get*()
  • Operational Transaction Fields
    • Operation Mode
    • Handshake Delay
      • TVALID Signal Delay Transaction Field
      • TREADY Signal Delay Transaction Field
    • Transfer Done
    • Transaction Done
• Chapter 3 SystemVerilog Master BFM
  • Master BFM Protocol Support
  • Master Timing and Events
  • Master BFM Configuration
  • Master Assertions
  • SystemVerilog Master API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_master_transaction()
      • Example
    • execute_transaction()
      • Example
    • execute_transfer()
      • Example
    • get_stream_ready()
      • Example
    • wait_on()
      • Example
• Chapter 4 SystemVerilog Slave BFM
  • Slave BFM Protocol Support
  • Slave Timing and Events
  • Slave BFM Configuration
  • Slave Assertions
  • SystemVerilog Slave API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_slave_transaction()
      • Example
    • get_transfer()
      • Example
    • execute_stream_ready()
      • Example
    • wait_on()
      • Example
• Chapter 5 SystemVerilog Monitor BFM
  • Inline Monitor Connection
  • Monitor BFM Protocol Support
  • Monitor Timing and Events
  • Monitor BFM Configuration
  • Monitor Assertions
  • SystemVerilog Monitor API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_monitor_transaction()
      • Example
    • get_packet()
      • Example
    • get_transfer()
      • Example
    • get_stream_ready()
      • Example
    • wait_on()
      • Example
• Chapter 6 SystemVerilog Tutorials
  • Verifying a Slave DUT
    • Master BFM Test Program
      • Initial Block
  • Verifying a Master DUT
    • Slave BFM Test Program
      • Basic Slave Test Program API Definition
        • m_insert_wait
        • ready_delay()
      • Advanced Slave Test Program API Definition
        • initial block()
• Chapter 7 VHDL API Overview
  • Configuration
    • set_config()
    • get_config()
  • Creating Transactions
    • Transaction Record
      • Transaction Definition
    • create*_transaction()
  • Executing Transactions
    • execute_transaction()
  • Waiting Events
    • wait_on()
    • get_packet(), get_transfer()
  • Access Transaction Record
    • set*()
    • get*()
  • Operational Transaction Fields
    • Operation Mode
    • Handshake Delay
      • TVALID Signal Delay Transaction Field
      • TREADY Signal Delay Transaction Field
    • Transfer Done
    • Transaction Done
• Chapter 8 VHDL Master BFM
  • Overloaded Procedure Common Arguments
  • Master BFM Protocol Support
  • Master Timing and Events
  • Master BFM Configuration
  • Master Assertions
  • VHDL Master BFM API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_master_transaction()
      • Example
    • set_data()
      • Example
    • get_data()
      • Example
    • set_byte_type()
      • Example
    • get_byte_type()
      • Example
    • set_id()
      • Example
    • get_id()
      • Example
    • set_dest()
      • Example
    • get_dest()
      • Example
    • set_user_data()
      • Example
    • get_user_data()
      • Example
    • set_valid_delay()
      • Example
    • get_valid_delay()
      • Example
    • set_ready_delay()
      • Example
    • get_ready_delay()
      • Example
    • set_operation_mode()
      • Example
    • get_operation_mode()
      • Example
    • set_transfer_done()
      • Example
    • get_transfer_done()
      • Example
    • set_transaction_done()
      • Example
    • get_transaction_done()
      • Example
    • execute_transaction()
      • Example
    • execute_transfer()
      • Example
    • get_stream_ready()
      • Example
    • print()
      • Example
    • destruct_transaction()
      • Example
    • wait_on()
      • Example
• Chapter 9 VHDL Slave BFM
  • Slave BFM Protocol Support
  • Slave Timing and Events
  • Slave BFM Configuration
  • Slave Assertions
  • VHDL Slave BFM API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_slave_transaction()
      • Example
    • set_data()
      • Example
    • get_data()
      • Example
    • set_byte_type()
      • Example
    • get_byte_type()
      • Example
    • set_id()
      • Example
    • get_id()
      • Example
    • set_dest()
      • Example
    • get_dest()
      • Example
    • set_user_data()
      • Example
    • get_user_data()
      • Example
    • set_valid_delay()
      • Example
    • get_valid_delay()
      • Example
    • set_ready_delay()
      • Example
    • get_ready_delay()
      • Example
    • set_operation_mode()
      • Example
    • get_operation_mode()
      • Example
    • set_transfer_done()
      • Example
    • get_transfer_done()
      • Example
    • set_transaction_done()
      • Example
    • get_transaction_done()
      • Example
    • get_packet()
      • Example
    • get_transfer()
      • Example
    • execute_stream_ready()
      • Example
    • print()
      • Example
    • destruct_transaction()
      • Example
    • wait_on()
      • Example
• Chapter 10 VHDL Monitor BFM
  • Inline Monitor Connection
  • Monitor BFM Protocol Support
  • Monitor Timing and Events
  • Monitor BFM Configuration
  • Monitor Assertions
  • VHDL Monitor BFM API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_monitor_transaction()
      • Example
    • get_data()
      • Example
    • get_byte_type()
      • Example
    • get_id()
      • Example
    • get_dest()
      • Example
    • get_user_data()
      • Example
    • get_valid_delay()
      • Example
    • get_ready_delay()
      • Example
    • get_operation_mode()
      • Example
    • get_transfer_done()
      • Example
    • get_transaction_done()
      • Example
    • get_packet()
      • Example
    • get_transfer()
      • Example
    • print()
      • Example
    • destruct_transaction()
      • Example
    • wait_on()
      • Example
• Chapter 11 VHDL Tutorials
  • Verifying a Slave DUT
    • Master BFM Test Program
      • Traffic Generation
  • Verifying a Master DUT
    • Slave BFM Test Program
      • Basic Slave Test Program API Definition
        • m_insert_wait
        • ready_delay()
      • Advanced Slave Test Program API Definition
        • initial block()
• Chapter 12 Getting Started with Qsys and the BFMs
  • Setting Up a Simulation from a UNIX Platform
  • Setting Up Simulation from the Windows GUI
    • Running the Qsys Tool
    • Running a Simulation
      • ModelSim Simulation
        • Starting a Simulation From the ModelSim GUI
        • Starting a Simulation from a UNIX Command Line
        • ModelSim Example Script Processing
        • Editing the modelsim.ini File
      • Questa Simulation
      • Cadence IES Simulation
        • Starting a Simulation from a UNIX Command Line
        • Cadence IES Example Script Processing
      • Synopsys VCS Simulation
        • Starting a Simulation from a UNIX Command Line
        • Synopsys VCS Example Script Processing
• Chapter 13 Assertions
• Appendix A SystemVerilog Master and Slave Test Programs
  • SystemVerilog Master Test Program
  • SystemVerilog Slave Test Program
• Appendix B VHDL Master and Slave Test Programs
  • VHDL Master BFM Code Example
  • VHDL Slave BFM Code Example
• Third-party Software for Mentor Verification IP Altera Edition
• End-User License Agreement