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
    • AXI3 BFM Write Data Interleaving
    • BFM Read Data Interleaving
  • Supported Simulators
  • Simulator GCC Requirements
  • AXI3 and AXI4 Syntax References
• Chapter 1 Mentor VIP Altera Edition
  • Advantages of Using BFMs and Monitors
  • Implementation of BFMs
  • What Is a Transaction?
  • An AXI Transaction
    • AXI 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
      • Operational fields define how and when the transaction is transferred. Their content is not transferred over protocol signals. For example, the operation_mode field controls the blocking/nonblocking operation of a transaction, but this information is...
      • AXI3 Transaction Definition
      • AXI4 Transaction Definition
    • create*_transaction()
  • Executing Transactions
    • execute_transaction(), execute*_burst(), execute*_phase()
  • Waiting Events
    • wait_on()
    • get*_transaction(), get*_burst(), get*_phase(), get*_cycle()
  • Access Transaction Record
    • set*()
    • get*()
  • Operational Transaction Fields
    • Automatic Generation of Byte Lane Strobes
    • Operation Mode
    • Channel Handshake Delay
      • AXI3 BFM Handshake Delay
      • AXI3 BFM Handshake Signal Delay Transaction Fields
      • AXI4 BFM Handshake Delay
      • AXI4 BFM *VALID Signal Delay Transaction Fields
      • AXI4 BFM *READY Handshake Signal Delay Transaction Fields
    • AXI3 BFM Delay Mode
    • Data Beat Done
    • Transaction Done
• Chapter 3 SystemVerilog AXI3 and AXI4 Master BFMs
  • Master BFM Protocol Support
  • Master Timing and Events
  • Master BFM Configuration
  • Master Assertions
    • AXI3 Assertion Configuration
    • AXI4 Assertion Configuration
  • SystemVerilog Master API
    • set_config()
      • AXI3 Example
      • AXI4 Example
    • get_config()
      • AXI3 Example
      • AXI4 Example
    • create_write_transaction()
      • AXI3 Example
      • AXI4 Example
    • create_read_transaction()
      • AXI3 Example
      • AXI4 Example
    • execute_transaction()
      • AXI3 Example
      • AXI4 Example
    • execute_write_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • execute_read_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • execute_write_data_burst()
      • AXI3 Example
      • AXI4 Example
    • execute_write_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_response_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_read_data_cycle()
      • AXI3 BFM
      • AXI4 Example
    • get_write_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_response_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_read_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • execute_write_resp_ready()
      • AXI3 BFM
      • AXI4 Example
    • wait_on()
      • AXI3 Example
      • AXI4 Example
• Chapter 4 SystemVerilog AXI3 and AXI4 Slave BFMs
  • Slave BFM Protocol Support
  • Slave Timing and Events
  • Slave BFM Configuration
  • Slave Assertions
    • AXI3 Assertion Configuration
    • AXI4 Assertion Configuration
  • SystemVerilog Slave API
    • set_config()
      • This function sets the configuration of the slave BFM.
      • AXI3 Example
      • AXI4 Example
    • get_config()
      • AXI3 Example
      • AXI4 Example
    • create_slave_transaction()
      • Example
    • execute_read_data_burst()
      • AXI3 Example
      • AXI4 Example
    • execute_read_data_phase()
      • AXI3 Example
      • AXI4 Example
    • execute_write_response_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_phase()
    • get_write_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_read_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_read_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_addr_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_write_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_data_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_write_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_resp_ready()
      • AXI3 BFM
      • AXI4 Example
    • wait_on()
      • AXI3 Example
      • AXI4 Example
  • Helper Functions
    • get_write_addr_data()
      • Example
    • get_read_addr()
      • Example
    • set_read_data()
      • Example
• Chapter 5 SystemVerilog AXI3 and AXI4 Monitor BFMs
  • Inline Monitor Connection
  • Monitor BFM Protocol Support
  • Monitor Timing and Events
  • Monitor BFM Configuration
  • Monitor Assertions
    • AXI3 Assertion Configuration
    • AXI4 Assertion Configuration
  • SystemVerilog Monitor API
    • set_config()
      • AXI3 Example
      • AXI4 Example
    • get_config()
      • AXI3 Example
      • AXI4 Example
    • create_monitor_transaction()
      • Example
    • get_rw_transaction()
      • AXI3 Example
      • AXI4 Example
    • get_write_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_write_response_phase
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_read_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_resp_ready()
      • AXI3 BFM
      • AXI4 Example
    • wait_on()
      • AXI3 Example
      • AXI4 Example
  • Helper Functions
    • get_write_addr_data()
      • Example
    • get_read_addr()
      • Example
    • set_read_data()
      • Example
• Chapter 6 SystemVerilog Tutorials
  • Verifying a Slave DUT
    • AXI3 BFM Master Test Program
      • Configuration and Initialization
      • Write Transaction Creation and Execution
      • Read Transaction Creation and Execution
      • Write Burst Transaction Creation and Execution
      • Read Burst Transaction Creation and Execution
      • Outstanding Write Burst Transaction Creation and Execution
    • AXI4 BFM Master Test Program
      • master_ready_delay_mode
      • m_wr_resp_phase_ready_delay
      • m_rd_data_phase_ready_delay
      • Configuration and Initialization
      • Write Transaction Creation and Execution
      • Read Transaction Creation and Execution
      • Write Burst Transaction Creation and Execution
      • Read Burst Transaction Creation and Execution
      • Outstanding Write BurstTransaction Creation and Execution
        • handle_write_resp_ready()
        • handle_read_data_ready()
  • Verifying a Master DUT
    • AXI3 BFM Slave Test Program
      • AXI3 Basic Slave API Definition
      • Using the AXI3 Basic Slave Test Program API
      • Advanced AXI3 Slave API Definition
    • AXI4 BFM Slave Test Program
      • AXI4 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
        • slave_mode
      • Using the AXI4 Basic Slave Test Program API
      • AXI4 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
      • AXI4 Transaction Definition
    • create*_transaction()
  • Executing Transactions
    • execute_transaction(), execute*_burst(), execute*_phase()
  • Waiting Events
    • wait_on()
    • get*_transaction(), get*_burst(), get*_phase(), get*_cycle()
  • Access Transaction Record
    • set*()
    • get*()
  • Operational Transaction Fields
    • Automatic Correction of Byte Lane Strobes
    • Operation Mode
    • Channel Handshake Delay
      • AXI3 BFM Handshake Delay
      • AXI3 BFM Handshake Signal Delay Transaction Fields
      • AXI4 BFM Handshake Delay
      • AXI4 BFM *VALID Signal Delay Transaction Fields
      • AXI4 BFM *READY Handshake Signal Delay Transaction Fields
    • Data Beat Done
    • Transaction Done
• Chapter 8 VHDL AXI3 and AXI4 Master BFMs
  • Overloaded Procedure Common Arguments
  • Master BFM Protocol Support
  • Master Timing and Events
  • Master BFM Configuration
  • Master Assertions
    • AXI3 Assertion Configuration
    • AXI4 Assertion Configuration
  • VHDL Master API
    • set_config()
      • AXI3 Example
      • AXI4 Example
    • get_config()
      • AXI3 Example
      • AXI4 Example
    • create_write_transaction()
      • AXI3 Example
      • AXI4 Example
    • create_read_transaction()
      • AXI3 Example
      • AXI4 Example
    • set_addr()
      • AXI3 Example
      • AXI4 Example
    • get_addr()
      • AXI3 Example
      • AXI4 Example
    • set_size()
      • AXI3 Example
      • AXI4 Example
    • get_size()
      • AXI3 Example
      • AXI4 Example
    • set_burst()
      • AXI3 Example
      • AXI4 Example
    • get_burst()
      • AXI3 Example
      • AXI4 Example
    • set_lock()
      • AXI3 Example
      • AXI4 Example
    • get_lock()
      • AXI3 Example
      • AXI4 Example
    • set_cache()
      • AXI3 Example
      • AXI4 Example
    • get_cache()
      • AXI3 Example
      • AXI4 Example
    • set_prot()
      • AXI3 Example
      • AXI4 Example
    • get_prot()
      • AXI3 Example
      • AXI4 Example
    • set_id()
      • AXI3 Example
      • AXI4 Example
    • get_id()
      • AXI3 Example
      • AXI4 Example
    • set_burst_length()
      • AXI3 Example
      • AXI4 Example
    • get_burst_length()
      • AXI3 Example
      • AXI4 Example
    • set_data_words()
      • AXI3 Example
      • AXI4 Example
    • get_data_words()
      • AXI3 Example
      • AXI4 Example
    • set_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • get_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • set_resp()
    • get_resp()
      • AXI3 Example
      • AXI4 Example
    • set_addr_user()
      • AXI3 Example
      • AXI4 Example
    • get_addr_user()
      • AXI3 Example
      • AXI4 Example
    • set_read_or_write()
    • get_read_or_write()
      • AXI3 Example
      • AXI4 Example
    • set_gen_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • get_gen_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • set_operation_mode()
      • AXI3 Example
      • AXI4 Example
    • get_operation_mode()
      • AXI3 Example
      • AXI4 Example
    • set_delay_mode()
      • AXI3 Example
      • AXI4 BFM
    • get_delay_mode()
      • AXI3 Example
      • AXI4 BFM
    • set_write_data_mode()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_mode()
      • AXI3 Example
      • AXI4 Example
    • set_address_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • get_address_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_address_ready_delay()
    • get_address_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • get_data_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • get_data_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_write_response_valid_delay()
    • get_write_response_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_write_response_ready_delay()
      • AXI3 Example
      • AXI4 BFM
    • get_write_response_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_beat_done()
      • AXI3 Example
      • AXI4 Example
    • get_data_beat_done()
      • AXI3 Example
      • AXI4 Example
    • set_transaction_done()
      • AXI3 Example
      • AXI4 Example
    • get_transaction_done()
      • AXI3 Example
      • AXI4 Example
    • execute_transaction()
      • AXI3 Example
      • AXI4 Example
    • execute_write_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • execute_read_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • execute_write_data_burst()
      • AXI3 Example
      • AXI4 Example
    • execute_write_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_response_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_read_data_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_read_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_response_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_write_resp_ready()
      • AXI3 BFM
      • AXI4 Example
    • push_transaction_id()
      • AXI3 Example
      • AXI4 Example
    • pop_transaction_id()
      • AXI3 Example
      • AXI4 Example
    • print()
      • AXI3 Example
      • AXI4 Example
    • destruct_transaction()
      • AXI3 Example
      • AXI4 Example
    • wait_on()
      • AXI3 Example
      • AXI4 Example
• Chapter 9 VHDL AXI3 and AXI4 Slave BFMs
  • Slave BFM Protocol Support
  • Slave Timing and Events
  • Slave BFM Configuration
  • Slave Assertions
    • AXI3 Assertion Configuration
    • AXI4 Assertion Configuration
  • VHDL Slave API
    • set_config()
      • AXI3 Example
      • AXI4 Example
    • get_config()
      • AXI3 Example
      • AXI4 Example
    • create_slave_transaction()
      • AXI3 Example
      • AXI4 Example
    • set_addr()
    • get_addr()
      • AXI3 Example
      • AXI4 Example
    • set_size()
    • get_size()
      • AXI3 Example
      • AXI4 Example
    • set_burst()
    • get_burst()
      • AXI3 Example
      • AXI4 Example
    • set_lock()
    • get_lock()
      • AXI3 Example
      • AXI4 Example
    • set_cache()
    • get_cache()
      • AXI3 Example
      • AXI4 Example
    • set_prot()
    • get_prot()
      • AXI3 Example
      • AXI4 Example
    • set_id()
    • get_id()
      • AXI3 Example
      • AXI4 Example
    • set_burst_length()
    • get_burst_length()
      • AXI3 Example
      • AXI4 Example
    • set_data_words()
      • AXI3 Example
      • AXI4 Example
    • get_data_words()
      • AXI3 Example
      • get_data_words(data, 1, tr_id, bfm_index, axi_tr_if_0(bfm_index));AXI4 Example
    • set_write_strobes()
    • get_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • set_resp()
      • AXI3 Example
      • AXI4 Example
    • get_resp()
      • AXI3 Example
      • AXI4 Example
    • set_addr_user()
    • get_addr_user()
      • AXI3 Example
      • AXI4 Example
    • set_read_or_write()
    • get_read_or_write()
      • AXI3 Example
      • AXI4 Example
    • set_gen_write_strobes()
    • get_gen_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • set_operation_mode()
      • AXI3 Example
      • AXI4 Example
    • get_operation_mode()
      • AXI3 Example
      • AXI4 Example
    • set_delay_mode()
      • AXI3 Example
      • AXI4 BFM
    • get_delay_mode()
      • AXI3 Example
      • AXI4 BFM
    • set_write_data_mode()
    • get_write_data_mode()
      • AXI3 Example
      • AXI4 Example
    • set_address_valid_delay()
    • get_address_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_address_ready_delay()
      • AXI3 Example
      • AXI4 BFM
    • get_address_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • get_data_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_ready_delay()
      • AXI3 Example
      • AXI4 BFM
    • get_data_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_write_response_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • get_write_response_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_write_response_ready_delay()
    • get_write_response_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_beat_done()
      • AXI3 Example
      • AXI4 Example
    • get_data_beat_done()
      • AXI3 Example
      • AXI4 Example
    • set_transaction_done()
      • AXI3 Example
      • AXI4 Example
    • get_transaction_done()
      • AXI3 Example
      • AXI4 Example
    • execute_read_data_burst()
      • AXI3 Example
      • AXI4 Example
    • execute_read_data_phase()
      • AXI3 Example
      • AXI4 Example
    • execute_write_response_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_read_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_read_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_addr_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_write_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_data_cycle()
      • AXI3 BFM
      • AXI4 Example
    • execute_write_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_resp_ready()
      • AXI3 BFM
      • AXI4 Example
    • push_transaction_id()
      • AXI3 Example
      • AXI4 Example
    • pop_transaction_id()
      • AXI3 Example
      • AXI4 Example
    • print()
      • AXI3 Example
      • AXI4 Example
    • destruct_transaction()
      • AXI3 Example
      • AXI4 Example
    • wait_on()
      • AXI3 Example
      • AXI4 Example
  • Helper Functions
    • get_write_addr_data()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr()
      • AXI3 Example
      • AXI4 Example
    • set_read_data()
      • AXI3 Example
      • AXI4 Example
• Chapter 10 VHDL AXI3 and AXI4 Monitor BFMs
  • Inline Monitor Connection
  • Monitor BFM Protocol Support
  • Monitor Timing and Events
  • Monitor BFM Configuration
  • Monitor Assertions
    • AXI3 Assertion Configuration
    • AXI4 Assertion Configuration
  • VHDL Monitor API
    • set_config()
      • AXI3 Example
      • AXI4 Example
    • get_config()
      • AXI3 Example
      • AXI4 Example
    • create_monitor_transaction()
      • AXI3 Example
      • AXI4 Example
    • set_addr()
    • get_addr()
      • AXI3 Example
      • AXI4 Example
    • set_size()
    • get_size()
      • AXI3 Example
      • AXI4 Example
    • set_burst()
    • get_burst()
      • AXI3 Example
      • AXI4 Example
    • set_lock()
    • get_lock()
      • AXI3 Example
      • AXI4 Example
    • set_cache()
    • get_cache()
      • AXI3 Example
      • AXI4 Example
    • set_prot()
    • get_prot()
      • AXI3 Example
      • AXI4 Example
    • set_id()
    • get_id()
      • AXI3 Example
      • AXI4 Example
    • set_burst_length()
    • get_burst_length()
      • AXI3 Example
      • AXI4 Example
    • set_data_words()
    • get_data_words()
      • AXI3 Example
      • AXI4 Example
    • set_write_strobes()
    • get_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • set_resp()
    • get_resp()
      • AXI3 Example
      • AXI4 Example
    • set_addr_user()
    • get_addr_user()
      • AXI3 Example
      • AXI4 Example
    • set_read_or_write()
    • get_read_or_write()
      • AXI3 Example
      • get_read_or_write(read_or_write, tr_id, bfm_index, axi_tr_if_0(bfm_index));AXI4 Example
    • set_gen_write_strobes()
    • get_gen_write_strobes()
      • AXI3 Example
      • AXI4 Example
    • set_operation_mode()
      • AXI3 Example
      • AXI4 Example
    • get_operation_mode()
      • AXI3 Example
      • AXI4 Example
    • set_delay_mode()
    • get_delay_mode()
      • AXI3 Example
      • AXI4 BFM
    • set_write_data_mode()
    • get_write_data_mode()
      • AXI3 Example
      • AXI4 Example
    • set_address_valid_delay()
    • get_address_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_address_ready_delay()
    • get_address_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_valid_delay()
    • get_data_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_ready_delay()
    • get_data_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_write_response_valid_delay()
    • get_write_response_valid_delay()
      • AXI3 Example
      • AXI4 Example
    • set_write_response_ready_delay()
    • get_write_response_ready_delay()
      • AXI3 Example
      • AXI4 Example
    • set_data_beat_done()
    • get_data_beat_done()
      • AXI3 Example
      • AXI4 Example
    • set_transaction_done()
    • get_transaction_done()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_read_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_response_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_phase()
      • AXI3 Example
      • AXI4 Example
    • get_write_data_burst()
      • AXI3 Example
      • AXI4 Example
    • get_rw_transaction()
      • AXI3 Example
      • AXI4 Example
    • get_read_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_read_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_addr_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_data_ready()
      • AXI3 BFM
      • AXI4 Example
    • get_write_resp_ready()
      • AXI3 BFM
      • AXI4 Example
    • push_transaction_id()
      • AXI3 Example
      • AXI4 Example
    • pop_transaction_id()
      • AXI3 Example
      • AXI4 Example
    • print()
      • AXI3 Example
      • AXI4 Example
    • destruct_transaction()
      • AXI3 Example
      • AXI4 Example
    • wait_on()
      • AXI3 Example
      • AXI4 Example
• Chapter 11 VHDL Tutorials
  • Verifying a Slave DUT
    • AXI3 BFM Master Test Program
      • Configuration and Initialization
      • Write Transaction Creation and Execution
      • Read Transaction Creation and Execution
      • Write Burst Transaction Creation and Execution
      • Read Burst Transaction Creation and Execution
      • Outstanding Write Burst Transaction Creation and Execution
    • AXI4 BFM Master Test Program
      • m_wr_resp_phase_ready_delay
      • m_rd_data_phase_ready_delay
      • Configuration and Initialization
      • Write Transaction Creation and Execution
      • Read Transaction Creation and Execution
      • Write Burst Transaction Creation and Execution
      • Read Burst Transaction Creation and Execution
      • Outstanding Write Burst Transaction Creation and Execution
        • handle_write_resp_ready
        • handle_read_data_ready
  • Verifying a Master DUT
    • AXI3 BFM Slave Test Program
    • AXI3 Basic Slave API Definition
      • Using the AXI3 Basic Slave Test Program API
    • AXI3 Advanced Slave API Definition
    • AXI4 BFM Slave Test Program
      • AXI4 Basic Slave API Definition
        • Configuration variables m_max_outstanding_read_trans and m_max_outstanding_write_trans back-pressure a master from transmitting additional read and write transactions when the configured value has been reached.
        • 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()
        • slave_mode
      • Using the AXI4 Basic Slave Test Program API
      • AXI4 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 Simulation
    • Invoking Simulation From a GUI
    • Invoking Simulation From a UNIX Command Line
    • Example Script Processing
    • Using a Shortcut or Editing the modelsim.ini File
• Appendix A Assertions
  • AXI3 Assertions
  • AXI4 Assertions
• Appendix B SystemVerilog AXI3 and AXI4 Test Programs
  • SystemVerilog AXI3 Master BFM Test Program
  • SystemVerilog AXI3 Slave BFM Test Program
  • SystemVerilog AXI4 Master BFM Test Program
  • SystemVerilog AXI4 Slave BFM Test Program
• Appendix C VHDL AXI3 and AXI4 Test Programs
  • VHDL AXI3 Master BFM Test Program
  • VHDL AXI4 Master BFM Test Program
  • VHDL AXI4 Slave BFM Test Program
• Third-party Software for Mentor Verification IP Altera Edition
• End-User License Agreement