Product Documentation

Virtuoso Unified Custom Constraints Configuration Guide
Product Version IC23.1, September 2023

Contents

1

Customizing Constraint Types Using a Configuration File

Licensing Requirements

Licensing Requirements for Virtuoso Unified Custom Constraints

Licensing Requirements for PVS-CV

An Introduction to a Configuration File

Understanding the XML Tags Used in a Configuration File

Name (Constraint Type Name)

GUIName (Constraint Type Display Name)

CustomSimulationCheckCB

AllowedMemberTypes

IgnoreConstraintType

Extending System Constraint Types

During a Virtuoso Session

Creating and Overriding Custom Constraint Types

Creating New Custom Constraint Types

Overriding Existing Custom Constraint Types

Creating New Versions of a Constraint Type

Using Multiple Constraint Configuration Files

Using Validation and Verification Callbacks

Validating Constraints

Verifying Constraints Consistency

Best Practices for Custom Constraint Type Definitions

Adding a New Icon to the Constraint Manager Assistant

Propagating Constraints to the Checks/Asserts Assistant

Examples of Using the config.xml File

Example 1: Extending an Existing System Constraint Type

Example 2: Creating a New Custom Constraint Type

Example 3: Overriding an Existing Custom Constraint Type

2

Customizing the Circuit Prospector

PDK Setup for the Circuit Prospector

Creating Custom Constraint Generators

Registering a Custom Constraint Generator

Constraint Template Storage

Setting Widget Properties in Constraint Generator Arguments

Creating New Iterators

Creating New Finders

Creating a New Finder Using the Edit Finder Form

Creating a New Finder Using SKILL API

Creating New Categories

Category Creation Example

Loading Customized Startup Files On Demand

3

Editing Constraints Using External Editors

Using Cadence-Provided External Constraint Editors

Using a Custom Constraint Editor

Configuring to Open Constraint Editor on Double-Click

⠀ X