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

verifMapping

verifMapping(
g_sessionId
g_reqsList
g_impsList
[ g_operation ]
)
=> t / nil

Description

Maps one or more requirements to one or more implementations in a Verifier session. Each of the requirement map objects can include the cellview, run, test, and output information. This function is also used to modify or delete the existing requirement-implementation mappings. For example, if the requirements list is empty, all the mapping information for the specified implementations is deleted.

Arguments

g_sessionId

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

g_req

Single requirement ID or list of requirement IDs to be mapped. The requirements can be nil, a string, or a list of strings.

l_impsList

The implementations to be mapped to the specified requirements. The implementations can be nil, or a string, a list of strings, or a list of lists of strings.

g_operation

Specifies whether to merge the specified mapping with any existing mapping, or to overwrite any existing mapping.

The following string values are used to specify the task to be performed for outdated mapping information:

  • merge: Merges the old mapping information. Similar to the behavior of Include Old Mappings on the Requirements or Implementations Mapped but Not Selected dialog box.
  • overwrite (default value): Removes the old mapping information and maps only to the new implementations; Similar to the behavior of Continue on the Requirements or Implementations Mapped but Not Selected dialog box.

An implementation name is specified as a list of strings or as string with each item separated by "/" from the following components:

<lib> <cell> <view> <history> [<run>] [<test> [<statisticalTest>] || [<output> [<statisticalOutput>]]]

For example:

"lib/cell/view/history"
list("lib" "cell" "view" "history")
"lib/cell/view/history/run"
"lib/cell/view/history/run/test"
"lib/cell/view/history/test/statTest"
"lib/cell/view/history/run/test/statTest"
"lib/cell/view/history/test/output"
"lib/cell/view/history/test/output/statOut"

Value Returned

t

The specified requirements have been mapped to the specified implementations.

nil

The specified requirements and implementations could not be mapped.

Examples

The following example opens a Verifier cellview and maps the specified requirements to the specified implementations. It also illustrates how to delete the mapping of requirements and implementations using verifMapping.

Maps the requirement with ID "ID_LT8XzV" to implementation "l/c/v/h".

sess = verifOpenCellView("tests" "sample" "verifier")
verifMapping(sess "ID_LT8XzV" "l/c/v/h") 
=> t

Removes the mapping of requirement ID "ID_LT8XzV".

verifMapping(sess "ID_LT8XzV" nil) 
=> t

Removes the mapping of implementation "l/c/v/h".

verifMapping(sess nil list("l" "c" "v" "h")) 
=> t

Maps both requirement IDs ""ID_LT8XzV" and "ID_LT6YzV"" to the same output.

verifMapping(sess list("ID_LT8XzV" "ID_LT6YzV") list("l" "c" "v" "h" "test" "output1")) 
=> t

Maps both requirement IDs ""ID_LT8XzV" and "ID_LT6YzV"" to the same two implementations.

verifMapping(sess list("ID_LT8XzV" "ID_LT6YzV") list(list("l" "c" "v" "h") list("l" "c" "v" "h2"))) 
=> t

Adds the mapping of both requirement IDs ""ID_LT8XzV" and "ID_LT6YzV"" to the same two implementations to any existing mapping.

verifMapping(sess list("ID_LT8XzV" "ID_LT6YzV") list(list("l" "c" "v" "h") list("l" "c" "v" "h2")) "merge") 
=> t
Specifies the implementation using the list notation.
verifMapping(sess list("ID_LT8XzV" "ID_LT6YzV") list(list("l" "c" "v" "h"))) 
=> t

Specifies two implementations using the list notation.

verifMapping(sess list("ID_LT8XzV" "ID_LT6YzV") list(list("l" "c" "v" "h") list("l" "c" "v" "h2")))
=> t

Related Topics

verifExportMapping

verifGetImpMapping

verifGetReqMapping

verifImportMapping

Requirement-to-Implementation Mapping Functions


Return to top
 ⠀
X