VIP Smartsearch

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

$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

ATB SVT UVM Documentation - CoverGroup Reference

Covergroup	Coverpoints	Bins	Cross Coverage	Description
signal_state_atid	signal_state_atid_min_mid_max	signal_state_atid_min_mid_max:atid_min, atid_mid, atid_max	--	State covergroups ATB signals
trans_cross_atb_xact_type_data_valid_bytes	xact_type data_valid_bytes	xact_type:normal_data_xact, flush_data_xact, sync_data_xact, trigger_data_xact data_valid_bytes:byte_0, byte_1, byte_2, byte_3	atb_xact_type_data_valid_bytes	Covergroup: trans_cross_atb_xact_type_data_valid_bytes Coverpoints: xact_type: Captures atb transaction data_valid_byte: Captures transaction data valid byte value Cross coverpoints: atb_xact_type_data_valid_bytes: Crosses cover points xact_type, data_valid_byte
trans_meta_atb	ATVALID_to_ATREADY_Delay ATVALID_to_prev_ATVALID_Delay ATVALID_before_ATREADY ATREADY_before_ATVALID	ATVALID_to_ATREADY_Delay:atvalid_to_atready_delay_min, atvalid_to_atready_delay_mid, atvalid_to_atready_delay_max ATVALID_to_prev_ATVALID_Delay:atvalid_to_prev_atvalid_delay_min, atvalid_to_prev_atvalid_delay_mid, atvalid_to_prev_atvalid_delay_max ATVALID_before_ATREADY:atvalid_before_atready ATREADY_before_ATVALID:atready_before_atvalid	--	Covergroup: trans_meta_atb Coverpoints: ATVALID_to_ATREADY_Delay: Captures min, mid and max range of delays between signals atvalid and atready ATVALID_to_prev_ATVALID_Delay: Captures min, mid and max range of delays between current and previous atvalid signals ATVALID_before_ATREADY: Captures if ATVALID signal comes before ATREADY signal ATREADY_before_ATVALID: Captures if ATREADY signal comes before ATVALID signal

Covergroup

Coverpoints

Bins

Cross Coverage

Description

signal_state_atid

signal_state_atid_min_mid_max

signal_state_atid_min_mid_max:atid_min, atid_mid, atid_max

State covergroups ATB signals

trans_cross_atb_xact_type_data_valid_bytes

xact_type:normal_data_xact, flush_data_xact, sync_data_xact, trigger_data_xact
data_valid_bytes:byte_0, byte_1, byte_2, byte_3

atb_xact_type_data_valid_bytes

Covergroup: trans_cross_atb_xact_type_data_valid_bytes

Coverpoints:

xact_type: Captures atb transaction
data_valid_byte: Captures transaction data valid byte value

Cross coverpoints:

atb_xact_type_data_valid_bytes: Crosses cover points xact_type, data_valid_byte

trans_meta_atb

ATVALID_to_ATREADY_Delay:atvalid_to_atready_delay_min, atvalid_to_atready_delay_mid, atvalid_to_atready_delay_max
ATVALID_to_prev_ATVALID_Delay:atvalid_to_prev_atvalid_delay_min, atvalid_to_prev_atvalid_delay_mid, atvalid_to_prev_atvalid_delay_max
ATVALID_before_ATREADY:atvalid_before_atready
ATREADY_before_ATVALID:atready_before_atvalid

Covergroup: trans_meta_atb

Coverpoints:

ATVALID_to_ATREADY_Delay: Captures min, mid and max range of delays between signals atvalid and atready
ATVALID_to_prev_ATVALID_Delay: Captures min, mid and max range of delays between current and previous atvalid signals
ATVALID_before_ATREADY: Captures if ATVALID signal comes before ATREADY signal
ATREADY_before_ATVALID: Captures if ATREADY signal comes before ATVALID signal

Covergroup	Coverpoints	Bins
signal_state_atdata	signal_state_atdata_min_mid_max	signal_state_atdata_min_mid_max:atdata_min, atdata_mid, atdata_max
signal_state_flushreq	signal_state_flushreq_asserted	signal_state_flushreq_asserted:flushreq_asserted
signal_state_syncreq	signal_state_syncreq_asserted	signal_state_syncreq_asserted:syncreq_asserted

Covergroup

Coverpoints

Bins

signal_state_atdata