verifRestart

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

Description

Restarts the simulation for one or more implementations. If no implementation or implementation set is specified, all running implementations in the session are restarted.

Arguments

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

Value Returned

t	The specified implementation is restarted.
nil	The specified implementation fails to restart.

Examples

The following example starts a Verifier session with a cellview that has three implementations Two_Stage_Opamp/OpAmp/maestro_nominal/Active, Two_Stage_Opamp/OpAmp/maestro_basic/Active, and Two_Stage_Opamp/OpAmp/maestro_run_plan/Active. Here, the first two implementations exist in an implementation set Weekly.

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

Specifies the list of implementations to be run. When the implementation is running, the return value would be t.

verifRun(uid ?implementation list(list("Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active")))
Verifier: Started running implementation 'Two_Stage_Opamp/OpAmp/maestro_nominal/Active' at 'Feb 16 09:31:05 2023'
=> t

Specifies the implementation sets to be run. When the implementation is running, the return value would be t.

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

Restarts the specified implementations when both Two_Stage_Opamp/OpAmp/maestro_nominal/Active and Two_Stage_Opamp/OpAmp/maestro_basic/Active are in running state.

verifRestart(uid ?impSet "Weekly")
=>(t t)

Restarts the specified implementations when only Two_Stage_Opamp/OpAmp/maestro_nominal/Active is running and Two_Stage_Opamp/OpAmp/maestro_basic/Active is not running.

verifRestart(uid ?impSet "Weekly")
=>(t "")

Restarts the specified list of implementations when all three implementations are in running state

verifRestart(uid ?impSet "Weekly" ?implementation list(list("Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active")))
=>(t t t)

Related Topics

Restarting Implementation Jobs

Implementation Functions

Return to top