How to download VIP smartsearch?
DESIGNWARE_HOMEto required designware home location where VIP Smartsearch should be downloaded.
vip_smartsearch_<version>.runfile.
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
How to install VIP Smartsearch?
Please refer to the fileVIP_Smartsearch_installation_and_usage_guide.pdfin
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>for installation steps.
Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.Summary of Protocol Checks defined in AHB SVT OVM Documentation:
| Group | Sub Group | Protocol Check Instance name | Covergroup Class name | Reference ▲▼ |
|---|---|---|---|---|
| AHB System | Manager Subordinate Transaction Association | master_slave_xact_resp_check | svt_err_check_stats_cov_master_slave_xact_resp_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921 |
| AHB System | Manager Subordinate Transaction Association | master_slave_xact_data_check | svt_err_check_stats_cov_master_slave_xact_data_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921 |
| AHB System | Manager Subordinate Transaction Association | master_slave_xact_addr_ctrl_check | svt_err_check_stats_cov_master_slave_xact_addr_ctrl_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921 |
| AHB System | Dummy Manager | xact_not_idle_when_dummy_master_active | svt_err_check_stats_cov_xact_not_idle_when_dummy_master_active | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.6 Default bus manager |
| AHB System | Locked Transfers in Arbiter | hmastlock_changed_during_incr | svt_err_check_stats_cov_hmastlock_changed_during_incr | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.3 Locked transfers |
| AHB System | Locked Transfers in Arbiter | arbiter_asserted_hmastlock_without_hlock | svt_err_check_stats_cov_arbiter_asserted_hmastlock_without_hlock | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers |
| AHB System | Locked Transfers in Arbiter | arbiter_lock_last_grant | svt_err_check_stats_cov_arbiter_lock_last_grant | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers |
| AHB System | Locked Transfers in Arbiter | arbiter_changed_hmaster_during_lock | svt_err_check_stats_cov_arbiter_changed_hmaster_during_lock | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.5 Locked transfers |
| AHB System | Granted Manager in Split Transfer in Arbiter | mask_hgrant_until_hsplit_assert | svt_err_check_stats_cov_mask_hgrant_until_hsplit_assert | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12.1 Split transfer sequence |
| AHB System | Granted Manager in Split Transfer in Arbiter | grant_to_default_master_during_allmaster_split | svt_err_check_stats_cov_grant_to_default_master_during_allmaster_split | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.6 Default bus master |
| AHB System | Granted Manager in Arbiter | arbiter_changed_hmaster_during_wait | svt_err_check_stats_cov_arbiter_changed_hmaster_during_wait | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.11.3 Granting bus access |
| AHB System | Granted Manager in Arbiter | arbiter_asserted_hmaster_ne_granted_master | svt_err_check_stats_cov_arbiter_asserted_hmaster_ne_granted_master | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.3 Granting bus access |
| AHB System | Granted Manager in Arbiter | arbiter_asserted_multi_hgrant | svt_err_check_stats_cov_arbiter_asserted_multi_hgrant | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.3 Granting bus access |
| AHB System | Subordinate Selection in Decoder | decoder_not_asserted_any_hsel | svt_err_check_stats_cov_decoder_not_asserted_any_hsel | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.4 Decoder signals |
| AHB System | Subordinate Selection in Decoder | decoder_asserted_multi_hsel | svt_err_check_stats_cov_decoder_asserted_multi_hsel | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.4 Decoder signals |
| AHB System | Data Integrity | data_integrity_check | svt_err_check_stats_cov_data_integrity_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921 |
| AHB System | Routing | slave_transaction_routing_check | svt_err_check_stats_cov_slave_transaction_routing_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.1 Interconnect |
| AHB_COMMON | Address Phase Timing | ahb_address_phase_extended | svt_err_check_stats_cov_ahb_address_phase_extended | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 1.3 Operation |
| AHB_COMMON | During Reset | hready_out_from_bus_high_during_reset | svt_err_check_stats_cov_hready_out_from_bus_high_during_reset | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset |
| AHB_COMMON | Performance Metrics | perf_min_write_throughput | svt_err_check_stats_cov_perf_min_write_throughput | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_max_write_throughput | svt_err_check_stats_cov_perf_max_write_throughput | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_min_read_throughput | svt_err_check_stats_cov_perf_min_read_throughput | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_max_read_throughput | svt_err_check_stats_cov_perf_max_read_throughput | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_avg_min_read_xact_latency | svt_err_check_stats_cov_perf_avg_min_read_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_avg_max_read_xact_latency | svt_err_check_stats_cov_perf_avg_max_read_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_min_read_xact_latency | svt_err_check_stats_cov_perf_min_read_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_max_read_xact_latency | svt_err_check_stats_cov_perf_max_read_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_avg_min_write_xact_latency | svt_err_check_stats_cov_perf_avg_min_write_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_avg_max_write_xact_latency | svt_err_check_stats_cov_perf_avg_max_write_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_min_write_xact_latency | svt_err_check_stats_cov_perf_min_write_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Performance Metrics | perf_max_write_xact_latency | svt_err_check_stats_cov_perf_max_write_xact_latency | SYNOPSYS DEFINED |
| AHB_COMMON | Signal Validity | signal_valid_hrdata_check | svt_err_check_stats_cov_signal_valid_hrdata_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_hwdata_check | svt_err_check_stats_cov_signal_valid_hwdata_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Response Type | zero_wait_cycle_okay | svt_err_check_stats_cov_zero_wait_cycle_okay | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types |
| AHB_COMMON | Two Cycle Response | two_cycle_error_resp | svt_err_check_stats_cov_two_cycle_error_resp | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.3 ERROR response |
| AHB_COMMON | Response Type | non_okay_response_in_wait_state | svt_err_check_stats_cov_non_okay_response_in_wait_state | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.2 Transfer pending |
| AHB_COMMON | Signal Validity | signal_valid_hresp_check | svt_err_check_stats_cov_signal_valid_hresp_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_hready_check | svt_err_check_stats_cov_signal_valid_hready_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Burst Length | burst_length_exceeded | svt_err_check_stats_cov_burst_length_exceeded | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation |
| AHB_COMMON | Locked Transfers | hlock_asserted_during_non_locked_xact | svt_err_check_stats_cov_hlock_asserted_during_non_locked_xact | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.1 Signal description |
| AHB_COMMON | Signal Validity | signal_valid_hlock_check | svt_err_check_stats_cov_signal_valid_hlock_check | AMBA AHB Protocol Specification ARM IHI 0011A: Section 2.2 AMBA AHB signal list |
| AHB_COMMON | Locked Transfers | different_subordinate_addr_region_during_locked_sequence | svt_err_check_stats_cov_different_subordinate_addr_region_during_locked_sequence | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.3 Locked Transfers |
| AHB_COMMON | Transfer Type | htrans_not_changed_to_idle_during_error | svt_err_check_stats_cov_htrans_not_changed_to_idle_during_error | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 5.1.3 ERROR response |
| AHB_COMMON | During Reset | htrans_idle_during_reset | svt_err_check_stats_cov_htrans_idle_during_reset | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset |
| AHB_COMMON | Transfer Type | seq_or_busy_before_nseq_during_xfer | svt_err_check_stats_cov_seq_or_busy_before_nseq_during_xfer | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types |
| AHB_COMMON | Transfer Type | illegal_idle2seq | svt_err_check_stats_cov_illegal_idle2seq | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types |
| AHB_COMMON | Transfer Type | illegal_idle2busy | svt_err_check_stats_cov_illegal_idle2busy | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types |
| AHB_COMMON | Transfer Type | idle_changed_to_busy_during_wait_state | svt_err_check_stats_cov_idle_changed_to_busy_during_wait_state | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers |
| AHB_COMMON | Transfer Type | idle_changed_to_seq_during_wait_state | svt_err_check_stats_cov_idle_changed_to_seq_during_wait_state | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers |
| AHB_COMMON | Signal Stability | ctrl_or_addr_changed_during_busy | svt_err_check_stats_cov_ctrl_or_addr_changed_during_busy | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types |
| AHB_COMMON | Signal Stability | illegal_control_transition | svt_err_check_stats_cov_illegal_control_transition | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals |
| AHB_COMMON | Burst Address | ahb_valid_beat_address_check | svt_err_check_stats_cov_ahb_valid_beat_address_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation |
| AHB_COMMON | Burst Address | illegal_address_transition | svt_err_check_stats_cov_illegal_address_transition | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation |
| AHB_COMMON | Burst Address | boundry_crossing_check | svt_err_check_stats_cov_boundry_crossing_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation |
| AHB_COMMON | Burst Address | one_k_boundry_check | svt_err_check_stats_cov_one_k_boundry_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6 Burst operation |
| AHB_COMMON | Transfer Size | hsize_too_big_for_data_width | svt_err_check_stats_cov_hsize_too_big_for_data_width | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.3.3 Implementing a Manager on a wide bus |
| AHB_COMMON | Early Burst Termination | burst_terminated_early_after_okay | svt_err_check_stats_cov_burst_terminated_early_after_okay | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination |
| AHB_COMMON | Signal Stability | hwdata_changed_during_wait_state | svt_err_check_stats_cov_hwdata_changed_during_wait_state | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 6.1.1 HWDATA |
| AHB_COMMON | Signal Stability | ctrl_or_addr_changed_end_of_wait_state | svt_err_check_stats_cov_ctrl_or_addr_changed_end_of_wait_state | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers |
| AHB_COMMON | Signal Stability | ctrl_or_addr_changed_during_wait_state | svt_err_check_stats_cov_ctrl_or_addr_changed_during_wait_state | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers |
| AHB_COMMON | Signal Stability | htrans_changed_during_wait_state | svt_err_check_stats_cov_htrans_changed_during_wait_state | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.7 Waited transfers |
| AHB_COMMON | Transfer Type | seq_or_busy_during_active_xact | svt_err_check_stats_cov_seq_or_busy_during_active_xact | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types |
| AHB_COMMON | Transfer Type | trans_during_single_is_nseq | svt_err_check_stats_cov_trans_during_single_is_nseq | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.2 Transfer types |
| AHB_COMMON | Signal Validity | signal_valid_hprot_check | svt_err_check_stats_cov_signal_valid_hprot_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_hburst_check | svt_err_check_stats_cov_signal_valid_hburst_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_hsize_check | svt_err_check_stats_cov_signal_valid_hsize_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_htrans_check | svt_err_check_stats_cov_signal_valid_htrans_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_hwrite_check | svt_err_check_stats_cov_signal_valid_hwrite_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_haddr_check | svt_err_check_stats_cov_signal_valid_haddr_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | hready_out_from_slave_not_X_or_Z_when_data_phase_not_pending | svt_err_check_stats_cov_hready_out_from_slave_not_X_or_Z_when_data_phase_not_pending | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.3 Subordinate signals |
| AHB_COMMON | During Reset | hready_out_from_slave_not_X_or_Z_during_reset | svt_err_check_stats_cov_hready_out_from_slave_not_X_or_Z_during_reset | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 7.1.2 Reset |
| AHB_COMMON | Response Type | illegal_default_slave_resp_to_nseq_seq | svt_err_check_stats_cov_illegal_default_slave_resp_to_nseq_seq | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.2.1 Default Subordinate |
| AHB_COMMON | Subordinate Selection | invalid_hsel_assert_check | svt_err_check_stats_cov_invalid_hsel_assert_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 4.2.2 Multiple Subordinate select |
| AHB_COMMON | Signal Validity | signal_valid_hready_in_check | svt_err_check_stats_cov_signal_valid_hready_in_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_hmastlock_check | svt_err_check_stats_cov_signal_valid_hmastlock_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_COMMON | Signal Validity | signal_valid_hmaster_range_check | svt_err_check_stats_cov_signal_valid_hmaster_range_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 2.2 Manager signals |
| AHB_COMMON | Signal Validity | signal_valid_hsel_check | svt_err_check_stats_cov_signal_valid_hsel_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_FULL | Two Cycle Response | two_cycle_retry_resp | svt_err_check_stats_cov_two_cycle_retry_resp | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response |
| AHB_FULL | Two Cycle Response | two_cycle_split_resp | svt_err_check_stats_cov_two_cycle_split_resp | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response |
| AHB_FULL | Transfer Type | htrans_not_idle_or_nseq_during_no_grant | svt_err_check_stats_cov_htrans_not_idle_or_nseq_during_no_grant | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.2 Requesting bus access |
| AHB_FULL | Transfer Type | htrans_not_changed_to_idle_during_retry | svt_err_check_stats_cov_htrans_not_changed_to_idle_during_retry | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response |
| AHB_FULL | Transfer Type | htrans_not_changed_to_idle_during_split | svt_err_check_stats_cov_htrans_not_changed_to_idle_during_split | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response |
| AHB_FULL | Signal Validity | signal_valid_hbusreq_check | svt_err_check_stats_cov_signal_valid_hbusreq_check | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.11.2 Requesting bus access |
| AHB_FULL | Rebuild Transaction | rebuild_xact_with_valid_combination_of_bursts | svt_err_check_stats_cov_rebuild_xact_with_valid_combination_of_bursts | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination, Section 3.9.5 Split and retry |
| AHB_FULL | Rebuild Transaction | rebuild_xact_with_expected_addr | svt_err_check_stats_cov_rebuild_xact_with_expected_addr | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.6.1 Early burst termination, Section 3.9.5 Split and retry |
| AHB_FULL | Response Type | hsplit_asserted_for_non_split_master | svt_err_check_stats_cov_hsplit_asserted_for_non_split_master | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers |
| AHB_FULL | Response Type | hsplit_asserted_for_one_cycle | svt_err_check_stats_cov_hsplit_asserted_for_one_cycle | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers |
| AHB_FULL | Transfer Type | htrans_not_changed_to_idle_during_retry | svt_err_check_stats_cov_htrans_not_changed_to_idle_during_retry | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response |
| AHB_FULL | Transfer Type | htrans_not_changed_to_idle_during_split | svt_err_check_stats_cov_htrans_not_changed_to_idle_during_split | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.9.3 Two-cycle response |
| AHB_FULL | Bus Grant | illegal_hgrant_on_split_resp | svt_err_check_stats_cov_illegal_hgrant_on_split_resp | AMBA AHB Protocol Specification ARM IHI 0011A: Section 3.12 Split transfers |
| AHB_FULL | Signal Validity | signal_valid_hgrant_check | svt_err_check_stats_cov_signal_valid_hgrant_check | AMBA AHB Protocol Specification ARM IHI 0011A: Section 2.2 AMBA AHB signal list |
| AHB_FULL | Signal Validity | signal_valid_hmaster_check | svt_err_check_stats_cov_signal_valid_hmaster_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_Lite | Response Type | ahb_lite_split_response | svt_err_check_stats_cov_ahb_lite_split_response | AMBA AHB Protocol Specification ARM IHI 0033A: Section 5.1 Slave transfer responses |
| AHB_Lite | Response Type | ahb_lite_retry_response | svt_err_check_stats_cov_ahb_lite_retry_response | AMBA AHB Protocol Specification ARM IHI 0033A: Section 5.1 Slave transfer responses |
| ARM11/AHB_V6 Exclusive Accesses | Two Cycle Response | two_cycle_xfail_resp | svt_err_check_stats_cov_two_cycle_xfail_resp | ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.3.1 Exclusive Access Protocol |
| ARM11/AHB_V6 Unaligned Transfers | Valid Unaligned Transfer | valid_unaligned_transfer | svt_err_check_stats_cov_valid_unaligned_transfer | ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1.2 Burst, Unaligned accesses and Byte Lane Strobes |
| ARM11/AHB_V6 Unaligned Transfers | Signal Stability | hunalign_changed_during_transfer | svt_err_check_stats_cov_hunalign_changed_during_transfer | ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes |
| ARM11/AHB_V6 Unaligned Transfers | Valid Byte Lane Strobes | valid_byte_lane_for_hbstrb | svt_err_check_stats_cov_valid_byte_lane_for_hbstrb | ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes |
| ARM11/AHB_V6 Unaligned Transfers | Signal Validity | signal_valid_hunalign_check | svt_err_check_stats_cov_signal_valid_hunalign_check | ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes |
| ARM11/AHB_V6 Unaligned Transfers | Signal Validity | signal_valid_hbstrb_check | svt_err_check_stats_cov_signal_valid_hbstrb_check | ARMv6 AMBA Extensions PR022-GENC-001011 0.7: Section 3.1 Byte Strobes |
| AHB5 Extended Memory Types | Signal Validity | signal_valid_hprot_ex_range_check | svt_err_check_stats_cov_signal_valid_hprot_ex_range_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.9 Memory types |
| AHB5 Secure Transfers | Signal Validity | signal_valid_hnonsec_check | svt_err_check_stats_cov_signal_valid_hnonsec_check | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 8.2 Signal validity rules |
| AHB_Lite_Multilayer | Rebuild Transaction | rebuild_xact_with_valid_combination_of_bursts | svt_err_check_stats_cov_rebuild_xact_with_valid_combination_of_bursts | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6.2 Early burst termination - Multi-layer interconnect termination |
| AHB_Lite_Multilayer | Rebuild Transaction | rebuild_xact_with_expected_addr | svt_err_check_stats_cov_rebuild_xact_with_expected_addr | AMBA AHB Protocol Specification ARM IHI 0033C ID090921: Section 3.6.2 Early burst termination - Multi-layer interconnect termination |