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.

ATB SVT UVM Documentation - Protocol Checks Defined in VIP

Summary of Protocol Checks defined in ATB SVT UVM Documentation:

Product Base Group Protocol Check Class
amba_svt None svt_atb_checker

Product: amba_svt - Protocol Checks Details:

Group Sub Group Protocol Check Instance name Reference ▲▼ Description
None "" atdata_valid_val_check Monitor Check for ATDATA having valid value for corresponding ATID! svt_atb_checker
None "" atid_reserved_val_check Monitor Check for ATID not having RESERVED values! svt_atb_checker
None "" afvalid_interrupted_check Monitor Check for AFVALID being deasserted before AFREADY assertion! svt_atb_checker
None "" atvalid_interrupted_check Monitor Check for ATVALID being deasserted before ATREADY assertion! svt_atb_checker
None "" syncreq_low_when_reset_is_active_check Monitor Check for SYNCREQ low when reset is active! svt_atb_checker
None "" afvalid_low_when_reset_is_active_check Monitor Check for AFVALID low when reset is active! svt_atb_checker
None "" atvalid_low_when_reset_is_active_check Monitor Check for ATVALID low when reset is active! svt_atb_checker
None "" signal_valid_syncreq_check Monitor Check for X or Z on SYNCREQ! svt_atb_checker
None "" signal_valid_afvalid_check Monitor Check for X or Z on AFVALID! svt_atb_checker
None "" signal_valid_atvalid_check Monitor Check for X or Z on ATVALID! svt_atb_checker
None "" signal_stable_atbytes_when_atvalid_high_check Monitor check for signal stability when corresponding valid signal is high svt_atb_checker
None "" signal_stable_atdata_when_atvalid_high_check Monitor check for signal stability when corresponding valid signal is high svt_atb_checker
None "" signal_stable_atid_when_atvalid_high_check Monitor check for signal stability when corresponding valid signal is high svt_atb_checker
None "" signal_valid_afready_when_afvalid_high_check Monitor check for X or Z on signal when corresponding valid signal is high svt_atb_checker
None "" signal_valid_atready_when_atvalid_high_check Monitor check for X or Z on signal when corresponding valid signal is high svt_atb_checker
None "" signal_valid_atbytes_when_atvalid_high_check Monitor check for X or Z on signal when corresponding valid signal is high svt_atb_checker
None "" signal_valid_atdata_when_atvalid_high_check Monitor check for X or Z on signal when corresponding valid signal is high svt_atb_checker
None "" signal_valid_atid_when_atvalid_high_check Monitor check for X or Z on signal when corresponding valid signal is high svt_atb_checker
13 August 2024, Copyright © 2024 Synopsys, Inc.