How to download VIP smartsearch?
DESIGNWARE_HOMEto required designware home location where VIP Smartsearch should be downloaded.
vip_smartsearch_<version>.runfile.
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>
How to install VIP Smartsearch?
Please refer to the fileVIP_Smartsearch_installation_and_usage_guide.pdfin
$DESIGNWARE_HOME/vip/svt/vip_smartsearch/<version>for installation steps.
Customer Support
For more details about VIP smartsearch tool, contact support_center@synopsys.com.Inheritance diagram for class svt_apb_checker:
|
||
|
||
Executes signal validity checks for the signals driven by the Slave
|
|
||
Executes signal validity checks for the signals driven by the Master
|
|
|
Check description: Checks that if illegal state transition occured from access to access in APB2. In APB3 state transition from access to access is valid transition.
Pass condition: No state transition occured from access to access in APB2 Fail condition: Illegal state transition occured from access to access in APB2 Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if unaligned address is driven on PADDR when unaligned_address_support is not enabled.
Pass condition: Aligned address is driven on PADDR Fail condition: Unaligned address is driven on PADDR Applicable device type: Passive Master, Active & Passive Slave Additional information:
|
|
|
Check description: Checks that bus remains in ENABLE state for one clock cycle in APB2
Pass condition: Bus remains in ENABLE state for one clock cycle in APB2 Fail condition: Bus remains in ENABLE state for more than one clock cycle in APB2 Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if illegal state transition occured from idle to access
Pass condition: No state transition occured from idle to access Fail condition: Illegal state transition occured from idle to access Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that after reset de-assertion, APB Bus is in either IDLE or SETUP state.
Pass condition: APB Bus is in either IDLE or SETUP state after reset de-assertion.
Fail condition: APB Bus is in ACCESS state after reset de-assertion.
Applicable device type: Active & Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if multiple select signals asserted during transfer
Pass condition: Only one select signal asserted during transfer Fail condition: Multiple select signals asserted during transfer Applicable device type: Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PADDR changed value during transfer
Pass condition: PADDR is stable during transfer Fail condition: PADDR is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PENABLE is asserted after one clock cycle of PSEL being asserted.
Pass condition: PENABLE is asserted after one clock cycle of PSEL being asserted Fail condition:
Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PENABLE changed value during access phase of transfer
Pass condition: PENABLE high during access phase of transfer Fail condition: PENABLE low during access phase of transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PPROT changed value during transfer
Pass condition: PPROT is stable during transfer Fail condition: PPROT is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PREADY signal is asserted by slave within timeout period slave_pready_timeout
Pass condition: PREADY signal is asserted by slave within timeout period slave_pready_timeout Fail condition: PREADY signal is not asserted by slave within timeout period slave_pready_timeout Applicable device type: Passive Slave, Active & Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PSEL changed value during transfer
Pass condition: PSEL is stable during the transfer Fail condition: PSEL is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that asserted PSEL matches with the address map. Refer to ARM IHI 0011A section 2.4, signal description of PSELx for the protocol info.
Pass condition: slave ID obtained by address decoding is equal to the slave ID that has PSEL asserted. Fail condition: slave ID obtained by address decoding is not equal to the slave ID that has PSEL asserted. Applicable device type: Passive Master, Active & Passive Slave Additional information: In case of complex_memory_map enabled, pprot1 is also considered in address decoding. |
|
|
Check description: Checks if PSTRB is correctly asserted when unaligned address is driven on PADDR with unaligned_address_support enabled.
Pass condition: PSTRB is correctly asserted based on the address alignment Fail condition: PSTRB is not correctly asserted based on the address alignment Applicable device type: Passive Master, Active & Passive Slave Additional information:
|
|
|
Check description: Checks if PSTRB changed value during write transfer
Pass condition: PSTRB is stable during write transfer Fail condition: PSTRB is changed during write transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PSTRB is low for read transfer
Pass condition: All bits of PSTRB are low for read transfer Fail condition: Any bit of PSTRB is high for read transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PWDATA changed value during write transfer
Pass condition: PWDATA is stable during write transfer Fail condition: PWDATA is changed during write transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PWRITE changed value during transfer
Pass condition: PWRITE is stable during transfer Fail condition: PWRITE is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if illegal state transition occured from setup to idle
Pass condition: No state transition occured from setup to idle Fail condition: Illegal state transition occured from setup to idle Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that if illegal state transition occured from setup to setup
Pass condition: No state transition occured from setup to setup Fail condition: Illegal state transition occured from setup to setup Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PADDR is not X or Z when PSEL is asserted
Pass condition: PADDR is not X or Z when PSEL is asserted Fail condition: PADDR is X or Z when PSEL is asserted Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PENABLE is not X or Z when PSEL is asserted
Pass condition: PENABLE is not X or Z when PSEL is asserted Fail condition: PENABLE is X or Z when PSEL is asserted Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PPROT is not X or Z when PSEL is asserted
Pass condition: PPROT is not X or Z when PSEL is asserted Fail condition: PPROT is X or Z when PSEL is asserted Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PRDATA is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer
Pass condition: PRDATA is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer Fail condition: PRDATA is X or Z when PSEL, PENABLE and PREADY are asserted for read transfer Applicable device type: Passive Slave, Active & Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PREADY is not X or Z when PSEL and PENABLE are asserted
Pass condition: PREADY is not X or Z when PSEL and PENABLE are asserted Fail condition: PREADY is X or Z when PSEL and PENABLE are asserted Applicable device type: Passive Slave, Active & Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PSEL is not X or Z
Pass condition: PSEL is not X or Z Fail condition: PSEL is X or Z Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PSLVERR is not X or Z when PSEL, PENABLE and PREADY are asserted
Pass condition: PSLVERR is not X or Z when PSEL, PENABLE and PREADY are asserted Fail condition: PSLVERR is X or Z when PSEL, PENABLE and PREADY are asserted Applicable device type: Passive Slave, Active & Passive Master Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PSTRB is not X or Z when PSEL is asserted
Pass condition: PSTRB is not X or Z when PSEL is asserted Fail condition: PSTRB is X or Z when PSEL is asserted Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PWDATA is not X or Z when PSEL is asserted for write transfer
Pass condition: PWDATA is not X or Z when PSEL is asserted for write transfer Fail condition: PWDATA is X or Z when PSEL is asserted for write transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PWRITE is not X or Z when PSEL is asserted
Pass condition: PWRITE is not X or Z when PSEL is asserted Fail condition: PWRITE is X or Z when PSEL is asserted Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|