verifAddImp

verifAddImp(
g_sessionId
t_lib
t_cell
t_view
t_history
[ ?runState g_runState ]
[ ?runPlanState g_runPlanState ]
[ ?createRequirements g_createRequirements ]
[ ?custom g_custom ]
)
=> t / nil

Description

Adds a new implementation, which is a maestro cellview, to 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_lib	The library name of the maestro cellview added to the specified Verifier session.
t_cell	The cell name of the maestro cellview added to the specified Verifier session.
t_view	The view name of the maestro cellview added to the specified Verifier session.
t_history	The history name of the maestro cellview added to the specified Verifier session. If you do not specify the history name, Verifier uses the Active history of the maestro cellview.
?runState g_runState
	Sets the check state of the Run check box while adding the new implementation to the specified Verifier session. The default value is t.
?runPlanState g_runPlanState
	Sets the check state of the Run Plan check box while adding the new implementation to the specified Verifier session. The default value is nil.
?createRequirements g_createRequirements
	If enabled, creates the requirements for the implementation hierarchically. The default value is nil.
?custom g_custom
	If enabled, adds a test or output to a custom implementation. The default value is nil.

Value Returned

t	The maestro cellview is added to the specified Verifier session.
nil	The maestro cellview is not added to the specified Verifier session.

Examples

The following example opens a Verifier cellview and adds an implementation cellview.

sess = verifOpenCellView("test" "sample" "verifier")
=> 0
Adds the given implementation to the session.

verifAddImp("0" "opamp090" "full_diff_opamp_AC" "maestro" "Active") 

=> t

Adds a second implementation to the session, but does not enable the Run check box and create requirements from it.

verifAddImp(0 "opamp090" "full_diff_opamp_AC" "maestro" "Interactive.1" ?runState nil ?createRequirements t) 

=> t

Enables the Run check box.

verifAddImp(uid "opamp090" "full_diff_opamp" "maestro" "Active" ?runState t)

Verifier: Adding implementation cellview opamp090/full_diff_opamp/maestro

=> t

Disables the Run check box.

verifAddImp(uid "opamp090" "full_diff_opamp" "maestro" "Active" ?runState nil)

Verifier: Adding implementation cellview opamp090/full_diff_opamp/maestro

=> t

Adds a test or output to a custom implementation.

verifAddImp(sess "CustomL" "C" "V" "H" ?custom t)

Related Topics

verifAddCustomOutput

verifMoveImp

verifOverwriteSpec

verifRemoveImp

verifSetImpData

Implementation Functions

Return to top