Document Outline

• Table of Contents
• List of Examples
• List of Figures
• List of Tables
• Preface
  • About This User Guide
  • AMBA AXI Protocol Specification
  • Protocol Restrictions
    • BFM Dependencies Between Handshake Signals
  • 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-Lite Transactions
    • AXI4-Lite Write Transaction Master and Slave Roles
    • AXI Read Transaction Master and Slave Roles
• Chapter 2 SystemVerilog API Overview
  • Configuration
    • set_config()
    • get_config()
  • Creating Transactions
    • Transaction Record
      • AXI4-Lite Transaction Definition
    • create*_transaction()
  • Executing Transactions
    • execute_transaction(), execute*_phase()
  • Waiting Events
    • wait_on()
    • get*_transaction(), get*_phase(), get*_cycle()
  • Access Transaction Record
    • set*()
    • get*()
  • Operational Transaction Fields
    • Automatic Generation of Byte Lane Strobes
    • Operation Mode
    • Channel Handshake Delay
      • Handshake Delay
      • VALID Signal Delay Transaction Fields
      • *READY Handshake Signal Delay Transaction Fields
    • Transaction Done
• Chapter 3 SystemVerilog Master BFM
  • Master BFM Protocol Support
  • Master Timing and Events
  • Master BFM Configuration
  • Master Assertions
    • Assertion Configuration
  • SystemVerilog Master API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_write_transaction()
      • Example
    • create_read_transaction()
      • Example
    • execute_transaction()
      • Example
    • execute_write_addr_phase()
      • Example
    • execute_read_addr_phase()
      • Example
    • execute_write_data_phase()
      • Example
    • get_read_data_phase()
      • Example
    • get_write_response_phase()
      • Example
    • get_read_addr_ready()
      • Example
    • get_read_data_cycle()
      • Example
    • get_write_addr_ready()
      • Example
    • get_write_data_ready()
      • Example
    • get_write_response_cycle()
      • Example
    • execute_read_data_ready()
      • Example
    • execute_write_resp_ready()
      • Example
    • wait_on()
      • Example
• Chapter 4 SystemVerilog Slave BFM
  • Slave BFM Protocol Support
  • Slave Timing and Events
  • Slave BFM Configuration
  • Slave Assertions
    • Assertion Configuration
  • SystemVerilog Slave API
    • set_config()
      • This function sets the configuration of the slave BFM.
      • Example
    • get_config()
      • Example
    • create_slave_transaction()
      • Example
    • execute_read_data_phase()
      • Example
    • execute_write_response_phase()
      • Example
    • get_write_addr_phase()
      • Example
    • get_read_addr_phase()
      • Example
    • get_write_data_phase()
      • Example
    • get_read_addr_cycle()
      • Example
    • execute_read_addr_ready()
      • Example
    • get_read_data_ready()
      • Example
    • get_write_addr_cycle()
      • Example
    • execute_write_addr_ready()
      • Example
    • get_write_data_cycle()
      • Example
    • execute_write_data_ready()
      • Example
    • get_write_resp_ready()
      • Example
    • wait_on()
      • Example
  • Helper Functions
    • get_write_addr_data()
      • Example
    • get_read_addr()
      • Example
    • set_read_data()
      • Example
• Chapter 5 SystemVerilog Monitor BFM
  • Inline Monitor Connection
  • Monitor BFM Protocol Support
  • Monitor Timing and Events
  • Monitor BFM Configuration
  • Monitor Assertions
    • Assertion Configuration
  • SystemVerilog Monitor API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_monitor_transaction()
      • Example
    • get_rw_transaction()
      • Example
    • get_write_addr_phase()
      • Example
    • get_read_addr_phase()
      • Example
    • get_read_data_phase()
      • Example
    • get_write_data_phase()
      • Example
    • get_write_response_phase
      • Example
    • get_read_addr_ready()
      • Example
    • get_read_data_ready()
      • Example
    • get_write_addr_ready()
      • Example
    • get_write_data_ready()
      • Example
    • get_write_resp_ready()
      • Example
    • wait_on()
      • Example
  • Helper Functions
    • get_write_addr_data()
      • Example
    • get_read_addr()
      • Example
    • set_read_data()
      • Example
• Chapter 6 SystemVerilog Tutorials
  • Verifying a Slave DUT
    • BFM Master Test Program
      • master_ready_delay_mode
      • m_wr_resp_phase_ready_delay
      • m_rd_data_phase_ready_delay
      • Configuration and Initialization
      • Create and Execute Write Transactions
      • Create and Execute Read Transactions
        • handle_write_resp_ready()
        • handle_read_data_ready()
  • Verifying a Master DUT
    • BFM Slave Test Program
      • Basic Slave API Definition
        • Internal Memory
        • do_byte_read()
        • do_byte_write()
        • m_rd_addr_phase_ready_delay
        • m_wr_addr_phase_ready_delay
        • m_wr_data_phase_ready_delay
        • set_read_data_valid_delay()
        • set_wr_resp_valid_delay()
        • slave_ready_delay_mode
      • Using the Basic Slave Test Program API
      • Advanced Slave API Definition
        • Initial Block
        • process_read()
        • handle_read()
        • process_write()
        • handle_write()
        • handle_write_addr_ready()
        • handle_read_addr_ready()
        • handle_write_data_ready()
• Chapter 7 VHDL API Overview
  • Configuration
    • set_config()
    • get_config()
  • Creating Transactions
    • Transaction Record
      • Transaction Definition
    • create*_transaction()
  • Executing Transactions
    • execute_transaction(), execute*_phase()
  • Waiting Events
    • wait_on()
    • get*_transaction(), get*_phase(), get*_cycle()
  • Access Transaction Record
    • set*()
    • get*()
  • Operational Transaction Fields
    • Automatic Correction of Byte Lane Strobes
    • Operation Mode
    • Channel Handshake Delay
      • Handshake Delay
      • *VALID Signal Delay Transaction Fields
      • *READY Handshake Signal Delay Transaction Fields
    • Transaction Done
• Chapter 8 VHDL Master BFM
  • Overloaded Procedure Common Arguments
  • Master BFM Protocol Support
  • Master Timing and Events
  • Master BFM Configuration
  • Master Assertions
    • Assertion Configuration
  • VHDL Master API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_write_transaction()
      • Example
    • create_read_transaction()
      • Example
    • set_addr()
      • Example
    • get_addr()
      • Example
    • set_prot()
      • Example
    • get_prot()
      • Example
    • set_data_words()
      • Example
    • get_data_words()
      • Example
    • set_write_strobes()
      • Example
    • get_write_strobes()
      • Example
    • set_resp()
    • get_resp()
      • Example
    • set_read_or_write()
    • get_read_or_write()
      • Example
    • set_gen_write_strobes()
      • Example
    • get_gen_write_strobes()
      • Example
    • set_operation_mode()
      • Example
    • get_operation_mode()
      • Example
    • set_write_data_mode()
      • Example
    • get_write_data_mode()
      • Example
    • set_address_valid_delay()
      • Example
    • get_address_valid_delay()
      • Example
    • get_address_ready_delay()
      • Example
    • set_data_valid_delay()
      • Example
    • get_data_valid_delay()
      • Example
    • get_data_ready_delay()
      • Example
    • set_write_response_valid_delay()
    • get_write_response_valid_delay()
      • Example
    • get_write_response_ready_delay()
      • Example
    • set_transaction_done()
      • Example
    • get_transaction_done()
      • Example
    • execute_transaction()
      • Example
    • execute_write_addr_phase()
      • Example
    • execute_read_addr_phase()
      • Example
    • execute_write_data_phase()
      • Example
    • get_read_data_phase()
      • Example
    • get_write_response_phase()
      • Example
    • get_read_addr_ready()
      • Example
    • get_read_data_cycle()
      • Example
    • execute_read_data_ready()
      • Example
    • get_write_addr_ready()
      • Example
    • get_write_data_ready()
      • Example
    • get_write_response_cycle()
      • Example
    • execute_write_resp_ready()
      • Example
    • push_transaction_id()
      • Example
    • pop_transaction_id()
      • 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
    • Assertion Configuration
  • VHDL Slave API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_slave_transaction()
      • Example
    • set_addr()
    • get_addr()
      • Example
    • set_prot()
    • get_prot()
      • Example
    • set_data_words()
      • Example
    • get_data_words()
      • Example
    • set_write_strobes()
    • get_write_strobes()
      • Example
    • set_resp()
      • Example
    • get_resp()
      • Example
    • set_read_or_write()
    • get_read_or_write()
      • Example
    • set_gen_write_strobes()
    • get_gen_write_strobes()
      • Example
    • set_operation_mode()
      • Example
    • get_operation_mode()
      • Example
    • set_write_data_mode()
    • get_write_data_mode()
      • Example
    • set_address_valid_delay()
    • get_address_valid_delay()
      • Example
    • get_address_ready_delay()
      • Example
    • set_data_valid_delay()
      • Example
    • get_data_valid_delay()
      • Example
    • get_data_ready_delay()
      • Example
    • set_write_response_valid_delay()
      • Example
    • get_write_response_valid_delay()
      • Example
    • get_write_response_ready_delay()
      • Example
    • set_transaction_done()
      • Example
    • get_transaction_done()
      • Example
    • execute_read_data_phase()
      • Example
    • execute_write_response_phase()
      • Example
    • get_write_addr_phase()
      • Example
    • get_read_addr_phase()
      • Example
    • get_write_data_phase()
      • Example
    • get_read_addr_cycle()
      • Example
    • execute_read_addr_ready()
      • Example
    • get_read_data_ready()
      • Example
    • get_write_addr_cycle()
      • Example
    • execute_write_addr_ready()
      • Example
    • get_write_data_cycle()
      • Example
    • execute_write_data_ready()
      • Example
    • get_write_resp_ready()
      • Example
    • push_transaction_id()
      • Example
    • pop_transaction_id()
      • Example
    • print()
      • Example
    • destruct_transaction()
      • Example
    • wait_on()
      • Example
  • Helper Functions
    • get_write_addr_data()
      • Example
    • get_read_addr()
      • Example
    • set_read_data()
      • Example
• Chapter 10 VHDL Monitor BFM
  • Inline Monitor Connection
  • Monitor BFM Protocol Support
  • Monitor Timing and Events
  • Monitor BFM Configuration
  • Monitor Assertions
    • Assertion Configuration
  • VHDL Monitor API
    • set_config()
      • Example
    • get_config()
      • Example
    • create_monitor_transaction()
      • Example
    • set_addr()
    • get_addr()
      • Example
    • set_prot()
    • get_prot()
      • Example
    • set_data_words()
    • get_data_words()
      • Example
    • set_write_strobes()
    • get_write_strobes()
      • Example
    • set_resp()
    • get_resp()
      • Example
    • set_read_or_write()
    • get_read_or_write()
      • Example
    • set_gen_write_strobes()
    • get_gen_write_strobes()
      • Example
    • set_operation_mode()
      • Example
    • get_operation_mode()
      • Example
    • set_write_data_mode()
    • get_write_data_mode()
      • Example
    • set_address_valid_delay()
    • get_address_valid_delay()
      • Example
    • get_address_ready_delay()
      • Example
    • set_data_valid_delay()
    • get_data_valid_delay()
      • Example
    • get_data_ready_delay()
      • Example
    • get_write_response_valid_delay()
      • Example
    • get_write_response_ready_delay()
      • Example
    • set_transaction_done()
    • get_transaction_done()
      • Example
    • get_read_data_phase()
      • Example
    • get_write_response_phase()
      • Example
    • get_write_addr_phase()
      • Example
    • get_read_addr_phase()
      • Example
    • get_write_data_phase()
      • Example
    • get_rw_transaction()
      • Example
    • get_read_addr_ready()
      • Example
    • get_read_data_ready()
      • Example
    • get_write_addr_ready()
      • Example
    • get_write_data_ready()
      • Example
    • get_write_resp_ready()
      • Example
    • push_transaction_id()
      • Example
    • pop_transaction_id()
      • Example
    • print()
      • Example
    • destruct_transaction()
      • Example
    • wait_on()
      • Example
• Chapter 11 VHDL Tutorials
  • Verifying a Slave DUT
    • BFM Master Test Program
      • m_wr_resp_phase_ready_delay
      • m_rd_data_phase_ready_delay
      • Configuration and Initialization
      • Create and Execute Write Transactions
      • Create and Execute Read Transactions
        • handle_write_resp_ready
        • handle_read_data_ready
  • Verifying a Master DUT
    • BFM Slave Test Program
      • Basic Slave API Definition
        • Internal Memory
        • do_byte_read()
        • do_byte_write()
        • m_wr_addr_phase_ready_delay
        • m_rd_addr_phase_ready_delay
        • m_wr_data_phase_ready_delay
        • set_wr_resp_valid_delay()
        • set_read_data_valid_delay()
      • Using the Basic Slave Test Program API
      • Advanced Slave API Definition
        • process_read
        • handle_read
        • process_write
        • handle_write
        • handle_response
        • handle_write_addr_ready
        • handle_read_addr_ready
        • handle_write_data_ready
• Chapter 12 Getting Started with Qsys and the BFMs
  • Setting Up 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
• Appendix A
  • AXI4-Lite Assertions
• Appendix B SystemVerilog Test Programs
  • SystemVerilog AXI4-Lite Master BFM Test Program
  • SystemVerilog AXI4-Lite Slave BFM Test Program
• Appendix C VHDL Test Programs
  • AXI4-Lite VHDL Master BFM Test Program
  • AXI4-Lite VHDL Slave BFM Test Program
• Third-Party Software for Mentor Verification IP Altera Edition
• End-User License Agreement