verifCheckImp

verifCheckImp(
g_sessionId
t_impLib
t_impCell
t_impView
t_impHistory
)
=> t / nil

Description

Checks for changes of the specified implementation and loaded results.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
t_impLib	Library name of the implementation.
t_impCell	Cell name of the implementation.
t_impView	View name of the implementation.
t_impHistory	History name of the implementation.

Value Returned

t	Check for changes is successful.
nil	Implementation does not exist, or the command is not successful.

Examples

The following example starts a Verifier session with a cellview that has implementations 'opamp090/full_diff_opamp_AC/maestro/Active' and  'Two_Stage_Opamp/OpAmp/maestro_basic/Active'. It successfully checks for changes in implementations and loaded results.

uid = verifOpenCellView("test" "sample" "verifier")
=>0

verifCheckImp(uid "Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active")
=> INFO (VERIFIER-1329): The implementation 'Two_Stage_Opamp/OpAmp/maestro_nominal/Active' has not yet been run by Verifier.
Therefore, no checks can be performed.
=> t
verifCheckImp(uid "Two_Stage_Opamp" "OpAmp" "maestro_basic" "Active")
=> INFO (VERIFIER-1324): The implementation 'Two_Stage_Opamp/OpAmp/maestro_basic/Active' has changed as below:
following elements in the setup have changed: 
specifications

=> *WARNING* (VERIFIER-1326): Found outdated simulation results for implementation 'Two_Stage_Opamp/OpAmp/maestro_basic/Active' because the implementation cellview has changed since the last simulation run.
To ensure that Verifier has the latest simulation results, enable the preference option 'Report identical history before run' and rerun the implementation from Verifier.
=> t 

Related Topics

verifCheck

Simulation and Results Extraction Functions

Return to top