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

verifAddReq

verifAddReq(
g_sessionId
t_title
[ ?reqId t_reqId ]
[ ?parentId t_parentId ]
[ ?pos x_pos ]
)
=> t / nil

Description

Adds a new requirement with the title 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_title

Title of the requirement.

?reqId t_reqId

Unique ID of the new requirement.

?parentId t_parentId

ID of an existing requirement that is the parent of the new requirement.

?pos x_pos

Position where the requirement will be inserted. By default, the new requirement is added at the end.

Value Returned

t

Requirement is added to the Verifier session.

nil

Requirement is not added to the Verifier session.

Examples

The following example opens a Verifier cellview and adds a requirement:

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

Creates a requirement with the given title.

verifAddReq(sess "full_diff_opamp") 
=>t

Creates a requirement with ID C1 under requirement ID1.

verifAddReq(sess "A child req" ?reqId "C1" ?parentId "ID1") 
=>t

Related Topics

verifMoveReq

verifRemoveReq


Return to top
 ⠀
X