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

svt_atb_checker Class Reference

Inheritance diagram for class svt_atb_checker:

List of all members.



Public Attributes

svt_err_check_stats  afvalid_interrupted_check 
svt_err_check_stats  afvalid_low_when_reset_is_active_check 
svt_err_check_stats  atdata_valid_val_check 
svt_err_check_stats  atid_reserved_val_check 
svt_err_check_stats  atvalid_interrupted_check 
svt_err_check_stats  atvalid_low_when_reset_is_active_check 
svt_err_check_stats  signal_stable_atbytes_when_atvalid_high_check 
svt_err_check_stats  signal_stable_atdata_when_atvalid_high_check 
svt_err_check_stats  signal_stable_atid_when_atvalid_high_check 
svt_err_check_stats  signal_valid_afready_when_afvalid_high_check 
svt_err_check_stats  signal_valid_afvalid_check 
svt_err_check_stats  signal_valid_atbytes_when_atvalid_high_check 
svt_err_check_stats  signal_valid_atdata_when_atvalid_high_check 
svt_err_check_stats  signal_valid_atid_when_atvalid_high_check 
svt_err_check_stats  signal_valid_atready_when_atvalid_high_check 
svt_err_check_stats  signal_valid_atvalid_check 
svt_err_check_stats  signal_valid_syncreq_check 
svt_err_check_stats  syncreq_low_when_reset_is_active_check 


Member Attribute Documentation

 svt_err_check_stats  attribute
 svt_atb_checker::afvalid_interrupted_check


Checks if afvalid was interrupted before afready got asserted

 svt_err_check_stats  attribute
 svt_atb_checker::afvalid_low_when_reset_is_active_check


Checks if afvalid is low when reset is active

 svt_err_check_stats  attribute
 svt_atb_checker::atdata_valid_val_check


Checks if atdata driven on bus is valid for corresponding atid

 svt_err_check_stats  attribute
 svt_atb_checker::atid_reserved_val_check


Checks if atid driven on bus with reserved valud

 svt_err_check_stats  attribute
 svt_atb_checker::atvalid_interrupted_check


Checks if atvalid was interrupted before atready got asserted

 svt_err_check_stats  attribute
 svt_atb_checker::atvalid_low_when_reset_is_active_check


Checks if atvalid is low when reset is active

 svt_err_check_stats  attribute
 svt_atb_checker::signal_stable_atbytes_when_atvalid_high_check


Checks that ATBYTES is stable when ATVALID is high

 svt_err_check_stats  attribute
 svt_atb_checker::signal_stable_atdata_when_atvalid_high_check


Checks that ATDATA is stable when ATVALID is high

 svt_err_check_stats  attribute
 svt_atb_checker::signal_stable_atid_when_atvalid_high_check


Checks that ATID is stable when ATVALID is high

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_afready_when_afvalid_high_check


Checks that AFREADY is not X or Z

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_afvalid_check


Checks that AFVALID is not X or Z

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_atbytes_when_atvalid_high_check


Checks that ATBYTES is not X or Z when ATVALID is high

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_atdata_when_atvalid_high_check


Checks that ATDATA is not X or Z when ATVALID is high

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_atid_when_atvalid_high_check


Checks that ATID is not X or Z when ATVALID is high

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_atready_when_atvalid_high_check


Checks that ATREADY is not X or Z

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_atvalid_check


Checks that ATVALID is not X or Z

 svt_err_check_stats  attribute
 svt_atb_checker::signal_valid_syncreq_check


Checks that SYNCREQ is not X or Z

 svt_err_check_stats  attribute
 svt_atb_checker::syncreq_low_when_reset_is_active_check


Checks if syncreq is low when reset is active