Altera Avalon Verification IP Suite User Manual
Introduction to avalon verification ip suite, User guide
Advertising
Table of contents
Document Outline
- Introduction to Avalon Verification IP SuiteUser Guide
- Contents
- 1. Introduction to Avalon Verification IP Suite
- 2. Clock Source BFM
- 3. Reset Source BFM
- 4. Avalon Interrupt Source and Interrupt Sink BFMs
- 5. Avalon-MM Master BFM
- Timing
- Block Diagram
- Parameters
- Avalon-MM Master BFM API
- event_all_transactions_complete()
- event_command_issued()
- event_max_command_queue_size()
- event_min_command_queue_size()
- event_read_response_complete()
- event_response_complete()
- event_write_response_complete()
- get_command_issued_queue_size()
- get_command_pending_queue_size()
- get_read_response_queue_size()
- get_response_address()
- get_response_byte_enable()
- get_response_burst_size()
- get_response_data()
- get_response_latency()
- get_response_queue_size()
- get_response_read_id()
- get_response_read_response()
- get_response_request()
- get_response_wait_time()
- get_response_write_id()
- get_response_write_response()
- get_write_response_queue_size()
- get_version()
- init()
- pop_response()
- push_command()
- set_clken()
- set_command_address()
- set_command_arbiterlock()
- set_command_byte_enable()
- set_command_burst_count()
- set_command_burst_size()
- set_command_data()
- set_command_debugaccess()
- set_command_idle()
- set_command_init_latency()
- set_command_lock()
- set_command_request()
- set_command_timeout()
- set_command_transaction_id()
- set_command_write_response_request()
- set_max_command_queue_size()
- set_min_command_queue_size()
- set_response_timeout()
- signal_all_transactions_complete
- signal_command_issued
- signal_fatal_error
- signal_max_command_queue_size
- signal_min_command_queue_size
- signal_read_response_complete
- signal_response_complete
- signal_write_response_complete
- 6. Avalon-MM Slave BFM
- Timing
- Block Diagram
- Parameters
- Avalon-MM Slave BFM API
- event_command_received()
- event_response_issued()
- event_max_response_queue_size()
- event_min_response_queue_size()
- get_clken()
- get_command_address()
- get_command_arbiterlock()
- get_command_burst_count()
- get_command_burst_cycle()
- get_command_byte_enable()
- get_command_data()
- get_command_debugaccess()
- get_command_queue_size()
- get_command_lock()
- get_command_request()
- get_command_transaction_id()
- get_command_write_response_request()
- get_pending_read_latency_cycle()
- get_pending_write_latency_cycle()
- get_response_queue_size()
- vget_slave_bfm_status
- get_version()
- init()
- pop_command()
- push_response()
- set_command_transaction_mode()
- set_interface_wait_time()
- vset_max_response_queue_size()
- set_min_response_queue_size()
- set_read_response_id()
- set_read_response_status()
- set_response_burst_size()
- set_response_data()
- set_response_latency()
- set_response_request()
- set_response_timeout()
- set_write_response_id()
- set_write_response_status()
- signal_command_received()
- signal_error_exceed_max_pending_reads
- signal_max_response_queue_size
- signal_min_command_queue_size
- signal_fatal_error
- signal_response_issued
- 7. Avalon-MM Monitor
- Parameters
- Avalon-MM Monitor Assertion Checking API
- set_enable_a_address_align_with_data_width()
- set_enable_a_beginbursttransfer_exist()
- set_enable_a_beginbursttransfer_legal()
- set_enable_a_beginbursttransfer_single_cycle()
- set_enable_a_begintransfer_exist()
- set_enable_a_begintransfer_legal()
- set_enable_a_begintransfer_single_cycle()
- set_enable_a_burst_legal()
- set_enable_a_byteenable_legal()
- set_enable_a_constant_during_burst()
- set_enable_a_constant_during_clk_disabled()
- set_enable_a_constant_during_waitrequest()
- set_enable_a_exclusive_read_write()
- set_enable_a_half_cycle_reset_legal()
- set_enable_a_less_than_burstcount_max_size()
- set_enable_a_less_than_maximumpendingreadtransactions()
- set_enable_a_no_readdatavalid_during_reset()
- set_enable_a_no_read_during_reset()
- set_enable_a_no_write_during_reset()
- set_enable_a_readid_sequence()
- set_enable_a_read_response_sequence()
- set_enable_a_read_response_timeout()
- set_enable_a_register_incoming_signals()
- set_enable_a_waitrequest_during_reset()
- set_enable_a_waitrequest_timeout()
- set_enable_a_write_burst_timeout()
- set_enable_a_writeid_sequence()
- Coverage Group
- set_enable_c_b2b_read_read()
- set_enable_c_b2b_read_write()
- set_enable_c_b2b_write_read()
- set_enable_c_b2b_write_write()
- set_enable_c_continuous_read()
- set_enable_c_continuous_readdatavalid()
- set_enable_c_continuous_waitrequest()
- set_enable_c_continuous_waitrequest_from_idle_to_read()
- set_enable_c_continuous_waitrequest_from_idle_to_write()
- set_enable_c_continuous_write()
- set_enable_c_idle_before_transaction()
- set_enable_c_idle_in_read_response()
- set_enable_c_idle_in_write_burst()
- set_enable_c_pending_read()
- set_enable_c_read()
- set_enable_c_read_after_reset()
- set_enable_c_read_burstcount()
- set_enable_c_read_byteenable()
- set_enable_c_read_latency()
- set_enable_c_read_response()
- set_enable_c_waitrequest_in_write_burst()
- set_enable_c_waitrequested_read()
- set_enable_c_waitrequest_without_command()
- set_enable_c_waitrequested_write()
- set_enable_c_write()
- set_enable_c_write_with_and_without_writeresponserequest()
- set_enable_c_write_after_reset()
- set_enable_c_write_burstcount()
- set_enable_c_write_byteenable()
- set_enable_c_write_response()
- Transaction Monitoring
- event_transaction_fifo_threshold()
- event_transaction_fifo_overflow()
- event_command_received()
- event_read_response_complete()
- event_write_response_complete()
- event_response_complete()
- get_clken()
- get_version()
- get_command_address()
- get_command_arbiterlock()
- get_command_burst_count()
- get_command_burst_cycle()
- get_command_byte_enable()
- get_command_data()
- get_command_debugaccess()
- get_command_issued_queue_size()
- get_command_queue_size()
- get_command_lock()
- get_command_request()
- get_command_transaction_id()
- get_command_write_response_request()
- get_read_response_queue_size()
- get_response_address()
- get_response_byte_enable()
- get_response_burst_size()
- get_response_data()
- get_response_latency()
- get_response_queue_size()
- get_response_read_id()
- get_response_read_response()
- get_response_request()
- get_response_wait_time()
- get_response_write_id()
- get_response_write_response()
- get_transaction_fifo_max()
- get_transaction_fifo_threshold()
- get_write_response_queue_size()
- init()
- pop_command()
- pop_response()
- set_command_transaction_mode()
- set_transaction_fifo_max()
- set_transaction_fifo_threshold()
- signal_command_received
- signal_fatal_error
- signal_read_response_complete
- signal_response_complete
- signal_transaction_fifo_overflow
- signal_transaction_fifo_threshold
- signal_write_response_complete
- 8. Avalon-ST Source BFM
- Timing
- Block Diagram
- Parameters
- Avalon-ST Source API
- event_min_transaction_queue_size()
- event_response_done()
- event_src_driving_transaction()
- event_src_not_ready()
- event_src_ready()
- event_src_transaction_complete()
- get_response_latency()
- get_response_queue_size()
- get_src_ready()
- get_src_transaction_complete()
- get_transaction_queue_size()
- get_version()
- init()
- pop_response()
- push_transaction()
- set_max_transaction_queue_size()
- set_min_transaction_queue_size()
- set_response_timeout()
- set_transaction_channel()
- set_transaction_data()
- set_transaction_idles()
- set_transaction_eop()
- set_transaction_empty()
- set_transaction_error()
- set_transaction_sop()
- signal_fatal_error
- signal_max_transaction_queue_size
- signal_min_transaction_queue_size
- signal_response_done
- signal_src_driving_transaction
- signal_src_not_ready
- signal_src_ready
- signal_src_transaction_complete
- 9. Avalon-ST Sink BFM
- Timing
- Block Diagram
- Parameters
- Application Program Interface
- event_sink_ready_assert()
- event_sink_ready_deassert()
- get_transaction_channel()
- get_transaction_data()
- get_transaction_idles()
- get_transaction_eop()
- get_transaction_empty()
- get_transaction_error()
- get_transaction_queue_size()
- get_transaction_sop()
- get_version()
- init()
- pop_transaction()
- set_ready()
- signal_fatal_error
- signal_sink_ready_assert
- signal_sink_ready_deassert
- signal_transaction_received
- 10. Avalon-ST Monitor
- Parameters
- Avalon-ST Monitor Assertion Checking API
- set_enable_a_empty_legal()
- set_enable_a_less_than_max_channel()
- set_enable_a_no_data_outside_packet()
- set_enable_a_non_missing_endofpacket()
- set_enable_a_non_missing_startofpacket()
- set_enable_a_valid_legal()
- Coverage Group
- set_enable_c_all_idle_beats()
- set_enable_c_all_valid_beats()
- set_enable_c_b2b_data_different_channel()
- set_enable_c_b2b_data_same_channel()
- set_enable_c_b2b_packet_different_channel()
- set_enable_c_b2b_packet_in_different_transaction()
- set_enable_c_b2b_packet_same_channel()
- set_enable_c_b2b_packet_within_single_cycle()
- set_enable_c_channel_change_in_packet()
- set_enable_c_empty()
- set_enable_c_error()
- set_enable_c_error_in_middle_of_packet()
- set_enable_c_idle_beat_between_packet()
- set_enable_c_multiple_packet_per_cycle()
- set_enable_c_non_valid_ready()
- set_enable_c_non_valid_non_ready()
- set_enable_c_packet()
- set_enable_c_packet_no_idles_no_back_pressure()
- set_enable_c_packet_size()
- set_enable_c_packet_with_back_pressure()
- set_enable_c_packet_with_idles()
- set_enable_c_partial_valid_beats()
- set_enable_c_single_packet_per_cycle()
- set_enable_c_transfer()
- set_enable_c_transaction_after_reset()
- set_enable_c_valid_non_ready()
- Transaction Monitoring
- event_transaction_fifo_threshold()
- event_transaction_fifo_overflow()
- get_transaction_channel()
- get_transaction_data()
- get_transaction_empty()
- get_transaction_eop()
- get_transaction_error()
- get_transaction_fifo_max()
- get_transaction_fifo_threshold()
- get_transaction_idles()
- get_transaction_queue_size()
- get_transaction_sop()
- get_version()
- pop_transaction()
- set_transaction_fifo_max()
- set_transaction_fifo_threshold()
- signal_fatal_error
- signal_transaction_fifo_overflow
- signal_transaction_fifo_threshold
- signal_transaction_received
- 11. Conduit BFM
- 12. Tri-State Conduit BFM
- Parameters
- Tri-State Conduit BFM API
- event_interface_granted()
- event_grant_deasserted_while_request_remain_asserted
- event_max_transaction_queue_size()
- event_min_transaction_queue_size()
- get_input_transaction_queue_size()
- get_output_transaction_queue_size()
- get_transaction_<role name>_in()
- get_transaction_latency()
- get_version()
- pop_transaction()
- push_transaction()
- set_max_transaction_queue_size()
- set_min_transaction_queue_size()
- set_num_of_transactions()
- set_transaction_<role name>_out()
- set_transaction_<role name>_outen()
- set_transaction_idles()
- set_valid_transaction_<role name>_out()
- signal_all_transactions_complete
- signal_fatal_error
- signal_grant_deasserted_while_request_remain_asserted
- signal_interface_granted
- signal_max_transaction_queue_size
- signal_min_transaction_queue_size
- 13. External Memory BFM
- 14. Nios II Custom Instruction Master BFM
- Parameters
- Nios II Custom Instruction API
- event_result_received()
- event_unexpected_result_received()
- event_instructions_completed()
- event_max_instruction_queue_size()
- event_min_instruction_queue_size()
- event_max_result_queue_size()
- event_min_result_queue_size()
- get_instruction_queue_size()
- get_result_delay()
- get_result_queue_size()
- get_result_value()
- get_version()
- insert_instruction()
- pop_result()
- push_instruction()
- retrieve_result()
- set_ci_clk_en()
- set_clock_enable_timeout()
- set_instruction_a()
- set_instruction_b()
- set_instruction_c()
- set_instruction_dataa()
- set_instruction_datab()
- set_instruction_err_inject()
- set_instruction_idle()
- set_instruction_n()
- set_instruction_readra()
- set_instruction_readrb()
- set_instruction_timeout()
- set_instruction_writerc()
- set_max_instruction_queue_size()
- set_max_result_queue_size()
- set_min_instruction_queue_size()
- set_min_result_queue_size()
- set_result_timeout()
- signal_unexpected_result_received
- signal_fatal_error
- signal_instructions_completed
- signal_instruction_start
- signal_max_instruction_queue_size
- signal_max_result_queue_size
- signal_min_instruction_queue_size
- signal_min_result_queue_size
- signal_result_received
- event_result_received()
- 15. Nios II Custom Instruction Slave BFM
- Parameters
- Nios II Custom Instruction Slave BFM API
- event_instruction_inconsistent()
- event_instruction_unchanged()
- event_result_driven()
- event_result_done()
- event_unknown_instruction_received()
- get_ci_clk_en()
- get_instruction_a()
- get_instruction_b()
- get_instruction_c()
- get_instruction_dataa()
- get_instruction_datab()
- get_instruction_idle()
- get_instruction_n()
- get_instruction_readra()
- get_instruction_readrb()
- get_instruction_writerc()
- get_version()
- insert_result()
- retrieve_instruction()
- set_clock_enable_timeout()
- set_instruction_a()
- set_instruction_b()
- set_instruction_c()
- set_instruction_timeout()
- set_result_delay()
- set_result_err_inject()
- set_result_value()
- signal_fatal_error
- signal_instructions_inconsistent
- signal_known_instruction_received
- signal_result_done
- signal_result_driven
- signal_unknown_instruction_received
- 16. Avalon-ST Verilog HDL Testbench
- 17. Avalon-MM Verilog HDL and VHDL Testbenches
- 18. Document Revision History