---

Contents

---

1

Introduction to Virtuoso ADE Verifier SKILL Functions

Licensing Requirements

1

Requirement Functions

verifAddDocument

verifAddImage

verifAddReq

verifCompareImportedFiles

verifCreateRandomId

verifDeleteReqSignoff

verifDocumentExists

verifExportJson

verifExportReqsToFile

verifGetCustomFieldNames

verifGetCustomFieldValue

verifGetDocuments

verifGetImages

verifGetImportedFiles

verifGetReferencedCellViews

verifGetReqCustomFieldNames

verifGetReqCustomFieldValue

verifGetReqParent

verifGetReqProp

verifGetReqProps

verifGetReqs

verifGetReqSignoff

verifGetReqStatus

verifGetSetupLibrary

verifImageExists

verifImportFile

verifMergeImportedFiles

verifMoveReq

verifRemoveDocument

verifRemoveImage

verifRemoveReq

verifSetCustomFieldValue

verifSetReqCellviewHolder

verifSetReqCustomFieldValue

verifSetReqId

verifSetReqProp

verifSetReqTitle

verifSetReqType

verifSetSetupLibrary

verifSignOffReq

Custom Fields Functions

2

Verifier Session and Setup Functions

verifCloseSession

verifCreateBatchScript

verifGetAllSessions

verifGetCallbacks

verifGetCellViewSession

verifGetOptions

verifGetOptionVal

verifGetSessionCellView

verifGetWindow

verifIsBatchRunProcess

verifIsSessionModified

verifIsSessionReadOnly

verifIsValidSession

verifOpenCellView

verifRegisterCallback

verifRemoveCallback

verifSaveSession

verifSaveSessionAs

verifSetOptionVal

3

Implementation Functions

verifAddCustomOutput

verifAddImp

verifExportCoverageDataForImp

verifExportCoverageDataForReq

verifGetImpData

verifGetImpEstRunTime

verifGetImpPriority

verifGetImps

verifGetImpSetPreRunScript

verifGetImpTestOutputs

verifGetImpTests

verifGetMappableType

verifGetTypicalSetup

verifMoveImp

verifOverwriteSpec

verifRemoveImp

verifRestart

verifSetImpData

verifSetImpEstRunTime

verifSetImpPriority

verifSetImpSetPreRunScript

verifUpdate

verifUpdateImpEstRunTime

4

Requirement-to-Implementation Mapping Functions

verifExportMapping

verifGetImpMapping

verifGetReqMapping

verifImportMapping

verifMapping

5

Simulation and Results Extraction Functions

verifAddImpSet

verifAddImpToImpSet

verifCheck

verifCheckImp

verifCreateRunSummaryData

verifDeleteRunSummaryData

verifCopyAndUpdateResultsFromUserDefinedDirectory

verifEvaluateResults

verifGetImpSets

verifGetImpsInImpSet

verifGetResultDataForImp

verifGetResultDataForReq

verifImpIsRun

verifPublishHTML

verifReloadAllRes

verifRemoveImpFromImpSet

verifRemoveImpSet

verifRun

verifSetImpRun

verifSetImpSetName

verifStop

6

Setup Library Assistant Functions

slaAddCornerModelFile

slaAddCornerVariable

slaAddDocument

slaAddReliabilityOptions

slaAddSweepVariable

slaAddToParametricSet

slaAreParametricSetsEnabled

slaCreateCornerSetup

slaCreateReliabilitySetup

slaCreateSimulationSetup

slaCreateSweepSetup

slaCreateVerificationSpace

slaExportSetup

slaGetAllDocuments

slaGetCornerModels

slaGetCornerSetupCorners

slaGetCornerSetups

slaGetCornerVars

slaGetDocumentAbsolutePath

slaGetParametricSets

slaGetReliabilityOptions

slaGetReliabilitySetups

slaGetSimulationSetupRunOptions

slaGetSimulationSetupRunOptionValue

slaGetSimulationSetups

slaGetSweepSetups

slaGetSweepSetupVars

slaGetVerificationSpaces

slaGroupAsParametricSet

slaImportCorners

slaImportSetup

slaImportSweeps

slaIsCornerEnabled

slaIsReliabilityOptionsEnabled

slaIsViewOpened

slaSetCornerEnabled

slaOpenOrCreateView

slaRemoveCorner

slaRemoveCornerModel

slaRemoveCornerSetup

slaRemoveCornerVariable

slaRemoveFromParametricSet

slaRemoveReliabilityOptions

slaRemoveReliabilitySetup

slaRemoveSimulationSetup

slaRemoveSweepSetup

slaRemoveSweepVariable

slaRemoveVerificationSpace

slaSaveAndCloseView

slaSetParametricSetsEnabled

slaSetReliabilityOptionsEnabled

slaSetSimulationSetupRunOptionValue

slaUngroupParametricSet

7

Snapshot Functions

verifAreSnapshotsEnabled

verifCompareImplementationsFromSnapshot

verifCreateSnapshot

verifCreateSnapshotConfiguration

verifDeleteSnapshot

verifDeleteSnapshotConfiguration

verifExportSnapshotsToExcel

verifGetReferenceSnapshot

verifGetSnapshot

verifGetSnapshotAbsoluteTolerance

verifGetSnapshotComment

verifGetSnapshotRelativeTolerance

verifGetSnapshots

verifGetSnapshotsData

verifIsSnapshotLocked

verifIsSnapshotVisible

verifRenameSnapshot

verifRestoreFromSnapshot

verifSetReferenceSnapshot

verifSetSnapshotAbsoluteTolerance

verifSetSnapshotComment

verifSetSnapshotConfiguration

verifSetSnapshotLocked

verifSetSnapshotRelativeTolerance

verifSetSnapshotVisible

verifSetSnapshotsEnabled

8

Verifier-vManager Functions

verifCreateVPlan

verifCreateVsifScript

verifDownloadFromVManager

verifGetVManager

verifGetVManagerProjects

verifIsVManagerConnected

verifIsVManagerEnabled

verifPostResultsToVManager

verifRemoveVManager

verifSetVManager

verifUploadToVManager

verifVPlanExists

9

Debugging Functions

verifEnableDebug

verifDisableDebug

verifGetDebug

A

Customization in Functions

Copy Implementation Units to Requirements

Callback Function to Save Verifier Cellviews Automatically

Callback Function to Automatically Create Snapshots for Each Simulation Run

Callback Function to Automatically Create Snapshots for Backup

Function to Get Typical Results

Function to Customize Menu Banners

Function to Customize Context Menus

Return to top