---

Contents

---

1

Introduction to Virtuoso ADE Verifier

Key Elements of Virtuoso ADE Verifier

Requirements

Implementations

Verification Status and Reports

ADE Verifier in Design Verification Flows

ADE Verifier in a Top-Down Verification Flow

ADE Verifier in a Bottom-Up Verification Flow

Prerequisites to Using ADE Verifier

Launching Verifier

Verifier Cellviews and Sessions

Graphical User Interface of ADE Verifier

Tabs in ADE Verifier

Main Toolbar in ADE Verifier

File

Simulation

Edit

Move

Filter

Workspaces

Progress Bar

Assistants in ADE Verifier

Coverage Summary Assistant

Implementations Editor Assistant

Information Assistant

Requirements Editor Assistant

Setup Library Assistant

Snapshots Editor Assistant

Menu Bar in ADE Verifier

Setting Virtuoso ADE Verifier Preferences

Logs and Automatic Backups in Virtuoso ADE Verifier

Global Bindkeys in Virtuoso ADE Verifier

Bindkeys for View Navigation and Interaction with Item Contents

2

Requirements in Virtuoso ADE Verifier

Details of a Requirement

Shortcut Menu Options in the Requirements and Implementations Pane

Adding Requirements

Adding a Requirement Manually

Import Requirements from External Sources

Importing Requirements from File

Important Points to Note when Importing Excel Files

Importing Requirements from a Verifier Cellview

Creating Requirements from Implementations

Simulation Runs Using Auto-Synced Requirements

Editing Requirements in the Requirements Hierarchy

Editing Requirements Using the Requirements Editor Assistant

Copying Requirements in the Hierarchy

Copy Requirements from File

Managing Imported Files

Setting Up Requirement Owners

Organizing the Requirements Hierarchy

Reassigning IDs Hierarchically

Exporting Requirements

Deleting Requirements

Filters in the Requirements Hierarchy

Filtering Requirements Based on Text Criteria

Filtering Requirements Based on Status

Custom Fields

Preparing ADE Verifier to Use Custom Fields

Specifying Values for Custom Fields

Description Editor for Requirements

3

Composite Requirements

Adding Composite Requirements

Overwriting Properties in Composite Requirements

Overwriting Mappings in Composite Requirements

Slicing Results According to the Assigned Verification Spaces

Exporting Composite Requirements

4

Implementations and Mappings in Virtuoso ADE Verifier

Details of an Implementation

Disabled Runs, Reliability Analyses, Tests, or Outputs for Implementation Cellviews

Modification of the Enabled or Disabled State

Adding Implementations

Adding an Implementation Manually

Adding Multiple Implementations

Implementations with Wave Specifications

Implementations with ADE Assembler Run Plans

Customizing Simulations with ADE Assembler Cellviews

Creating Outputs in Implementations Using Requirements

Editing Outputs in Implementations

Importing Implementations from Another ADE Verifier Cellview

Implementation Run Modes

Mappings between Implementations and Requirements

Mapping Implementations to Requirements Using the Shortcut Menu

Mapping Implementations to Requirements Using Bindkeys

Mapping Implementations to Requirements Using the Mapping Mode

Managing Mappings

Exporting Mappings

Importing Mappings

Opening Implementations

Updates in Implementations

Restarting Implementation Jobs

Modifying Implementations

Overriding Specifications

Deleting Implementations

Filters in the Implementation List

Filtering Implementations Based on Text Criteria

Filtering Implementations Based on Status

Mapped and MappedHier Properties

Typical Value Setup

Setting Up the Typical Value for Implementations

Project Directory Setup

Opening the Project Directory Setup

Adding and Removing a Project Directory

Modifying and Saving a Project Directory

Histories from the Project Directory Setup

Custom Implementations

Creating a Custom Implementation

Edit Custom Implementations

Editing a Single Custom Implementation

Editing Multiple Custom Implementations

Editing Output Expressions in Custom Implementations

Results of Modifying Expressions in Custom Implementations

Using Aliases in Custom Implementations

5

Implementation Runs in ADE Verifier

Implementation Simulation Flow

Setting Pre-run Scripts

Setting Up Run Preferences

Enabling or Disabling Implementation Runs from Verifier

Implementation Sets

Creating and Deleting Implementation Sets

Rearranging Implementation Sets

Simulation of Implementations

Running and Stopping Simulations

Simulation Status of Implementations

Report Identical Histories

Simulation of Implementations Externally

Running and Stopping Implementations in Batch Mode

Setting Up Pre and Post Simulation Operations in Batch Scripts

Distributing Batch Simulation Runs

Simulation Runs based on Priority and Estimated Run Time

Environment Setup to Run Simulations in ADE Verifier

Creating a CSV File for Defining Environment Variables

Adding and Removing Environment Variables

Modifying Environment Variables

Saving and Importing Pre-Defined Environment Variables from a CSV File

Exporting Environment Variables to a CSV File

Setting the Environment Variable Override Value

Simulation Run Results

Viewing Run Results Using the Information Assistant

Results of Failed Outputs or Tests

Viewing Results from an Incomplete History

Viewing Job Policies for Implementations

Viewing Simulation Logs

Batch Scripts in ADE Verifier

Generating a Batch Script

Reviewing and Refining a Batch Script

Running and Stopping a Batch Script

Scheduling Runs

6

Managing Verification Results

Factors that Impact Verification Status

Location of Run Summary Data

Evaluation of Metric Prefix

Reviewing the Current Overall Verification Status

Overall Progress, Coverage, and Overall Coverage

Verification Status of Requirements

Viewing Verification Results in the Information Assistant and Requirements Editor

Verification Status Indicators

Requirements Signoff in Virtuoso ADE Verifier

Signing off Requirements

Updating the Completion Progress of Requirements Manually

Viewing Plotted Results

Detailed Verification Report

HTML Reports in Basic Format

Viewing the HTML Report in Basic Format

HTML Reports in Interactive Format

Viewing HTML Reports in Interactive Format

Viewing Additional Columns in the Verification Report

Customization of HTML Reports in Interactive Format

Customizing the Interactive HTML Report Template

Examples of Interactive HTML Report Customization

7

Verifying the Design Against the Specified Setup

Setup Library Assistant Workflow

Opening the Setup Library Assistant

Graphical User Interface of Setup Library Assistant

Setup Library Assistant Toolbar

Creating or Loading a Setup Library Cellview

Modification of the Setup Library Cellview

Adding New Sweep Setups

Adding New Corner Setups

Adding New Simulation Setups

Adding New Reliability Setups

Importing Sweeps and Corners in the Setup Library

Exporting and Importing SDB Setups

Deleting a Setup Library Cellview

Adding or Deleting Verification Spaces

Parametric Sets in Setup Library Assistant

Adding or Removing a Verification Space for Each Block

Running Simulations with Verification Spaces

Updating Implementation Cellviews with Verification Spaces

Coverage Calculation in Virtuoso ADE Verifier

Calculating the Coverage Percentage

Calculation of Coverage Percentage for Statistical Outputs

Viewing the Coverage Summary

Exporting the Coverage Report

Setting ADE Verifier Preferences for Coverage

8

Snapshots in Virtuoso ADE Verifier

Snapshots User Interface in ADE Verifier

Snapshots Toolbar

Snapshots Editor

Snapshots Workspace

Snapshots Tab

Snapshot Management in ADE Verifier

Adding or Removing a Snapshot

Renaming a Snapshot

Setting a Reference Snapshot

Adding Comments to a Snapshot

Changing the Order of Snapshots

Restoring a Snapshot

Exporting Snapshots

Snapshot Comparison

Property Filters in Snapshots

Application of Tolerance Values in Snapshots

Modification of the Active Setup in the Snapshots Workspace

Comparison of Design and Simulation Setup Differences between Snapshots

Prerequisites for Snapshot Comparison

Comparing Design and Simulation Setup Differences

Ignoring Elements or their Order when Comparing Implementations from Snapshots

Exporting Snapshot Comparison Differences

9

External References in Virtuoso ADE Verifier

Flow for Referencing External Cellviews

Importing or Accessing Cellviews as References

Hierarchy for Referenced Cellviews

Reassignment of Requirements

Editing or Updating Broken External References

Multiple Hierarchy Levels in Multi-User Verification Projects

Synchronization Between the Master and Referenced Cellviews

Updating Referenced Cellviews

Simulation Runs on Referenced Cellviews

10

Verification in ADE Verifier with Reliability

Reliability Hierarchy in ADE Verifier

Reliability Flow in ADE Verifier

Reliability Outputs in ADE Verifier

Reliability Outputs in Different Run Modes

Validating Simulation Results for Reliability Outputs

Viewing Simulation Logs for Reliability Outputs

11

Mixed-Signal Design Verification

ADE Verifier-vManager Flow

ADE Verifier Architecture

vManager Connection Settings in ADE Verifier

Accessing the vManager Toolbar

Prerequisites for Setting Up a vManager Connection in ADE Verifier

Setting Up the vManager Connection

Authentication for the vManager Server

Download of vPlan Requirements on Initial Merge

Uploading a Verification Plan to vManager

Downloading a vPlan from vManager

Editing the Verification Plan and vPlan Concurrently

Verification Plans in ADE Verifier and vManager Plans

Requirement IDs in an ADE Verifier-vManager Flow

Posting Verifier Results to the vManager Server

Creating a Batch and VSIF Script

List of Mappings between Verifier Requirement Fields and vManager Attributes

ADE Verifier Results in vManager

vManager Attributes - Domain and Scope

Domain

Scope

Connecting Multiple Verifier Views to a vPlan

Review of the Verification Results in vManager

Referenced Cellviews in an ADE Verifier-vManager Session

Connection between an ADE Verifier Cellview and a vManager Plan with External References

Connection between an ADE Verifier Cellview with External References and a vManager Plan

A

Virtuoso ADE Verifier Forms

Add Implementation Cellviews Form

Add Implementation Form

Add Implementation Set Form

Change Referenced Cellview Form

Choose Verifier Cellview Form

Edit Typical Value Setup Form

Export Mappings and Results for Requirements in Imported Files Form

Export Mappings Form

Export Requirements to CSV File Form

Export Requirements to Excel File Form

Import Form

Import from SDB File Form

Import Verifier Cellview Form

Manage Imported Files Form

Preferences Form

General

Planning

Run

Distribution

Reporting

Save As Form

Set Requirement Owners Form

Sign Off Form

Typical Value Setup Form

vManager Setup Form

B

Verifier Environment Variables

Environment Variables to Set Preferences

allowEditingDisabledState

appendDate

appendTime

autoCreateDataSheet

autocreatereports

autoUpdateAll

batchhtmlreport

binaryName

checkdesigninreportidenticalhistory

checksimfilesinreportidenticalhistory

createbatchhtmlreport

createRequirementsWithNoSpec

dateTimeSuffixFormat

displayAge

displaycpk

displayFresh

displaymax

displaymean

displaymin

displayRelOutputAges

displaysigmatotarget

displaystandarddeviation

displayStress

displayyield

enablecrossselection

estRunTimeDisplayFormat

evaluateMetricPrefix

historyNamePrefix

htmlReportDirectory

impJobControlMode

impjobpolicy

impNetlistingJobPolicy

importDisabledTests

impresexpperiod

impuimode

linkdatasheets

mappingonetoone

numberOfRetries

overwritereports

retryTimeThreshold

reqspecs

reqspecscheckunits

resultForSpaceCoverage

simparallelcount

tagsToOverrideWithVerificationSpace

usereportidenticalhistory

weightedAverageForCoverage

Environment Variables to Manage Results

allowLoadingIncompleteHistory

autoMergeDefault

calcStatisticsAcrossCorners

calcStatisticsForNonMC

ignoreError

maxFailures

Environment Variables to Manage File Export

addSummaryInformation

fields

Environment Variables to Manage Requirements

changeParentOnMerge

columnHeadersForImport

deadlineFormat

extRefPrefix

idCreationFunction

updateInheritedMappings

Environment Variables to Manage Session Windows

height

width

Environment Variables to Manage Verifier Runs

clearAllTestJobPolicies

distributeImpSet

envVarConfigFile

impReportDirectory

impTimeoutScaleFactor

retryUnfinishedOrErrorPoints

simMode

simulationTimeout

stopBatchRunOnServerClose

stopTimeout

Environment Variables to Manage Verifier GUI Settings

displayReqHierId

filterOptions

impColumnOrder

impHiddenColumns

resColumnOrder

resHiddenColumns

reqColumnOrder

reqHiddenColumns

runColumnOrder

runHiddenColumns

significantDigits

snapEdColumnOrder

snapEdHiddenColumns

Environment Variables to Manage HTML Reports

includeReferenceIDPrefix

includeRequirementId

useTemplate

templateName

Environment Variables to Manage Custom Fields

csvfile (customFieldConfig)

csvfile (customReqFieldConfig)

Environment Variables to Manage Snapshots

ignoreDisabledElements

ignoreImpSetupElements

ignoreImpStateElements

impElementOrderSensitivity

includeImplementations

toleranceProperties

Environment Variables to Manage Implementations

additionalProjectDirectory

autoCreateRanOkRequirement

autoSyncOutputFilter

customCell

customHistory

customLib

customView

includeOnlyMappableOutputsInCount

loadToActiveWhileViewAndReuseSession

Environment Variables to Manage vManager Settings

itemLimit

hostname

lookupHostnameTimeout

password

port

project

timeout

username

vPlan

C

Guidelines for Debugging in Virtuoso ADE Verifier

Return to top