verifSetSetupLibrary

verifSetSetupLibrary(
g_sessionId 
t_libName
t_cellName
t_viewName
)
=> t / nil

Description

Attaches a setup library cellview to a Verifier session.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
t_libName	String value specifying the library name.
t_cellName	String value specifying the cell name.
t_viewName	String value specifying the view name.

Value Returned

t	Attached the given setup library cellview to the given Verifier session.
nil	The set operation was unsuccessful. Possible reasons for an unsuccessful operation are: The given setup library cellview does not exist. The given setup library cellview is already attached to the session. The Verifier session is read-only.

Examples

Starts a Verifier session and attaches a setup library to the session.

sessionId = verifOpenCellView("Two_Stage_Opamp" "OpAmp" "verifier")
INFO (VERIFIER-8215): Started Verifier session '0'.

=> 0

Returns t when the existing setup library cellview Two_Stage_Opamp/OpAmp/setupLib is attached to the Verifier session successfully.

verifSetSetupLibrary(sessionId "Two_Stage_Opamp" "OpAmp" "setupLib")
=> t

Returns nil when the setup library cellview Two_Stage_Opamp/OpAmp/projectSetup does not exist.

verifSetSetupLibrary(sessionId "Two_Stage_Opamp" "OpAmp" "projectSetup")
*WARNING* (VERIFIER-3908): Cannot open SLA cellview Two_Stage_Opamp/OpAmp/projectSetup because the cellview does not exist.
=> nil

Returns nil if the Verifier session is read-only:

verifSetSetupLibrary(sessionId "Two_Stage_Opamp" "OpAmp_AC_top" "setupLib")
*WARNING* (VERIFIER-1000): cannot change Setup Library to Two_Stage_Opamp/OpAmp_AC_top/setupLib in read-only session '1'
=> nil

Related Topics

verifGetSetupLibrary

Setup Library Assistant Functions

Return to top