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

7.2.20. set_enable_a_readid_sequence()

Prototype:

set_enable_a_readid_sequence()

Arguments:

Verilog HDL: Boolean

VHDL: N.A.

Returns:

void

Description:

Enables an assertion that verifies if the readid sequence follows the sequence of the transactionid.
Language support: Verilog HDL
Level Two Title