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 Timing for a Write Burst with a Burst Count of Four 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

19.1.1. Running the Verilog HDL Testbench for a Single Avalon-MM Master and Slave Pair

  1. Unzip ug_avalon_verification.zip to a working directory.
  2. For the Quartus Prime Standard Edition software, open <working_dir>/avmm/avlmm1x1_verilog/avlm_avls_1x1.qsys.
  3. For the Quartus Prime Pro Edition software, specify the <working_dir>/avmm/avlmm1x1_verilog_pro/avlm_avls_1x1.qpf project file and <working_dir>/avmm/avlmm1x1_verilog_pro/avlm_avls_1x1.qsys system in the Open System dialog box.
  4. On the Generate menu, select Generate HDL.
  5. Specify the parameters shown in the following table:
    Table 28.  Generation Parameters
    Parameter Value
    Synthesis
    Create HDL design files for synthesis Verilog
    Create timing and resource estimates for third-party EDA synthesis tools Leave this option off
    Create block symbol file (.bsf) Leave this option on
    IP-XACT Leave this option off. (This parameter is only available in the Quartus Prime Pro Edition software.)
    Simulation
    Create simulation model Verilog
    Output Directory
    Path Accept the path specified. (This path is not shown for the Quartus Prime Pro Edition software.)
    Clear output directories for selected generation targets You can leave this parameter off the first time you generate.
  6. Close the Generate window.
  7. Start the ModelSim® simulator.
  8. To run the simulation, type the following command in your working directory: 
    do run_simulation.tcl
    This command compiles all the required HDL files, elaborates, and runs the simulation.

Timing for a Write Burst with a Burst Count of Four

Figure 29. Timing for a Read with Burst Count of Three
Level Two Title