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

5.1. Timing

The following timing diagram illustrates the sequence of events for an Avalon-MM Master BFM. The Master BFM drives interleaved writes and reads when the readdatavalid signal is present. This diagram serves as a reference for the following discussion of API and events.
Figure 4. Avalon-MM Master Driving Interleaved Write and Read Transactions
Table 5.  Key to the AnnotationsThe following table lists the annotations used in the figure.
Symbol Description
Tinit The initial command latency, which is two cycles for transactions 1 and 2. This time is set by the API command set_command_init_latency.
Twt_1 The response wait time, which is three cycles. This time is determined by the number of cycles that the waitrequest signal is asserted by the slave.The program gets this value using the get_response_wait_time command.
Twr waitrequest is always sampled #1 after the falling edge of clk.
Tidle The idle time after each transaction. This time is set by the command set_command_idle.
Trl_1 The response latency for the first read, which is 3 cycles. This is the time between the read command acceptance and the read response provided by the slave. The program gets this time using the get_response_latency command.

If an Avalon-MM slave component defines the readLatency interface property, the readdatavalid signal is not used. The readdatavalid signal is not necessary because the slave component has a fixed read latency.

For more information refer to the Avalon Interface Specifications.

Trl_2 The response latency for the second read, which is 3 cycles. The program gets this time using the get_response_latency command.
Twrl_1 The write response latency for the first write, which is 3 cycles. This is the time between when the write command acceptance and the write response is provided by the slave. The program gets this time using the get_response_latency command.
Sci_1–Sci_4 Signals when write or read commands are presented on the interface. The event name is signal_command_issued.
Src_1,Src_3 Signals write responses. The event name is signal_response_complete.
Src_2,Src_4 Signals read responses. The event name is signal_response_complete.
Satc Signals the end of the test. The event name is signal_all_transactions_complete
TID_1–TID_4 Reference number to identify each read or write transaction.
ID_1, ID_3 Reference number to identify each write transaction.
ID_2, ID_4 Reference number to identify each read transaction.
Figure 5. Avalon-MM Master Driving Write and Read Transactions with No readdatavalid SignalThe timing in the following figure shows the sequence of events for an Avalon-MM Master BFM. The Avalon-MM Master BFM drives a write followed by a read when the readdatavalid signal is not present.
Table 6.  Key to the Annotations The following table lists the annotations used in this figure.
Symbol Description
Tinit The initial command latency, which is 2 cycles for transactions 1 and 2. This time is set by the API command set_command_init_latency.
Twt_1 The response wait time, which is 3 cycles. This time is determined by the number of cycles that the waitrequest signal is asserted by the slave.The program gets this value using the get_response_wait_time command.
Twt_2 The response wait time for the first read, which is 2 cycles. This time is determined by the number of cycles that the waitrequest signal is asserted by the slave.The program gets this value using the get_response_wait_time command.
Twr waitrequest is always sampled #1 after the falling edge of clk.
Tidle The idle time after a transaction. This time is set by the command set_command_idle.
Sci_1–Sci_2 Signals when write and read commands are presented on the interface. The event name is signal_command_issued.
Src_1 Signals the first read response. The event name is signal_response_complete.
Satc Signals the end of the test. The event name is signal_all_transactions_complete.
Level Two Title