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 if PADDRCHK changed value during transfer
Pass condition: PADDRCHK is stable during transfer Fail condition: PADDRCHK is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PAUSER changed value during transfer
Pass condition: PAUSER is stable during transfer Fail condition: PAUSER is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PAUSERCHK changed value during transfer
Pass condition: PAUSERCHK is stable during transfer Fail condition: PAUSERCHK is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PCTRLCHK changed value during transfer
Pass condition: PCTRLCHK is stable during transfer Fail condition: PCTRLCHK 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 PENABLECHK changed value during transfer
Pass condition: PENABLECHK is stable during tranfer Fail condition: PENABLECHK is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PNSE changed value during transfer
Pass condition: PNSE is stable during transfer Fail condition: PNSE is changed during 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 PSELCHK changed value during transfer
Pass condition: PSELCHK is stable during transfer Fail condition: PSELCHK is changed during tranfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
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 PSTRBCHK changed value during write transfer
Pass condition: PSTRBCHK is stable during write transfer Fail condition: PSTRBCHK is changed during write trasnfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PSUBSYSID changed value during transfer
Pass condition: PSUBSYSID is stable during transfer Fail condition: PSUBSYSID is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PSUBSYSIDCHK changed value during transfer
Pass condition: PSUBSYSIDCHK is stable during transfer Fail condition: PSUBSYSIFCHK is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PWAKEUP changed value during transfer
Pass condition: PWAKEUP is stable during transfer Fail condition: PWAKEUP is changed during tranfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PWAKEUPCHK changed value during transfer
Pass condition: PWAKEUPCHK is stable during transfer Fail condition: PWAKEUPCHK is changed during 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 PWDATACHK changed value during write transfer
Pass condition: PWDATACHK is stable during write transfer Fail condition: PWDATACHK 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 if PWUSER changed value during transfer
Pass condition: PWUSER is stable during transfer Fail condition: PWUSER is changed during transfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks if PWUSERCHK changed value during write transfer
Pass condition: PWUSERCHK is stable during write transfer Fail condition: PWUSERCHK 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 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 PADDRCHK is not X or Z when PSEL is asserted
Pass condition: PADDRCHK is not X or Z when PSEL is asserted Fail condition: PADDRCHK 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 PAUSER is not X or Z when PSEL is asserted
Pass condition: PAUSER is not X or Z when PSEL is asserted Fail condition: PAUSER 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 PAUSERCHK is not X or Z when PSEL is asserted
Pass condition: PAUSERCHK is not X or Z when PSEL is asserted Fail condition: PAUSERCHK 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 PBUSER is not X or Z when PSEL, PENABLE and PREADY are asserted
Pass condition: PBUSER is not X or Z when PSEL, PENABLE and PREADY are asserted Fail condition: PBUSER os 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 PBUSERCHK is not X or Z when PSEL, PENABLE and PREADY are asserted
Pass condition: PBUSERCHK is not X or Z when PSEL, PENABLE and PREADY are asserted Fail condition: PBUSERCHK 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 PCTRLCHK is not X or Z when PSEL is asserted
Pass condition: PCTRLCHK is not X or Z when PSEL is asserted Fail condition: PCTRLCHK 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 PENABLECHK is not X or Z when PSEL is asserted
Pass condition: PENABLECHK is not X or Z when PSEL is asserted Fail condition: PENABLECHK 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 PNSE is not X or Z when PSEL is asserted
Pass condition: PNSE is not X or Z when PSEL is asserted Fail condition: PNSE 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 PRDATACHK is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer
Pass condition: PRDATACHK is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer Fail condition: PRDATACHK 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 PREADYCHK is not X or Z when PSEL and PENABLE are asserted
Pass condition: PREADYCHK is not X or Z when PSEL and PENABLE are asserted Fail condition: PREADYCHK 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 PRUSER is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer
Pass condition: PRUSER is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer Fail condition: PRUSER 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 PRUSERCHK is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer
Pass condition: PRUSERCHK is not X or Z when PSEL, PENABLE and PREADY are asserted for read transfer Fail condition: PRUSERCHK 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 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 PSELCHK is not X or Z
Pass condition: PSELCHK is not X or Z Fail condition: PSELCHK 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 PSLVERRCHK is not X or Z when PSEL, PENABLE and PREADY are asserted
Pass condition: PSLVERRCHK is not X or Z when PSEL, PENABLE and PREADY are asserted Fail condition: PSLVERRCHK 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 PSTRBCHK is not X or Z when PSEL is asserted for write transfer
Pass condition: PSTRBCHK is not X or Z when PSEL is asserted for write transfer Fail condition: PSTRBCHK 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 PSUBSYSID is not X or Z when PSEL is asserted
Pass condition: PSUBSYSID is not X or Z when PSEL is asserted Fail condition: PSUBSYSID 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 PSUBSYSIDCHK is not X or Z when PSEL is asserted
Pass condition: PSUBSYSIDCHK is not X or Z when PSEL is asserted Fail condition: PSUBSYSIDCHK 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 PWAKEUP is not X or Z
Pass condition: PWAKEUP is not X or Z Fail condition: PWAKEUP is X or Z Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|
|
|
Check description: Checks that PWAKEUPCHK is not X or Z
Pass condition: PWAKEUPCHK is not X or Z Fail condition: PWAKEUPCHK is X or Z 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 PWDATACHK is not X or Z when PSEL is asserted for write transfer
Pass condition: PWDATACHK is not X or Z when PSEL is asserted for write transfer Fail condition: PWDATACHK 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:
|
|
|
Check description: Checks that PWUSER is not X or Z when PSEL is asserted for write transfer
Pass condition: PWUSER is not X or Z when PSEL is asserted for write transfer Fail condition: PWUSER 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 PWUSERCHK is not X or Z when PSEL is asserted for write transfer
Pass condition: PWUSERCHK is not X or Z when PSEL is asserted for write transfer Fail condition: PWUSERCHK is X or Z when PSEL is asserted for write tranfer Applicable device type: Passive Master, Active & Passive Slave Additional information: This check is applicable only when:
|