Avalon Verification IP Suite: User Guide

Download PDF
ID 683439
Date 2/17/2022
Public
Document Table of Contents
Document Table of Contents x
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 6. Avalon-MM Slave BFM 7. Avalon-MM Monitor 8. Avalon-ST Source BFM 9. Avalon-ST Sink BFM 10. Avalon-ST Monitor 11. Avalon Streaming Credit Source BFM 12. Avalon Streaming Credit Sink BFM 13. Conduit BFM 14. Tri-State Conduit BFM 15. External Memory BFM 16. Nios II Custom Instruction Master BFM 17. Nios II Custom Instruction Slave BFM 18. Avalon-ST Verilog HDL Testbench 19. Avalon-MM Verilog HDL and VHDL Testbenches 20. Document Revision History
1. Introduction to Avalon Verification IP Suite x
1.1. Advantages of Using BFMs and Monitors 1.2. BFM Implementation 1.3. Application Programming Interface 1.4. Application Example of BFMs
2. Clock Source BFM x
2.1. Parameters 2.2. Clock Source API
2.2. Clock Source API x
2.2.1. Clock_start() 2.2.2. Clock_stop() 2.2.3. get_run_state() 2.2.4. get_version()
3. Reset Source BFM x
3.1. Parameters 3.2. Reset Source API
3.2. Reset Source API x
3.2.1. reset_deassert 3.2.2. get_version()
4. Avalon Interrupt Source and Interrupt Sink BFMs x
4.1. Parameters 4.2. Interrupt Source and Sink API
4.2. Interrupt Source and Sink API x
4.2.1. get_irq() 4.2.2. get_version() 4.2.3. set_irq()
5. Avalon-MM Master BFM x
5.1. Timing 5.2. Block Diagram 5.3. Parameters 5.4. Avalon-MM Master BFM API
5.4. Avalon-MM Master BFM API x
5.4.1. event_all_transactions_complete() 5.4.2. event_command_issued() 5.4.3. event_max_command_queue_size() 5.4.4. event_min_command_queue_size() 5.4.5. event_read_response_complete() 5.4.6. event_response_complete() 5.4.7. event_write_response_complete() 5.4.8. get_command_issued_queue_size() 5.4.9. get_command_pending_queue_size() 5.4.10. get_read_response_queue_size() 5.4.11. get_response_address() 5.4.12. get_response_byte_enable() 5.4.13. get_response_burst_size() 5.4.14. get_response_data() 5.4.15. get_response_latency() 5.4.16. get_response_queue_size() 5.4.17. get_response_read_id() 5.4.18. get_response_read_response() 5.4.19. get_response_request() 5.4.20. get_response_wait_time() 5.4.21. get_response_write_id() 5.4.22. get_write_response_status() 5.4.23. get_write_response_queue_size() 5.4.24. get_version() 5.4.25. init() 5.4.26. pop_response() 5.4.27. push_command() 5.4.28. set_clken() 5.4.29. set_command_address() 5.4.30. set_command_arbiterlock() 5.4.31. set_command_byte_enable() 5.4.32. set_command_burst_count() 5.4.33. set_command_burst_size() 5.4.34. set_command_data() 5.4.35. set_command_debugaccess() 5.4.36. set_command_idle() 5.4.37. set_command_init_latency() 5.4.38. set_command_lock() 5.4.39. set_command_request() 5.4.40. set_command_timeout() 5.4.41. set_command_transaction_id() 5.4.42. set_command_write_response_request() 5.4.43. set_max_command_queue_size() 5.4.44. set_min_command_queue_size() 5.4.45. set_response_timeout() 5.4.46. signal_all_transactions_complete 5.4.47. signal_command_issued 5.4.48. signal_fatal_error 5.4.49. signal_max_command_queue_size 5.4.50. signal_min_command_queue_size 5.4.51. signal_read_response_complete 5.4.52. signal_response_complete 5.4.53. signal_write_response_complete
6. Avalon-MM Slave BFM x
6.1. Timing 6.2. Block Diagram 6.3. Parameters 6.4. Avalon-MM Slave BFM API
6.4. Avalon-MM Slave BFM API x
6.4.1. event_command_received() 6.4.2. event_response_issued() 6.4.3. event_max_response_queue_size() 6.4.4. event_min_response_queue_size() 6.4.5. get_clken() 6.4.6. get_command_address() 6.4.7. get_command_arbiterlock() 6.4.8. get_command_burst_count() 6.4.9. get_command_burst_cycle() 6.4.10. get_command_byte_enable() 6.4.11. get_command_data() 6.4.12. get_command_debugaccess() 6.4.13. get_command_queue_size() 6.4.14. get_command_lock() 6.4.15. get_command_request() 6.4.16. get_command_transaction_id() 6.4.17. get_command_write_response_request() 6.4.18. get_pending_read_latency_cycle() 6.4.19. get_pending_write_latency_cycle() 6.4.20. get_response_queue_size() 6.4.21. vget_slave_bfm_status 6.4.22. get_version() 6.4.23. init() 6.4.24. pop_command() 6.4.25. push_response() 6.4.26. set_command_transaction_mode() 6.4.27. set_interface_wait_time() 6.4.28. vset_max_response_queue_size() 6.4.29. set_min_response_queue_size() 6.4.30. set_read_response_id() 6.4.31. set_read_response_status() 6.4.32. set_response_burst_size() 6.4.33. set_response_data() 6.4.34. set_response_latency() 6.4.35. set_response_request() 6.4.36. set_response_timeout() 6.4.37. set_write_response_id() 6.4.38. set_write_response_status() 6.4.39. signal_command_received() 6.4.40. signal_error_exceed_max_pending_reads 6.4.41. signal_max_response_queue_size 6.4.42. signal_min_command_queue_size 6.4.43. signal_fatal_error 6.4.44. signal_response_issued
7. Avalon-MM Monitor x
7.1. Parameters 7.2. Avalon-MM Monitor Assertion Checking API
7.2. Avalon-MM Monitor Assertion Checking API x
7.2.1. set_enable_a_address_align_with_data_width() 7.2.2. set_enable_a_beginbursttransfer_exist() 7.2.3. set_enable_a_beginbursttransfer_legal() 7.2.4. set_enable_a_beginbursttransfer_single_cycle() 7.2.5. set_enable_a_begintransfer_exist() 7.2.6. set_enable_a_begintransfer_legal() 7.2.7. set_enable_a_begintransfer_single_cycle() 7.2.8. set_enable_a_burst_legal() 7.2.9. set_enable_a_byteenable_legal() 7.2.10. set_enable_a_constant_during_burst() 7.2.11. set_enable_a_constant_during_clk_disabled() 7.2.12. set_enable_a_constant_during_waitrequest() 7.2.13. set_enable_a_exclusive_read_write() 7.2.14. set_enable_a_half_cycle_reset_legal() 7.2.15. set_enable_a_less_than_burstcount_max_size() 7.2.16. set_enable_a_less_than_maximumpendingreadtransactions() 7.2.17. set_enable_a_no_readdatavalid_during_reset() 7.2.18. set_enable_a_no_read_during_reset() 7.2.19. set_enable_a_no_write_during_reset() 7.2.20. set_enable_a_readid_sequence() 7.2.21. set_enable_a_read_response_sequence() 7.2.22. set_enable_a_read_response_timeout() 7.2.23. set_enable_a_register_incoming_signals() 7.2.24. set_enable_a_waitrequest_during_reset() 7.2.25. set_enable_a_waitrequest_timeout() 7.2.26. set_enable_a_write_burst_timeout() 7.2.27. set_enable_a_writeid_sequence() 7.2.28. Coverage Group 7.2.29. Transaction Monitoring
7.2.28. Coverage Group x
7.2.28.1. set_enable_c_b2b_read_read() 7.2.28.2. set_enable_c_b2b_read_write() 7.2.28.3. set_enable_c_b2b_write_read() 7.2.28.4. set_enable_c_b2b_write_write() 7.2.28.5. set_enable_c_continuous_read() 7.2.28.6. set_enable_c_continuous_readdatavalid() 7.2.28.7. set_enable_c_continuous_waitrequest() 7.2.28.8. set_enable_c_continuous_waitrequest_from_idle_to_read() 7.2.28.9. set_enable_c_continuous_waitrequest_from_idle_to_write() 7.2.28.10. set_enable_c_continuous_write() 7.2.28.11. set_enable_c_idle_before_transaction() 7.2.28.12. set_enable_c_idle_in_read_response() 7.2.28.13. set_enable_c_idle_in_write_burst() 7.2.28.14. set_enable_c_pending_read() 7.2.28.15. set_enable_c_read() 7.2.28.16. set_enable_c_read_after_reset() 7.2.28.17. set_enable_c_read_burstcount() 7.2.28.18. set_enable_c_read_byteenable() 7.2.28.19. set_enable_c_read_latency() 7.2.28.20. set_enable_c_read_response() 7.2.28.21. set_enable_c_waitrequest_in_write_burst() 7.2.28.22. set_enable_c_waitrequested_read() 7.2.28.23. set_enable_c_waitrequest_without_command() 7.2.28.24. set_enable_c_waitrequested_write() 7.2.28.25. set_enable_c_write() 7.2.28.26. set_enable_c_write_with_and_without_writeresponserequest() 7.2.28.27. set_enable_c_write_after_reset() 7.2.28.28. set_enable_c_write_burstcount() 7.2.28.29. set_enable_c_write_byteenable() 7.2.28.30. set_enable_c_write_response()
7.2.29. Transaction Monitoring x
7.2.29.1. event_transaction_fifo_threshold() 7.2.29.2. event_transaction_fifo_overflow() 7.2.29.3. event_command_received() 7.2.29.4. event_read_response_complete() 7.2.29.5. event_write_response_complete() 7.2.29.6. event_response_complete() 7.2.29.7. get_clken() 7.2.29.8. get_version() 7.2.29.9. get_command_address() 7.2.29.10. get_command_arbiterlock() 7.2.29.11. get_command_burst_count() 7.2.29.12. get_command_burst_cycle() 7.2.29.13. get_command_byte_enable() 7.2.29.14. get_command_data() 7.2.29.15. get_command_debugaccess() 7.2.29.16. get_command_issued_queue_size() 7.2.29.17. get_command_queue_size() 7.2.29.18. get_command_lock() 7.2.29.19. get_command_request() 7.2.29.20. get_command_transaction_id() 7.2.29.21. get_command_write_response_request() 7.2.29.22. get_read_response_queue_size() 7.2.29.23. get_response_address() 7.2.29.24. get_response_byte_enable() 7.2.29.25. get_response_burst_size() 7.2.29.26. get_response_data() 7.2.29.27. get_response_latency() 7.2.29.28. get_response_queue_size() 7.2.29.29. get_response_read_id() 7.2.29.30. get_response_read_response() 7.2.29.31. get_response_request() 7.2.29.32. get_response_wait_time() 7.2.29.33. get_response_write_id() 7.2.29.34. get_response_write_response() 7.2.29.35. get_transaction_fifo_max() 7.2.29.36. get_transaction_fifo_threshold() 7.2.29.37. get_write_response_queue_size() 7.2.29.38. init() 7.2.29.39. pop_command() 7.2.29.40. pop_response() 7.2.29.41. set_command_transaction_mode() 7.2.29.42. set_transaction_fifo_max() 7.2.29.43. set_transaction_fifo_threshold() 7.2.29.44. signal_command_received 7.2.29.45. signal_fatal_error 7.2.29.46. signal_read_response_complete 7.2.29.47. signal_response_complete 7.2.29.48. signal_transaction_fifo_overflow 7.2.29.49. signal_transaction_fifo_threshold 7.2.29.50. signal_write_response_complete
8. Avalon-ST Source BFM x
8.1. Timing 8.2. Block Diagram 8.3. Parameters 8.4. Avalon-ST Source API
8.4. Avalon-ST Source API x
8.4.1. event_min_transaction_queue_size() 8.4.2. event_response_done() 8.4.3. event_src_driving_transaction() 8.4.4. event_src_not_ready() 8.4.5. event_src_ready() 8.4.6. event_src_transaction_complete() 8.4.7. get_response_latency() 8.4.8. get_response_queue_size() 8.4.9. get_src_ready() 8.4.10. get_src_transaction_complete() 8.4.11. get_transaction_queue_size() 8.4.12. get_version() 8.4.13. init() 8.4.14. pop_response() 8.4.15. push_transaction() 8.4.16. set_max_transaction_queue_size() 8.4.17. set_min_transaction_queue_size() 8.4.18. set_response_timeout() 8.4.19. set_transaction_channel() 8.4.20. set_transaction_data() 8.4.21. set_transaction_idles() 8.4.22. set_transaction_eop() 8.4.23. set_transaction_empty() 8.4.24. set_transaction_error() 8.4.25. set_transaction_sop() 8.4.26. signal_fatal_error 8.4.27. signal_max_transaction_queue_size 8.4.28. signal_min_transaction_queue_size 8.4.29. signal_response_done 8.4.30. signal_src_driving_transaction 8.4.31. signal_src_not_ready 8.4.32. signal_src_ready 8.4.33. signal_src_transaction_complete
9. Avalon-ST Sink BFM x
9.1. Timing 9.2. Block Diagram 9.3. Parameters 9.4. Application Program Interface
9.4. Application Program Interface x
9.4.1. event_sink_ready_assert() 9.4.2. event_sink_ready_deassert() 9.4.3. get_transaction_channel() 9.4.4. get_transaction_data() 9.4.5. get_transaction_idles() 9.4.6. get_transaction_eop() 9.4.7. get_transaction_empty() 9.4.8. get_transaction_error() 9.4.9. get_transaction_queue_size() 9.4.10. get_transaction_sop() 9.4.11. get_version() 9.4.12. init() 9.4.13. pop_transaction() 9.4.14. set_ready() 9.4.15. signal_fatal_error 9.4.16. signal_sink_ready_assert 9.4.17. signal_sink_ready_deassert 9.4.18. signal_transaction_received
10. Avalon-ST Monitor x
10.1. Parameters 10.2. Avalon-ST Monitor Assertion Checking API
10.2. Avalon-ST Monitor Assertion Checking API x
10.2.1. set_enable_a_empty_legal() 10.2.2. set_enable_a_less_than_max_channel() 10.2.3. set_enable_a_no_data_outside_packet() 10.2.4. set_enable_a_non_missing_endofpacket() 10.2.5. set_enable_a_non_missing_startofpacket() 10.2.6. set_enable_a_valid_legal() 10.2.7. Coverage Group 10.2.8. Transaction Monitoring
10.2.7. Coverage Group x
10.2.7.1. set_enable_c_all_idle_beats() 10.2.7.2. set_enable_c_all_valid_beats() 10.2.7.3. set_enable_c_b2b_data_different_channel() 10.2.7.4. set_enable_c_b2b_data_same_channel() 10.2.7.5. set_enable_c_b2b_packet_different_channel() 10.2.7.6. set_enable_c_b2b_packet_in_different_transaction() 10.2.7.7. set_enable_c_b2b_packet_same_channel() 10.2.7.8. set_enable_c_b2b_packet_within_single_cycle() 10.2.7.9. set_enable_c_channel_change_in_packet() 10.2.7.10. set_enable_c_empty() 10.2.7.11. set_enable_c_error() 10.2.7.12. set_enable_c_error_in_middle_of_packet() 10.2.7.13. set_enable_c_idle_beat_between_packet() 10.2.7.14. set_enable_c_multiple_packet_per_cycle() 10.2.7.15. set_enable_c_non_valid_ready() 10.2.7.16. set_enable_c_non_valid_non_ready() 10.2.7.17. set_enable_c_packet() 10.2.7.18. set_enable_c_packet_no_idles_no_back_pressure() 10.2.7.19. set_enable_c_packet_size() 10.2.7.20. set_enable_c_packet_with_back_pressure() 10.2.7.21. set_enable_c_packet_with_idles() 10.2.7.22. set_enable_c_partial_valid_beats() 10.2.7.23. set_enable_c_single_packet_per_cycle() 10.2.7.24. set_enable_c_transfer() 10.2.7.25. set_enable_c_transaction_after_reset() 10.2.7.26. set_enable_c_valid_non_ready()
10.2.8. Transaction Monitoring x
10.2.8.1. event_transaction_fifo_threshold() 10.2.8.2. event_transaction_fifo_overflow() 10.2.8.3. get_transaction_channel() 10.2.8.4. get_transaction_data() 10.2.8.5. get_transaction_empty() 10.2.8.6. get_transaction_eop() 10.2.8.7. get_transaction_error() 10.2.8.8. get_transaction_fifo_max() 10.2.8.9. get_transaction_fifo_threshold() 10.2.8.10. get_transaction_idles() 10.2.8.11. get_transaction_queue_size() 10.2.8.12. get_transaction_sop() 10.2.8.13. get_version() 10.2.8.14. pop_transaction() 10.2.8.15. set_transaction_fifo_max() 10.2.8.16. set_transaction_fifo_threshold() 10.2.8.17. signal_fatal_error 10.2.8.18. signal_transaction_fifo_overflow 10.2.8.19. signal_transaction_fifo_threshold 10.2.8.20. signal_transaction_received
11. Avalon Streaming Credit Source BFM x
11.1. Parameters 11.2. Implementation 11.3. Avalon® Streaming Interface Credit Source APIs
11.3. Avalon® Streaming Interface Credit Source APIs x
11.3.1. initialize() 11.3.2. rst() 11.3.3. get_src_transaction_complete() 11.3.4. get_outstanding_credit() 11.3.5. push_transaction() 11.3.6. set_max_transaction_queue_size() 11.3.7. set_min_transaction_queue_size() 11.3.8. set_transaction_data() 11.3.9. set_transaction_channel() 11.3.10. set_transaction_error() 11.3.11. set_transaction_idles() 11.3.12. set_transaction_sop() 11.3.13. set_transaction_eop() 11.3.14. set_transaction_empty() 11.3.15. return_credit() 11.3.16. set_user_signal_per_symbol_data() 11.3.17. push_user_signal_per_symbol_transaction() 11.3.18. set_user_signal_per_packet_data() 11.3.19. push_user_signal_per_packet_transaction() 11.3.20. signal_credit_arrived 11.3.21. signal_fatal_error 11.3.22. signal_src_transaction_complete 11.3.23. signal_src_driving_transaction 11.3.24. signal_max_transaction_queue_size 11.3.25. signal_min_transaction_queue_size
12. Avalon Streaming Credit Sink BFM x
12.1. Parameters 12.2. Implementation 12.3. Avalon® Streaming Interface Credit Sink APIs
12.3. Avalon® Streaming Interface Credit Sink APIs x
12.3.1. initialize() 12.3.2. rst() 12.3.3. get_outstanding_credit() 12.3.4. get_transaction_idles() 12.3.5. get_transaction_data() 12.3.6. get_transaction_channel() 12.3.7. get_transaction_error() 12.3.8. get_transaction_sop() 12.3.9. get_transaction_eop() 12.3.10. get_transaction_empty() 12.3.11. pop_transaction() 12.3.12. send_credit() 12.3.13. get_user_signal_per_symbol_data() 12.3.14. pop_user_signal_per_symbol_transaction() 12.3.15. get_user_signal_per_packet_data() 12.3.16. pop_user_signal_per_packet_transaction() 12.3.17. signal_fatal_error 12.3.18. signal_has_max_credits 12.3.19. signal_transaction_received
13. Conduit BFM x
13.1. Parameters 13.2. Conduit BFM API
13.2. Conduit BFM API x
13.2.1. event_reset_asserted 13.2.2. get_<role name>() 13.2.3. get_version() 13.2.4. set_<role name>() 13.2.5. set_<role name>_oe() 13.2.6. signal_input_<role name>_change
14. Tri-State Conduit BFM x
14.1. Parameters 14.2. Tri-State Conduit BFM API
14.2. Tri-State Conduit BFM API x
14.2.1. event_interface_granted() 14.2.2. event_grant_deasserted_while_request_remain_asserted 14.2.3. event_max_transaction_queue_size() 14.2.4. event_min_transaction_queue_size() 14.2.5. get_input_transaction_queue_size() 14.2.6. get_output_transaction_queue_size() 14.2.7. get_transaction_<role name>_in() 14.2.8. get_transaction_latency() 14.2.9. get_version() 14.2.10. pop_transaction() 14.2.11. push_transaction() 14.2.12. set_max_transaction_queue_size() 14.2.13. set_min_transaction_queue_size() 14.2.14. set_num_of_transactions() 14.2.15. set_transaction_<role name>_out() 14.2.16. set_transaction_<role name>_outen() 14.2.17. set_transaction_idles() 14.2.18. set_valid_transaction_<role name>_out() 14.2.19. signal_all_transactions_complete 14.2.20. signal_fatal_error 14.2.21. signal_grant_deasserted_while_request_remain_asserted 14.2.22. signal_interface_granted 14.2.23. signal_max_transaction_queue_size 14.2.24. signal_min_transaction_queue_size
15. External Memory BFM x
15.1. Using the External Memory BFM 15.2. Parameters 15.3. External Memory BFM API
15.3. External Memory BFM API x
15.3.1. read() 15.3.2. signal_api_call 15.3.3. write()
16. Nios II Custom Instruction Master BFM x
16.1. Parameters 16.2. Nios II Custom Instruction API
16.2. Nios II Custom Instruction API x
16.2.1. event_result_received()
16.2.1. event_result_received() x
16.2.1.1. event_unexpected_result_received() 16.2.1.2. event_instructions_completed() 16.2.1.3. event_max_instruction_queue_size() 16.2.1.4. event_min_instruction_queue_size() 16.2.1.5. event_max_result_queue_size() 16.2.1.6. event_min_result_queue_size() 16.2.1.7. get_instruction_queue_size() 16.2.1.8. get_result_delay() 16.2.1.9. get_result_queue_size() 16.2.1.10. get_result_value() 16.2.1.11. get_version() 16.2.1.12. insert_instruction() 16.2.1.13. pop_result() 16.2.1.14. push_instruction() 16.2.1.15. retrieve_result() 16.2.1.16. set_ci_clk_en() 16.2.1.17. set_clock_enable_timeout() 16.2.1.18. set_instruction_a() 16.2.1.19. set_instruction_b() 16.2.1.20. set_instruction_c() 16.2.1.21. set_instruction_dataa() 16.2.1.22. set_instruction_datab() 16.2.1.23. set_instruction_err_inject() 16.2.1.24. set_instruction_idle() 16.2.1.25. set_instruction_n() 16.2.1.26. set_instruction_readra() 16.2.1.27. set_instruction_readrb() 16.2.1.28. set_instruction_timeout() 16.2.1.29. set_instruction_writerc() 16.2.1.30. set_max_instruction_queue_size() 16.2.1.31. set_max_result_queue_size() 16.2.1.32. set_min_instruction_queue_size() 16.2.1.33. set_min_result_queue_size() 16.2.1.34. set_result_timeout() 16.2.1.35. signal_unexpected_result_received 16.2.1.36. signal_fatal_error 16.2.1.37. signal_instructions_completed 16.2.1.38. signal_instruction_start 16.2.1.39. signal_max_instruction_queue_size 16.2.1.40. signal_max_result_queue_size 16.2.1.41. signal_min_instruction_queue_size 16.2.1.42. signal_min_result_queue_size 16.2.1.43. signal_result_received
17. Nios II Custom Instruction Slave BFM x
17.1. Parameters 17.2. Nios II Custom Instruction Slave BFM API
17.2. Nios II Custom Instruction Slave BFM API x
17.2.1. event_instruction_inconsistent() 17.2.2. event_instruction_unchanged() 17.2.3. event_result_driven() 17.2.4. event_result_done() 17.2.5. event_unknown_instruction_received() 17.2.6. get_ci_clk_en() 17.2.7. get_instruction_a() 17.2.8. get_instruction_b() 17.2.9. get_instruction_c() 17.2.10. get_instruction_dataa() 17.2.11. get_instruction_datab() 17.2.12. get_instruction_idle() 17.2.13. get_instruction_n() 17.2.14. get_instruction_readra() 17.2.15. get_instruction_readrb() 17.2.16. get_instruction_writerc() 17.2.17. get_version() 17.2.18. insert_result() 17.2.19. retrieve_instruction() 17.2.20. set_clock_enable_timeout() 17.2.21. set_instruction_a() 17.2.22. set_instruction_b() 17.2.23. set_instruction_c() 17.2.24. set_instruction_timeout() 17.2.25. set_result_delay() 17.2.26. set_result_err_inject() 17.2.27. set_result_value() 17.2.28. signal_fatal_error 17.2.29. signal_instructions_inconsistent 17.2.30. signal_known_instruction_received 17.2.31. signal_result_done 17.2.32. signal_result_driven 17.2.33. signal_unknown_instruction_received
18. Avalon-ST Verilog HDL Testbench x
18.1. Verifying Avalon-ST DUT 18.2. About the Test
18.2. About the Test x
18.2.1. Creating the Qsys Design 18.2.2. Generating a Qsys Testbench System 18.2.3. Running the Simulation 18.2.4. Observing the Results
19. Avalon-MM Verilog HDL and VHDL Testbenches x
19.1. Avalon-MM Verilog HDL Testbench Description 19.2. Avalon-MM VHDL Testbench Description 19.3. Using the VHDL BFMs
19.1. Avalon-MM Verilog HDL Testbench Description x
19.1.1. Running the Verilog HDL Testbench for a Single Avalon-MM Master and Slave Pair 19.1.2. Running the Verilog HDL Testbench for the Two Avalon-MM Masters and Slaves
19.2. Avalon-MM VHDL Testbench Description x
19.2.1. Running the Testbench for a Single Avalon-MM Master and Slave Pair 19.2.2. Running the Testbench for Two Avalon-MM Masters Slaves
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
6. Avalon-MM Slave BFM
7. Avalon-MM Monitor
8. Avalon-ST Source BFM
9. Avalon-ST Sink BFM
10. Avalon-ST Monitor
11. Avalon Streaming Credit Source BFM
12. Avalon Streaming Credit Sink BFM
13. Conduit BFM
14. Tri-State Conduit BFM
15. External Memory BFM
16. Nios II Custom Instruction Master BFM
17. Nios II Custom Instruction Slave BFM
18. Avalon-ST Verilog HDL Testbench
19. Avalon-MM Verilog HDL and VHDL Testbenches
20. Document Revision History

20. Document Revision History

The following table shows the revision history for this document.
Document Version Intel® Quartus® Prime Version Changes
2022.02.17 20.4 Updated the numbering of sections in Clock Source API.
2022.01.24 20.4 Changed the maximum legal value of the SRC_SYMBOLS_PER_BEAT and SRC_DATA_BITS_PER_SYMBOL parameters to 8192 in the Avalon Streaming Credit Source BFM and Avalon Streaming Credit Sink BFM sections.
2021.01.29 20.4

Replaced the get_response_write_response() API with get_write_response_status() in the Avalon-MM Master BFM chapter.

Updated the API set_write_response_status() in the Avalon-MM Slave BFM chapter.

2020.12.14 20.4

Added three new APIs to the Avalon® Streaming Credit Source BFM chapter: get_outstanding_credit(), set_transaction_channel() and set_transaction_error().

Also added three new APIs to the Avalon® Streaming Credit Sink BFM chapter: get_outstanding_credit(), get_transaction_channel() and get_transaction_error().

2020.04.24 20.1 Added the chapters Avalon® Streaming Credit Source BFM and Avalon® Streaming Credit Sink BFM.
2019.04.03 16.1 Removed VHDL from the Language Support field for the APIs clock_stop(), get_run_state() and get_version().
2016.12.13 16.1

Made the following changes:

  • Restored missing Avalon-ST files to ug_avalon_verification.zip.
  • Added support for Quartus® Prime Pro Edition software.
  • Simplified design creation for both the Avalon-ST and Avalon-MM designs.
  • Corrected minor errors and typos.
2015.06.04 15.1 Made the following changes:
  • Updated the definition of set_response_latency for the Avalon-MM slave BFM.
  • Corrected language support for the Clock Source BFM and Reset Source BFM. These BFMs support both Verilog HDL and VHDL.
  • Updated the name of the .zip file of example designs to ug_avalon_verification.zip.
June 2014 3.3 Made the following changes:
  • Revised the VHDL API arguments. The following changes were made for all VHDL procedures:
    • Removed the req_if argument from event_* procedures.
    • Changed the req_if argument to req_if(bfm_id) for all set_*, get_*, push_*, and pop_* procedures.
    • Changed the first argument to the get_* procedures to the return value.
  • Added support for VHDL for the conduit and tri-state conduit interfaces.
  • Updated Qsys tutorial to work in with Quartus II 14.0 software.
  • Added Avalon-MM Testbenches for Verilog HDL and VHDL . This chapter provides the following testbenches:
    • Verilog HDL testbench for single Avalon-MM Master and Slave pair.
    • Verilog HDL testbench for 2 Avalon-MM Masters that both connect to 2 Avalon-MM Slaves.
    • VHDL testbench for single Avalon-MM Master and Slave pair.
    • Verilog HDL testbench for 2 Avalon-MM Masters that both connect to 2 Avalon-MM Slaves.
  • Reformatted.
May 2013 3.2 Added information on VHDL support for verification IP.

Removed information on the following wrappers. These wrappers are not supported in the Quartus II software version 13.0 and higher.

  • Avalon-MM master BFM with Avalon-ST API wrapper
  • Avalon-MM slave BFM with Avalon-ST API wrapper
  • Avalon-ST source BFM with Avalon-ST API wrapper
  • Avalon-ST sink BFM with Avalon-ST API wrapper

    Removed references to SOPC Builder.

June 2012 3.1
  • Updated SOPC Tutorial chapter.
  • Updated Qsys Tutorial chapter.
Level Two Title