VIP Smartsearch

X
  • VIP Smartsearch is a framework that supports search within VIP reference documents using query in natural language. It facilitates reordering of search results and keeps record of user’s decision for the ordering of result display and applies that in search of same query on subsequent usage.
  • How to download VIP smartsearch?

    1. Get VIP Smartsearch (Available as a seperate run file).
    2. Set environment variable
      DESIGNWARE_HOME
      to required designware home location where VIP Smartsearch should be downloaded.
    3. Run
      vip_smartsearch_<version>.run
      file.
      VIP Smartsearch will be downloaded to the location
      $DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
  • How to install VIP Smartsearch?

    Please refer to the file
    VIP_Smartsearch_installation_and_usage_guide.pdf
    in
    $DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
    for installation steps.
  • Customer Support

    For more details about VIP smartsearch tool, contact support_center@synopsys.com.
    Mention your queries along with below details and send email to above email id.
    Product: Verification IP
    Sub Product: <vip_title>
    Tool: VIP Smartsearch

AHB SVT VMM Documentation - Protocol Checks Coverage Defined in VIP

Summary of Protocol Checks defined in AHB SVT VMM Documentation:

Product Base Group
amba_svt AHB System
AHB_COMMON
AHB_FULL
AHB_Lite
ARM11/AHB_V6 Exclusive Accesses
ARM11/AHB_V6 Unaligned Transfers
AHB5 Extended Memory Types
AHB5 Secure Transfers
AHB_Lite_Multilayer

Product: amba_svt - Protocol Checks Details:

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