verifRemoveImp

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

Description

Deletes an implementation from the specified Verifier session.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
t_impLib	The library name of the implementation.
t_impCell	The cell name of the implementation.
t_impView	The view name of the implementation.
t_impHistory	The history name of the implementation.

Value Returned

t	The specified implementation is deleted from the Verifier session.
nil	The specified implementation does not exist in the Verifier session for deletion, or the command is not successful.

Examples

The following example opens a Verifier cellview that has an implementation Two_Stage_Opamp/OpAmp/maestro_nominal/Active. This implementation is then deleted from the Verifier session.

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" "Active") 
("Two_Stage_Opamp" "OpAmp" "maestro_run_plan" "Active") 
("amsPLL" "CP_TB" "maestro" "Active")
)

Deletes the specified implementation.

verifRemoveImp(uid "Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active")
=> t

Related Topics

verifAddImp

verifMoveImp

Implementation Functions

Return to top