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

verifGetResultDataForReq

verifGetResultDataForReq(
g_sessionId
t_reqId
)
=> o_resultDataTable / nil

Description

Returns the simulation result data for the specified requirement in a Verifier session.

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.

Value Returned

o_resultDataTable

The table containing the result data.

nil

The specified requirement does not exist, the result data is not available, or the command is not successful.

Examples

The following example opens a Verifier cellview and retrieves the result data of the implementation mapped to the requirement in that cellview.

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

Requirement 'ID1' of 'Note' type

tableToList(verifGetResultDataForReq(uid "ID1"))
(("reqStatus" "0%") 
    ("passed" "0") 
    ("reqTitle" list("Two_Stage_Opamp" "OpAmp" "maestro_MC" "Active (Note)")) 
    ("reqType" "Note") 
    ("noResults" "77")
    ("reqId" "ID1") 
    ("reqHier" "1") 
    ("failed" "0") 
    ("unmapped" "0")
)

Mapped requirement 'ID1.1'

tableToList(verifGetResultDataForReq(uid "ID1.1"))
(("reqStatus" "Not Run") 
    ("passed" "0") 
    ("reqTitle" list("Two_Stage_Opamp" "OpAmp" "maestro_MC" "Active")) 
    ("reqType" "Ran Ok") 
    ("noResults" "1")
    ("reqId" "ID1.1") 
    ("reqHier" "1->1.1") 
    ("failed" "0") 
    (list("Two_Stage_Opamp" "OpAmp" "maestro_MC" "Active") table:info)
)

Related Topics

verifGetResultDataForImp

verifPublishHTML

verifReloadAllRes

Simulation and Results Extraction Functions


Return to top
 ⠀
X