verifOverwriteSpec

verifOverwriteSpec(
g_sessionId
g_impLib
g_impCell
g_impView
g_impHistory
[ ?testName t_testName ]
[ ?outputName t_outputName ]
[ ?pushToImp g_pushToImp ]
)
=> t / nil

Description

Pulls or pushes the specification and unit from to the mapped implementation items hierarchically.

Arguments

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).
t_impLib	Library name of the implementation.
t_impCell	Cell name of the implementation.
t_impView	View name of the implementation.
t_impHistory	History name of the implementation.
?testName t_testName	Name of the implementation test.
?outputName t_outputName	Name of the implementation output.
?pushToImp g_pushToImp	If enabled, pushes the requirement's specification and unit to mapped implementation items. This is equivalent to 'Overwrite Implementation Specification'. Default is t.

Value Returned

t	Successfully overwrites the specification and unit of the requirement or implementation.
nil	Failed to overwrite the specification and unit of the requirement or implementation.

Examples

The following example opens a Verifier cellview that has an implementation Two_Stage_Opamp/OpAmp/maestro_nominal/Active.

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

Overwrites the specification and unit for outputs belongs to the implementation.

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

Overwrites the specification and unit for outputs belongs to the test.

verifOverwriteSpec(uid "Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active"
?testName "AC")
=> t

Overwrites the specification and unit for output 'Op_Region' belongs to the test AC.

verifOverwriteSpec(uid "Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active"
?testName "AC" ?outputName "Op_Region")
=> t

Overwrites the specification and unit for requirements that are mapped to outputs belongs to the implementation.

verifOverwriteSpec(uid "Two_Stage_Opamp" "OpAmp" "maestro_nominal" "Active"
?pushToImp nil)
=> t

Related Topics

verifAddImp

verifMoveImp

verifOverwriteSpec

verifRemoveImp

verifSetImpData

verifUpdate

Implementation Functions

Return to top