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
13 August 2024, Copyright © 2024 Synopsys, Inc.

APB SVT OVM Documentation - Protocol Checks Coverage Defined in VIP

Summary of Protocol Checks defined in APB SVT OVM Documentation:

Product Base Group
amba_svt APB2
APB3
APB4 Protection Unit Support
APB4 Write Strobes

Product: amba_svt - Protocol Checks Details:

Group Sub Group Protocol Check Instance name Covergroup Class name Reference ▲▼
APB2 State Transition initial_bus_state_after_reset svt_err_check_stats_cov_initial_bus_state_after_reset AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 4.1 Operating states
APB2 Slave Selection multiple_select_signals_active_during_transfer svt_err_check_stats_cov_multiple_select_signals_active_during_transfer AMBA APB Protocol Specification ARM IHI 0011A: Section 5.4.2 APB bridge description
APB2 Signal Validity signal_valid_prdata_check svt_err_check_stats_cov_signal_valid_prdata_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB2 Unaligned Transfers address_not_aligned_when_unaligned_address_support_not_enabled svt_err_check_stats_cov_address_not_aligned_when_unaligned_address_support_not_enabled AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 2.1.1 Address bus
APB2 Signal Stability pwdata_changed_during_transfer svt_err_check_stats_cov_pwdata_changed_during_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.1 Write transfers
APB2 Signal Stability pwrite_changed_during_transfer svt_err_check_stats_cov_pwrite_changed_during_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.1 Write transfers & 3.3 Read transfers
APB2 Signal Stability paddr_changed_during_transfer svt_err_check_stats_cov_paddr_changed_during_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.1 Write transfers & 3.3 Read transfers
APB2 Signal Stability psel_changed_during_transfer svt_err_check_stats_cov_psel_changed_during_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.1 Write transfers & 3.3 Read transfers
APB2 Signal Validity signal_valid_pwdata_check svt_err_check_stats_cov_signal_valid_pwdata_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB2 Signal Validity signal_valid_penable_check svt_err_check_stats_cov_signal_valid_penable_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB2 Signal Validity signal_valid_pwrite_check svt_err_check_stats_cov_signal_valid_pwrite_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB2 Signal Validity signal_valid_paddr_check svt_err_check_stats_cov_signal_valid_paddr_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB2 Signal Validity signal_valid_psel_check svt_err_check_stats_cov_signal_valid_psel_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB2 State Transition penable_after_psel svt_err_check_stats_cov_penable_after_psel AMBA APB Protocol Specification ARM IHI 0011A: 5.2.1 State diagram
APB2 Address Mapping psel_match_with_address_map svt_err_check_stats_cov_psel_match_with_address_map AMBA APB Protocol Specification ARM IHI 0011A: Section 5.5.2 APB slave description
APB2 State Transition setup_to_setup svt_err_check_stats_cov_setup_to_setup AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 4.1 Operating states
APB2 APB2 State Transition access_to_access svt_err_check_stats_cov_access_to_access AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 4.1 Operating states
APB2 State Transition setup_to_idle svt_err_check_stats_cov_setup_to_idle AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 4.1 Operating states
APB2 APB2 State Transition bus_in_enable_state_for_one_clock svt_err_check_stats_cov_bus_in_enable_state_for_one_clock AMBA APB Protocol Specification ARM IHI 0011A: Section 5.2.1 State diagram
APB3 Signal Validity signal_valid_pslverr_check svt_err_check_stats_cov_signal_valid_pslverr_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB3 Signal Validity signal_valid_pready_check svt_err_check_stats_cov_signal_valid_pready_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB3 Transaction Timeout pready_timeout_check svt_err_check_stats_cov_pready_timeout_check Synopsys Defined
APB3 Signal Stability penable_changed_during_transfer svt_err_check_stats_cov_penable_changed_during_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.1 Write transfers & 3.3 Read transfers
APB3 State Transition idle_to_access svt_err_check_stats_cov_idle_to_access AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 4.1 Operating states
APB4 Protection Unit Support Signal Stability pprot_changed_during_transfer svt_err_check_stats_cov_pprot_changed_during_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.1 Write transfers & 3.3 Read transfers
APB4 Protection Unit Support Signal Validity signal_valid_pprot_check svt_err_check_stats_cov_signal_valid_pprot_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB4 Write Strobes Signal Stability pstrb_changed_during_transfer svt_err_check_stats_cov_pstrb_changed_during_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.1 Write transfers
APB4 Write Strobes PSTRB Validity pstrb_low_for_read svt_err_check_stats_cov_pstrb_low_for_read AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 3.2 Write strobes
APB4 Write Strobes Signal Validity signal_valid_pstrb_check svt_err_check_stats_cov_signal_valid_pstrb_check AMBA APB Protocol Specification ARM IHI 0024E ID022823: Appendix A.1 Validity rules
APB4 Write Strobes Unaligned Transfers pstrb_asserted_for_invalid_byte_in_unaligned_transfer svt_err_check_stats_cov_pstrb_asserted_for_invalid_byte_in_unaligned_transfer AMBA APB Protocol Specification ARM IHI 0024E ID022823: Section 2.1.1 Address bus & 3.2 Write strobes
13 August 2024, Copyright © 2024 Synopsys, Inc.