Product Documentation
Virtuoso ADE Verifier SKILL Reference
Product Version IC23.1, November 2023

verifGetReqMapping

verifGetReqMapping(
g_sessionId
t_reqId
[ ?types l_types ]
=> l_implementations / nil

Description

Returns a list of mappable objects mapped to the specified requirement. The mappable object could be an implementation cellview, run, test or output.

Arguments

g_sessionId

Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).

t_reqId

The ID of the requirement.

?types l_types

The mappable object types to be returned. Valid values are "implementation", "test", "output" and "run". If a value is not specified, all types are returned.

Value Returned

l_implementations

Successful operation.

nil

Unsuccessful operation.

Examples

Opens a Verifier cellview and gets a list of all implementations mapped to requirement "ID_1" and then gets a list of outputs mapped to the requirement.

sessionId = verifOpenCellView("test" "setup" "verifier")
=> 0
verifGetReqMapping(sessionId "ID_1")
(("Two_Stage_Opamp" "OpAmp" "maestro_MC" "Active" "TRAN"
    "PhaseMargin"
) 
("Two_Stage_Opamp" "OpAmp" "maestro_MC" "Active" "TRAN") 
("Two_Stage_Opamp" "OpAmp" "maestro_MC" "Active")
)
verifGetReqMapping(sessionId "ID_1" ?types '("output"))(("Two_Stage_Opamp" "OpAmp" "maestro_MC" "Active" "TRAN"
    "PhaseMargin"
))

Related Topics

verifExportMapping

verifGetImpMapping

verifImportMapping

verifMapping

Requirement-to-Implementation Mapping Functions


Return to top
 ⠀
X