A
Virtuoso ADE Verifier Forms
This topic lists all the forms available in Virtuoso ADE Verifier (Verifier).
- 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
- Save As Form
- Set Requirement Owners Form
- Sign Off Form
- Typical Value Setup Form
- vManager Setup Form
Related Topics
Graphical User Interface of ADE Verifier
Add Implementation Cellviews Form
Use the Add Implementation Cellviews form to select and add multiple implementation cellviews to the current Verifier session.
The following table describes the fields of the Add Implementations Cellview form.
Related Topics
Adding Multiple Implementations
Add Implementation Form
Use the Add Implementation form to select and add an implementation cellview to the current Verifier session.
The following table describes the fields of the Add Implementation form.
Related Topics
Adding an Implementation Manually
Add Implementation Set Form
The Add Implementation Set form lets you create an implementation set, which you can use to organize and run implementation cellviews.
| Field | Description |
|---|---|
Change Referenced Cellview Form
Use the Choose Referenced Cellview form to change the cell view to be referenced. This form is similar to the Import Verifier Cellview Form.
The following table describes the fields of the Choose Referenced Cellview form.
| Field | Description |
|---|---|
Related Topics
Choose Verifier Cellview Form
The Choose Verifier Cellview form lets you include requirements from an existing Verifier cellview or create a new Verifier cellview. You can include the implementations and mappings if your source is an existing Verifier cellview or create a cellview from scratch. This form is similar to the Import Verifier Cellview Form.
The following table describes the fields of the Choose Verifier Cellview form.
| Field | Description |
|---|---|
|
This section provides options to specify the source settings for the cellview to be opened. |
|
|
If you specify a Cell or View that does not exist in the specified Library, the following options are enabled: |
|
|
Specifies if you want to import only requirements from a CSV file or Excel file. The Import Form is displayed. |
|
|
Specifies if you want to add only implementations from an existing cellview of the type The Edit Typical Value Setup Form is displayed. |
|
Related Topics
Edit Typical Value Setup Form
The Edit Typical Value Setup form lets you configure or modify the typical setup based on the current value of the variables, parameters, or model files from the selected implementation cellview. By default, only the global variables and parameters from the selected implementation cellview are shown in this form.
The following table describes the fields available in the Edit Typical Value Setup form.
Related Topics
Setting Up the Typical Value for Implementations
Export Mappings and Results for Requirements in Imported Files Form
The Export Mappings and Results for Requirements in Imported Files form lets you export the mappings and results for Requirements to a CSV or Microsoft Excel file.
The following table describes the fields of the Export Mappings and Results for Requirements in Imported Files form.
Related Topics
Export Mappings Form
The Export Mappings form lets you export the mappings between requirements and implementations to a CSV or Microsoft Excel file.
The following table describes the fields of the Export Mappings form.
| Field | Description |
|---|---|
|
Lets you specify an existing file or a new user-defined filename in CSV or Excel format. |
Related Topics
Export Requirements to CSV File Form
The Export Requirements to CSV File form lets you export the requirements in a Verifier cellview to a CSV file.
The following table describes the fields of the Export Requirements to CSV File form.
Related Topics
Export Requirements to Excel File Form
The Export Requirements to Excel File form lets you export the requirements in a Verifier cellview to a Microsoft Excel file.
The following table describes the fields of the Export Requirements to Excel File form.
Related Topics
Import Form
The Import form lets you include requirements from a CSV file or an Excel file. You can also include the implementations and mappings if your source is a Verifier cellview. You can include data by copying them or referencing them from the source.
The following table describes the fields of the Import form.
| Field | Description |
|---|---|
|
This section provides options to specify the source filename that contains the requirements you want to include during the import process. |
|
|
Includes the requirements from a CSV file. The File, Rows, Header Columns, and Get Contents From File group boxes are displayed. |
|
|
Includes the requirements from a Microsoft Excel file. The File, Sheet, Rows, Header Columns, and Get Contents From File group boxes are displayed. |
|
|
This section provides options to specify the settings for importing Excel sheets. |
|
|
Displays the sheets in the Excel file that will be imported. By default, all sheets are included. This option is displayed when you click Excel file. The default is All. The value changes when you deselect one of the sheets from the Sheets in File group box. |
|
|
Retrieves all the non-empty sheets that are available in the Excel file specified in the File group box. The included sheets are displayed in the Sheets in File group box. |
|
|
Lets you select one or more of the listed sheets that are retrieved from the specified Excel file. |
|
|
Lets you select all the non-empty sheets in the Excel file that contains the requirements you want to include. This option is displayed when you select Excel file and click Get Sheets and the specified file contains non-empty sheets. |
|
|
Lets you deselect all the non-empty sheets in the Excel file. |
|
|
This section provides options to specify the valid rows of requirements to be imported. |
|
|
Displays when you click CSV or Excel file and then choose Get header definition from row. Specify the number of row that contains the headers of requirements. By default, Verifier chooses one top header row to be ignored and none of the bottom most rows to be ignored. |
|
|
Specifies if any rows that contain invalid properties must be ignored during the import process. |
|
|
Uses the row preceding the header as composite header. The data in folded format is converted into composite requirement structure based on the composite header specified in the file. This option is displayed only when you select the Excel file format for import. Selecting this option disables the Map source columns to Verifier requirement headers option. |
|
|
This section provides options to specify settings related to headers from the imported file and the requirements available in the cellview. |
|
|
Select the row in the source file that contains the headers of the requirements. The headers in the source file must map to the Verifier headers in the given sequence:
When you add the custom fields from Excel and CSV files and use the Get header definition from row option, the second value specified for the field definition is used to define the header column. For details, refer to Specifying Values for Custom Fields.
|
|
|
Select to map the source columns to the Verifier requirement columns. You can choose the number of columns to be included from the Number of Columns to Be Loaded group box. You can then map the column number in the source file to the Verifier requirements headers using the mapping table. |
|
|
This section provides options to specify the valid rows of requirements to be imported. This group box is displayed when you select CSV file or Excel file in the File group box and then click Map source columns to Verifier requirement headers. |
|
|
Lets you specify the number of columns that must be loaded into the Verifier session. The headers of these columns are the key fields from the specified file that are used to create requirements. By default, Verifier is set to import the data from the first nine columns of the source file for the following nine requirement headers.
You can modify the number of columns as well as the column that must be loaded from the imported file. |
|
|
Displays all the non-hidden and mapped columns from the first selected or non-empty Excel sheet. The headers of these columns are the key fields from the specified file that are used to create requirements. |
|
|
This section provides options to view and validate the top-most rows of data from the specified file. |
|
|
Lets you view some rows in the source file to ensure that you have specified the correct file and mapping details. The number of rows that will be shown in this field is Header Row + This option is displayed when you click CSV file or Excel file. |
Related Topics
Importing Requirements from File
Import from SDB File Form
Use the Import from SDB File form to import setups from one or more files into the Setup Library.
The following table describes the fields of the Import from SDB File form.
Related Topics
Exporting and Importing SDB Setups
Import Verifier Cellview Form
Use the Import Verifier Cellview form to select and add multiple implementation cellviews to the current Verifier session.
The following table describes the fields of the Import Verifier Cellview form.
Manage Imported Files Form
Use the Manage Imported Files form to add, open, delete, and set cellview and file references to be used as the source of requirements and implementations in the current Verifier cellview.
The following table describes the fields of the Manage Imported Files form.
Preferences Form
The Preferences form lets you customize Verifier. It organizes the preference options in the following tabs.
The following table describes the tabs available in the Preferences form.
The settings you save in the Preferences form apply to the Verifier session. When you save the session information in a Verifier cellview, the preferences are also saved with the cellview.
In contrast, when you open the Verifier cellview in read-only mode, while you can make changes in the preferences, you cannot save these preferences with the cellview. These modified preferences are only applicable in the current session. When you close this read-only cellview or switch to the edit mode, these preferences are reset.
You can also customize Verifier using its environment variables. Many options in the Preferences form have corresponding environment variables. However, some options can be set only through the environment variables. For example, the Custom Data tab becomes available in the Preferences form only when you set the related environment variable customFieldConfig.
General
The following table described the preference options that are available on the General tab.
| Option | Description |
|---|---|
|
This section provides options to let you specify the search order to be used for specifications. |
|
|
Check if the specification values set in the requirements match the specification values set in the corresponding implementations. If the values match, Verifier uses those values to determine the verification status of the requirement. Otherwise, the specification check for that requirement fails.
Environment Variable: reqspecscheckunits |
|
|
Use the specification values set in the requirements to determine their verification status. If a requirement does not have any specification values, use the values set in the mapped implementations. Environment Variable: reqspecs |
|
|
Use the specification values set in the implementations to determine the verification status of the mapped requirements. If an implementation does not have any specification values, use the values set in the requirement mapped to that implementation. Environment Variable: reqspecs |
|
|
Select this option to check if the specification units set in the requirements and their corresponding implementations match.
Environment Variable: reqspecscheckunits |
|
|
Specifies settings of the metric prefix for specification comparison and evaluation. If enabled, the metric prefix from the specification unit is used for specification comparison and evaluation.
For more information, see Evaluation of Metric Prefix. Environment Variable: evaluateMetricPrefix |
|
|
The following options let you specify the coverage settings. |
|
|
Ensures that weighted average is used to calculate coverage hierarchically. Environment Variable: weightedAverageForCoverage |
|
|
Enables result reporting for verification space parameter conditions. Environment Variable: resultForSpaceCoverage |
|
|
The following option lets you specify the user-specific settings. |
|
|
Specifies the current user name that Verifier should consider when processing requirements with owners. The current user name is also the default owner of new requirements. By default, Verifier displays the login identity of the current user in this field. If required, you can change the user name. |
Planning
The following table describes the options you can set for implementation runs from the Planning tab.
You can access the features to run and monitor simulations from the Run tab of Verifier.
| Option | Description |
|---|---|
|
This section provides options to specify commonly used planning settings. |
|
|
Indicates the record mapped with the record currently highlighted by the mouse cursor. When this option is enabled, you can view the implementation mapped with a requirement by placing the pointer over the requirement. That requirement and the mapped implementation are highlighted in light gray. Similarly, you can place the pointer over the implementation to highlight the mapped requirement. Environment Variable: enablecrossselection |
|
|
Ensures that a requirement can be mapped to only one implementation. Environment Variable: mappingonetoone |
|
|
Create requirements for outputs with no specification values |
Ensures that a requirement is created for outputs for which you have not specified any specification values. Environment Variable: createRequirementsWithNoSpec |
|
Include disabled run, reliability, test, or output for implementation |
Includes disabled tests when you import implementations. If you select this check box and choose Show – Disabled in the Requirements pane, it loads all enabled and disabled runs, reliability analyses, tests, or outputs. If this check box is not selected, it loads only enabled runs, reliability analyses, tests, or outputs. Environment Variable: importDisabledTests |
|
Allow editing the enabled or disabled state for implementation run or test |
Enables editing of the enabled or disabled state for implementation runs or tests. |
|
This section provides options to specify the expiration limit for implementation results. |
|
|
Specifies the implementation as outdated when the results are older than the specified expiration period.
You can specify the value as
By default, Verifier displays Environment Variable: impresexpperiod |
|
|
This section provides options to select Monte Carlo statistical outputs during simulation runs. |
|
|
Environment Variable: displayStress |
|
|
Environment Variable: displaymean |
|
|
Environment Variable: displaystandarddeviation |
|
|
Environment Variable: displaycpk |
|
|
Environment Variable: displaymin |
|
|
Environment Variable: displaymax |
|
|
Environment Variable: displaysigmatotarget |
|
|
This section provides options to specify settings for reliability outputs. |
|
|
Displays the reliability outputs for fresh tests. Environment Variable: displayFresh |
|
|
Displays the reliability outputs for stress tests. Environment Variable: displayStress |
|
|
Displays the reliability outputs for age tests. Environment Variable: displayAge |
|
|
Displays the reliability outputs for all ages. Environment Variable: displayRelOutputAges |
|
|
Displays the reliability outputs for the last age. Environment Variable: displayRelOutputAges |
|
Run
The following table describes the options you can set to run and monitor simulations from the Run tab.
| Option | Description |
|---|---|
|
This section provides options to specify miscellaneous settings for simulation runs. |
|
|
Runs implementations in debug mode, where the implementation interface, such as ADE Assembler, is displayed to help monitor the runs. When you select this option and run simulations, the ADE Assembler interface stays open. Environment Variable: impuimode |
|
|
Creates a datasheet at run time or reload time. This datasheet is saved and referenced only when you create the HTML report in Verifier. Environment Variable: autoCreateDataSheet |
|
|
This section provides options to specify custom history names. |
|
|
Adds the current date as a suffix to the history name.
If enabled, the history name is saved in the format |
|
|
Adds the current time as a suffix to the history name.
If enabled, the history name is saved in the format |
|
|
This section provides options to check histories in ADE Verifier and ADE Assembler. |
|
|
Performs implementation runs and loads external results only if there are changes since the last run. Environment Variable: usereportidenticalhistory |
|
|
Performs checks on the Assembler setup and test states. This option is enabled by default. |
|
|
Performs checks on schematic and configuration views for each test. |
|
|
Performs checks for model and definition files. Verifier runs implementations based on the settings in the Check the following items group box. |
|
|
This section provides options to specify settings for defining environment variables. |
|
|
Lets Verifier use the OverrideValue for running simulations. |
|
|
Specifies the type of the environment variable. Possible values: string, int, boolean, cyclic, float, toggle. |
|
|
Specifies the currently used value of the environment variable set through the |
|
|
Specifies the value of the environment variable used for the simulation in ADE Verifier. This value overwrites the current value before running a simulation and restores the current value after the simulation is complete. |
|
Distribution
The following table describes the options to generate and display verification reports. You set these options from the Distribution tab of the Preferences form.
You access verification results from the Results tab of Verifier, and HTML reports from the Tools menu.
| Option | Description |
|---|---|
|
This section provides options to specify global settings for managing simulation runs using run setups. |
|
|
Specifies the name of the run setup that controls the rest of the fields in the Run Controls group box. It loads existing run setups from the |
|
|
Saves the specified settings in the Run Controls group box as a run setup to the |
|
|
Specifies the maximum number of implementations that can run in parallel per Verifier session. Running multiple implementations in parallel might require more resources. Therefore, consider your system capabilities when increasing the maximum number.
The default value of this field is Environment Variable: simparallelcount |
|
|
Specifies the maximum number of external
Running multiple batch runs in parallel can require more resources. Therefore, consider your system capabilities when increasing the maximum number.
The default value of this field is |
|
|
Specifies the external program to use when running Virtuoso with Batch Run. For new cellviews, this field is populated from the environment variable settings. Existing cellviews use the setting in the preferences. bsub -K -P "IC:6.1.8:RD:test" -R "select[OSREL==EE60]" -R "rusage[mem=3000]" -W 200:0 -sp 50 -o /tmp/bsub_job_$$ virtuoso To know more, see Distributing Batch Simulation Runs. The value of this field is also used for other Virtuoso processes started by Verifier, such as child processes started in the project directory setup. To know more, see Histories from the Project Directory Setup. Environment Variable: binaryName |
|
|
Specifies the number of times Verifier retries running a failed simulation. Clicking the Stop button cancels the specified retries. Environment Variable: numberOfRetries |
|
|
Specifies the retry time threshold for a failed simulation run in the
The simulation is retried only if the time taken by the previous simulation is less than the specified value. The default is A few examples of the time format are as follows:
Environment Variable: retryTimeThreshold |
|
|
Overrides the job control mode of all the implementations with the mode selected from the drop-down list. Environment Variable: impJobControlMode |
|
|
Overrides the simulation job policy for all the implementations that use the ICRP and LSCS modes. Environment Variable: impjobpolicy |
|
|
Overrides the netlisting job policy for all the implementations that use LSCS mode. Environment Variable: impNetlistingJobPolicy |
|
|
This section provides options to specify settings related to estimated run time of simulations. |
|
|
Displays the estimated run time in seconds. Environment Variable: estRunTimeDisplayFormat |
|
|
Displays the estimated run time as formatted time. Environment Variable: estRunTimeDisplayFormat |
|
|
Enables the automatic updating of the EstRunTime values after simulation runs are triggered from Verifier. |
|
Reporting
The following table describes the options to generate and display verification reports. You set these options from the Reporting tab of the Preferences form.
You access verification results from the Results tab of Verifier and HTML reports from the Tools menu.
| Option | Description |
|---|---|
|
This section provides options to specify settings for creating and opening verification reports. |
|
|
Creates all the enabled reports automatically after each interactive run is completed, or when a data update process is completed after external changes are found. Environment Variable: autocreatereports |
|
|
Overwrites HTML reports without any prompts for confirmation. Environment Variable: overwritereports |
|
|
Creates the ADE Assembler or ADE Explorer datasheets of the implementation cellviews from their history and link the datasheets to the HTML report generated by Verifier. You can click the links in the HTML report to access the datasheets.
It is possible that Virtuoso Visualization and Analysis XL (ViVA) windows open during the HTML report generation because of the datasheet creation process. You can close the ViVA windows.
Environment Variable: linkdatasheets |
|
|
Append implementation information to the created HTML report |
Displays mapping information for the implementations in the HTML report. |
|
This section provides options to specify report generation settings. |
|
|
You can specify the report filename and location in the associated field. If you do not specify this information, Verifier uses the default filename, VerifierCellviewName Environment Variable: createbatchhtmlreport, batchhtmlreport |
|
|
This section provides options to specify the settings for saving HTML reports. |
|
|
Path to the directory where the HTML report is saved. You can specify the report directory in the associated field. If this information is not specified, the default directory path is set to ./lib_cell_view. Environment Variable: useTemplate, htmlReportDirectory |
|
|
Customizable suffix format appended to the report directory name to indicate date and time.
This field can contain only alphanumeric characters, ' The default format yyyyMMdd_HHmmss appends currentDate_currentTime to the directory name. Environment Variable: useTemplate, dateTimeSuffixFormat |
Setting Virtuoso ADE Verifier Preferences
Verifier Environment Variables
Specifying Values for Custom Fields
Running and Stopping a Batch Script
Hierarchy for Referenced Cellviews
Save As Form
Use the Save As form to specify the library, cell, and view while saving an existing cellview.The form lets you use filers and categories. It offers the auto-complete text feature when you type some text in a field. If you type invalid text, the input box gets highlighted in red. You can select only a valid view name in the form.
The following table lists the fields available in the Save As form.
| Form | Objective |
|---|---|
Set Requirement Owners Form
The Set Requirement Owners form lets you specify the owner name of the selected requirements. Use this form to set the same owner for multiple requirements, instead of specifying the owner for each of those requirements.
Related Topics
Sign Off Form
The Sign Off form lets you sign off the requirements of the type Manual, and the requirements that failed verification.
The following table describes the fields of the Sign Off form.
Related Topics
Typical Value Setup Form
The Typical Value Setup form lets you display the typical setup including the variables, parameters, and model files that are used to match the unique typical point for all implementations.
The following table describes the fields available in the Typical Value Setup form.
Related Topics
vManager Setup Form
The vManager Setup form lets you specify the settings to manage a vManager connection in the current Verifier session.
The following table describes the fields of the vManager Setup form.
Related Topics
Return to top