verifStop

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

Description

Stops simulations for one or more implementations. If no implementation or implementation set is specified, then all running implementations in the session are stopped.

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 like "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	Successfully stops the simulations.
nil	Fails to stop simulations.

Examples

The following example starts a Verifier session with a cellview that has an implementation 'opamp090/full_diff_opamp_AC/maestro/Active' and an implementation set 'Weekly'.

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

verifRun(uid ?implementation list(list("Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active")))
Verifier: Started running implementation 'Two_Stage_Opamp/OpAmp/maestro_nominal/Active' at 'Apr 15 10:00:50 2019'
verifStop(uid ?implementation list(list("Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active")))
Verifier: Stopped running implementation 'Two_Stage_Opamp/OpAmp/maestro_nominal/Active' at 'Apr 15 10:00:18 2019'
=>t

verifRun(uid ?impSet "Weekly")
=>t
verifStop(uid ?impSet "Weekly")
=>t

Related Topics

verifImpIsRun

verifRun

verifSetImpRun

verifCheck

verifCheckImp

Simulation and Results Extraction Functions

Return to top