verifCheck

verifCheck(
g_sessionId
[ ?implementation g_implementation ]
[ ?impSet g_impSet ]
)
=> t / nil

Description

Checks whether implementations changed since last run or reload by Verifier. In addition, it checks whether the lifetime of implementation simulation results is within the Expiration Period of Implementation Results since the last simulation of implementation cellview by Verifier or the last external creation of results. If no implementation or implementation set is specified, then all implementations in the session are checked.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
?implementation g_implementation
	Name of single implementation or list of implementation names where each implementation name can be either a string such as Lib/Cell/View/History or a list '("Lib" "Cell" "View" "History") . If no implementation is specified, all implementations in the session are run.
?impSet g_impSet	Name of a single implementation set or a list of implementation set names.

Value Returned

t	Check for changes in implementations and simulation results is done.
nil	Check for changes in implementation and simulation results is not done.

Examples

The following example starts a Verifier session with a cellview and performs the check.

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

Gets all implementations.

verifGetImps(uid)
(("Two_Stage_Opamp" "OpAmp" "maestro_MC" "MonteCarlo.3.RO")
    ("Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Interactive.0")
)

Does the check.

verifCheck(uid)
INFO (VERIFIER-1329): The implementation 'Two_Stage_Opamp/OpAmp/maestro_MC/MonteCarlo.3.RO' has not yet been run by Verifier.
Therefore, no checks can be performed.

INFO (VERIFIER-1324): The implementation 'Two_Stage_Opamp/OpAmp/maestro_nominal/Interactive.0' has changed as below:
some elements in the following test state have changed: 
'AC: environmentOptions, faultFiles, faultRules, faults, outputs'
'TRAN: analyses, environmentOptions, faultFiles, faultRules, faults, outputs'
*WARNING* (VERIFIER-1326): Found outdated simulation results for implementation 'Two_Stage_Opamp/OpAmp/maestro_nominal/Interactive.0' 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

verifCheckImp

Simulation and Results Extraction Functions

Return to top