Index
Symbols
,... in syntax

... in syntax

[] in syntax

{} in syntax

/ in syntax

| in syntax

A
abutment

active layers

algorithms,LVS

alignment modifiers

AnalJobMonitor

analyzing parameters

,

antenna checks

app modifier

apposition

arcs

area check

area mode, in DRC

,

area processing

area, specifying

arrays

attachParasitic command

avSwitch

B
backannotation

,

executing

limitations

background, running Diva in

batch mode

prerequisites

bends

,

measurement

,

resistance

bipolar devices and processing

Bipolar rules file

black box

blocks

edges

example

braces in syntax

brackets in syntax

building logic gates

C
Cadence environment

Calculate command

deriving a single measurement

storing results

calculateParameter command

,

relation to calculateParameter

relation to measureParameter

relation to measureParameter command

deriving a single measurement

storing results

calculateParasitic command

calculation functions

figure measurements for attachParasitic

,

relation to measureParasitic

,

relation to saveParasitic

on options forms

on standard form

junction

capacitance, distributing evenly

capLimit (optional argument)

cell exclusion

cell inclusion

Cell-Based Options command

adding run mode property

changed

,

ignoring

cellviews

extracted

,

schematic

,

change layer

changedLayer

changeLabel command

,

overview

check area

creating

checkAllLayers command

checkConnected command

,

checkDeviceNetCount command

,

checkFanOut command

,

checkFloatingDevices command

,

checkFloatingNets command

,

area

by properties

complex

data integrity

design rules

dimensional

electrical rules

enclosure

flat

DRC form

ERC form

Extract form

full

hierarchical

incremental

layer

networks

by area

full

incremental

checkLayer command

checkNotConnected command

,

checkOneNetDevices command

,

checkOneTerminalNets command

,

checkPoint command

,

checkPullDown command

,

checkPullUp command

,

checkPullUpAndDown command

,

checks, electrical

circuit netlist

CMOS rules file

combining shapes on input layers

attachParasitic command

Calculate command

calculateParameter command

calculateParasitic command

,

Cell-Based Options command

,

changeLabel command

,

checkAllLayers command

checkConnected command

,

checkDeviceNetCount command

,

checkFanOut command

,

checkFloatingDevices command

,

checkFloatingNets command

,

checkLayer command

checkNotConnected command

,

checkOneNetDevices command

,

checkOneTerminalNets command

,

checkPoint command

,

checkPullDown command

,

checkPullUp command

,

checkPullUpAndDown command

,

compareDeviceProperty

compareDeviceProperty command

,

compareFet command

compareRes command

complexParasitic command

copyGraphics command

DisplayErrors command

displayFeedBackLoops command

,

displayGateErrors command

,

DRC command

drc(coverage) or coverage function in the drc command

drcAntenna command

,

drcCreateLogFile

drcDenseLineEnd command

drcLogFile

drcZeroHalo

dubiousData command

,

ERC command

errorLayer command

Extract command

extractBJT command

extractCAP command

extractDevice command

,

,

extractDIODE command

extractRES command

geomAnd command

,

geomAndNot command

geomArrayShapes command

geomAvoiding command

geomBkgnd command

geomButting command

geomButtOnly command

geomButtOrCoin command

geomButtOrOver command

geomCellBoundary command

geomCoincident command

geomCoinOnly command

geomContactCheck command

geomEmpty command

geomEnclose command

geomErase command

geomExtent command

geomGetAdjacentEdge command

geomGetAngledEdge command

geomGetBBox command

geomGetByLayer command

geomGetCorner command

geomGetCoverage command

geomGetHoled command

,

,

,

,

geomGetLength command

geomGetMacro command

,

geomGetNet command

geomGetNon45 command

geomGetNon90 command

geomGetNonRectangle command

geomGetObject command

geomGetPolygon command

geomGetPurpose command

,

,

geomGetRectangle command

geomGetTexted command

geomGetUnHoled command

geomGetUnTexted command

geomGetVertex command

geomGrow

geomGrowCorner command

geomHoles command

geomInside command

geomNodeRelate command

geomNoHoles command

,

geomNot command

geomOr command

geomOutside command

geomOverlap command

geomSepOutside command

geomSize command

geomSizeAnd

geomSizeAndNot

geomSizeInTub

geomStamp command

geomStraddle command

geomStretch command

geomStretchCorner command

geomWidth command

geomXor command

globalLabel command

,

groundNet

ignoreTerminal command

,

ivCallProc command

ivCreatePCells command

,

,

ivERC command

ivlf command

,

ivLVS command

joinableNet command

,

layer property commands

layerDefs command

LVS command

lvsOption command

macroCellFile command

Measure command

measureFringe command

,

,

measureParameter command

,

,

measureParasitic command

,

measureResistance command

,

multiLevelParasitic command

nesting command

nmaeParameter command

offGrid command

oneWayPath command

,

optimizing

parallelMOS command

parallelRes command

parameterMatchDegree

parameterMatchType command

permuteDevice command

,

Probe command

pruneDevice command

,

removeDevice command

saveDerived command

,

saveInterconnect command

,

saveParameter command

saveParasitic command

,

,

saveProperty command

saveRecognition command

,

,

sep command

,

seriesRes command

setGround command

,

setInput command

,

setOutput command

,

setPower command

,

testDeviceProperty command

,

testGateProperty command

,

twoWayPath command

,

DRC command

ERC command

Extract command

LVS command

Probe command

compareDeviceProperty command

,

,

compareFet command

compareRes command

comparing layouts to schematics

,

deriving a single measurement

storing results

complexParasitic command

complexParasitic plus measureFringe

ConcICe

conics

checking

check one connection to circuit

connected layers

contact connection

counting

forming

geomConnect command

,

ground

input

output

power

to specific net

checks

defining

extraction

extraction limitations

pin connectivity

selecting shapes from net

area resistance

resistance models

user-defined arguments

user-entered text

data

shapes

copyGraphics command

corner modifier

cornerA modifier

cornerB modifier

corners, dead

cornerToCorner modifier

cornerToEdge modifier

cornerToEdgeA modifier

cornerToEdgeB modifier

correspondence points

,

file

form

improving error isolation

terminal names

coverage function in the drc command

cross coupling and fringe capacitance

cross-probe

,

currentCell switch name

D
integrity checks

manipulation

dead corners

default error region

on options forms

on standard forms

layers

derived layers

definition

example

in DRC

saveDerived command

,

saving

designed device

device recognition

layer

,

shapes

combining

comparing

comparing parameters

,

connected to nets

designed vs. parasitic

displaying

extraction

extraneous

requirements

schematics

turning on/off

floating

ignoring

,

ignoring for netlisting

ignoring terminals

instances

creating devices

measured values

measurements, saving

not connected

pairs

,

parallel

,

parameters

,

parasitic

probing

properties

,

pruning

,

reducing

,

AND and OR reduction

circuit netlist

series

,

simplifying

terminals

unmatched

diffNet modifier

diffNet option

dimensional checks

disk space reduction

display layers

DisplayErrors command

displayFeedBackLoops command

,

displayGateErrors command

,

devices

gate errors

loops

nets

displaying errors

distribution of capacitance

prerequisites

product flow

products

to

running

batch mode

interactively

remotely

running remotely

donut holes

,

Dracula to Diva Translator

conditional execution

enclosure checks

form

improving performance

log file

looking through the wall

operation modes

area

flat

full

hierarchical

incremental

properties

running

setting options

,

spacing checks

starting from UNIX

starting using SKILL function

area

enc

notch

ovlp

sep

sepNotch

width

DRC command

app

corner

cornerA

cornerB

cornerToCorner

cornerToEdge

cornerToEdgeA

cornerToEdgeB

diffNet

edge

edgea

edgeb

errorLimit

fig

figa

figb

length

lengtha

lengthb

message

normalGrow

notCorner

notParallel

only_perp

opposite

oppositeA

oppositeB

parallel

raw

sameNet

shieldCoin

shielded

shielded(layer)

shieldedA

shieldedB

squareGrow

wholeEdge

,

wholeEdgea

wholeEdgeb

with_perp

drc? switch name

,

command

processes and products used

rules file sample

drcAntenna command

,

drcCreateLogFile command

drcDenseLineEnd command

drcExtractRules( ) command

,

drcLogFile command

drcZeroHalo command

dubiousData command

,

E
edge booleans

edge format, defined

edge keyword (optional)

edge modifier

edgea modifier

edgeb modifier

adjacent

,

angle

apposition

butting

,

coincident

,

contiguous

,

DRC checking

facing

geomGetAngledEdge command

inside/outside

length

,

limit

,

not parallel

parallel

perpendicular

,

reducing

same net

selecting

,

selecting non-parallel edges

shapes

stretching

empty layers

enc check

enclosed shapes

checks

,

limits

measuring

Cadence

initializing

UNIX

environmental variables

ERC

to

defining connections

displaying errors

error output files

error report

explaining errors

form

generating netlist

invoking

log file

monitoring jobs

,

netlist file

network reduction

output file

probing devices and nets

processes and products used

running

setting options

showing run information

form

using

starting using SKILL function

ERC command

ercRules( ) command

error files

error layer

error report, displaying for ERC

errorLayer command

explaining

finding

excell

exclusive option

expanded mosaics

,

explaining errors

command

conditional execution

flat

form

incremental hierarchy

macro cell

running

setting options

starting from UNIX

starting using SKILL function

using

extract? switch name

,

extractBJT command

extractCAP command

extractDevice command

device recognition

example

ivpcell command

parasitic measurements

relation to attachParasitic command

relation to measureParameter command

relation to saveRecognition command

extractDIODE command

extracting

connectivity

devices

parameters

parasitic resistance

parasitics

bipolar technology

,

fracturing lines

hierarchical ?? to

incremental

macro cell

restrictions

tools

version of circuit

extractMOS command

,

device recognition

ivpcell command

measuring parameters

optimization

parasitic measurement commands

relation to attachParasitic command

relation to saveRecognition command

extractRES command

extraneous device removal

F
feedback loops

,

fig modifier

fig modifiers

figa modifier

figb modifier

automatic

manual

Remote Diva

.simrc

audit.out

,

chip.data

correspondence points

layout netlist

lvs.cpoint

minEnclosure

minNotch

minOverlap

minSpacing

minWidth

netlist

,

nlpglobals

prune.out

rsf

,

run-specific commands

,

schematic netlist

xref.out

fill patterns

finding vertices

flat mode (device extraction)

flat mode (DRC)

,

fly-lines

fnlSearchPropString

foreground, running Diva in

Add Correspondence Points

Analysis Job Monitor

Correspondence Points

Display Specific Correspondence Points

DRC

ERC

Extract

Initialize Environment

LVS

LVS Error Display

LVS Form Contents Different

,

options forms

Probing

Remove Correspondence Points

standard forms

fringe capacitance

calculating

defining a relationship

,

deriving a single measurement

fringe capacitance

rejecting measured values

,

sidewall capacitance

specifying limits

,

storing results

full hierarchical mode (device extraction)

full mode, in DRC

function keyword

function modifiers

geomLineEnd

G
building

creating

displaying errors

errors

forming

parameters

creating

testing

properties

reduction

,

reduction example

terminal

generating geometric shapes

geomAnd command

,

geomAndNot command

geomArrayShapes command

geomAvoiding command

geomBkgnd command

geomButting command

geomButtOnly command

geomButtOrCoin command

geomButtOrOver command

geomCellBoundary command

geomCoincident command

geomCoinOnly command

geomConnect command

,

device recognition

establishing connectivity

one via section

geomContactCheck command

geomEmpty command

geomEnclose command

geomEncloseRect command

geomErase command

geomExtent command

geomGetAdjacentEdge command

geomGetAngledEdge command

geomGetBBox command

geomGetByLayer command

geomGetCorner command

geomGetCoverage command

geomGetEdge command

geomGetHoled command

,

,

,

,

geomGetLayerBBox command

geomGetLength command

geomGetMacro command

,

geomGetNet command

geomGetNon45 command

geomGetNon90 command

geomGetNonRectangle command

geomGetObject command

geomGetPolygon command

geomGetPurpose command

parasitic measurements

geomGetRectangle command

geomGetTexted command

geomGetUnHoled command

geomGetUnTexted command

geomGetVertex command

geomGrow command

geomGrowCorner command

geomHoles command

geomInside command

geomLineEnd function

geomNodeRelate command

geomNoHoles command

,

geomNot command

geomOption

geomOr command

geomOutside command

geomOverlap command

geomSelectEdge command

geomSepOutside command

geomSize command

geomSizeAnd command

geomSizeAndNot command

geomSizeInTub command

geomStamp command

geomStraddle command

geomStretch command

geomStretchCorner command

geomWidth command

geomXor command

globalLabel command

,

overview

graphics layers, original

ground net, defining

groundNet command

overview

grouping commands

grow.
See
sizing

H
halo around checking area

halo value

hdrc boundary layer

hdrc property

on options forms

on standard forms

Hide button, on options forms

hierarchical mode, in DRC

,

limitations

hierarchical optimization

hierarchical processing, overview

LPE

analysis

design methodology

extraction ?? to

holes

,

holes in rectangles

I
if-then-else for ERC and LVS

ignoreTerminal command

,

ignoring cells

ignoring device terminals

inactive layers

inclusion/exclusion

incremental analysis

incremental hierarchical mode (device extraction)

incremental mode (DRC)

,

Inherited Connections

initializing environment

input layers, combining

shapes inside other shapes

inside/outside

installation instructions

interactive mode

,

prerequisites

interconnect

inverting shapes

ivCallProc command

ivCompilingFor

ivCreatePCells command

,

,

ivERC command

ivIncludeValue property

ivlf command

,

ivLVS command

ivpcell command

J
checking DRC progress

,

monitoring

,

priority

joinableNet command

,

overview

K
keywords

L
adding

adding to text layer

changing

changing names

label origin location

,

pin names

placement

rules

treating as if on top-level cell

layer property commands

layerDefs command

layers

active/inactive

conducting

connected

,

contact

deleting

derived

,

edge

empty

erasing

instance

interconnect

,

keeping unmerged

label

original graphics

polygon

saving

terminal

text

layouts, comparing

,

measuring

length modifier

lengtha modifier

lengthb modifier

Library Browser

,

lines, flagged as warnings

locating shorts

creating

log file, creating

log file, displaying for ERC

logical functions

logical operations, implied

looking through the wall

LPE, hierarchical

LVS

algorithms

backannotation, executing

command

adding

displaying

removing

defining extracted cellviews

defining schematic cellviews

merged nets

pruned devices

pruned nets

,

unmatched instances

,

unmatched nets

,

unmatched parameters

,

unmatched terminals

,

explaining errors

form

Inherited Connections

invoking

options

outputs

,

probing

,

probing devices and nets

processes and products used

running

setting options

setting search paths

showing run information

starting using SKILL function

using

LVS ambiguity file

LVS command

LVSAddCorrPoints

LVSCorrPoints

LVSDspCorrPoints

lvsOption command

LVSRemCorrPoints

lvsRules( ) command

,

LVSShowRunInfo

M
macro cell mode (device extraction)

to

,

macro cells

cell boundary

,

creating file of cell names

,

,

defining

extraction

,

geomGetMacro function

hierarchy, controlling

ivCellType property

LVS comparison

,

processing

macroCellFile command

marker layer

creating log file of shapes

listing all shapes

mask misalignment, simulating

mask registration displacement, simulating

master cell

,

matching nets

Measure command

measured figures, association with device figure

measureFringe command

,

,

measurement commands

,

consolidation criteria

creating

defining property names

higher than real value

manipulating

mathematical operators

mathematical precedence

mixing measurements

rejecting calculated values

sharing values

storing

,

bends

calculator

changing square microns to farad capacitance

optimization techniques

parameter

parasitic

saving

SPICE requirements for area

deriving a single measurement

storing results

measureParameter command

device characteristics

example

relation to calculateParameter command

measureParasitic command

measurement process

name limit

prerequisite to attachParasitic

prerequisite to saveParasitic

relation to calculateParasitic command

measureResistance command

,

output layer

general description

slider menus

,

Verification

,

Verify

from a layout window

from a schematic window

merged data, defined

merged output

shapes

merging all shapes

message modifier

models, defining

gate measuring

grouping

,

mouse, using

multi-edged polygons

deriving a single measurement

storing results

multiLevelParasitic command

multiplication factor for coupling effects

N
nameParameter command

negative sizing

nesting commands

Diva support

schematic

spice

device type definition

device type line

format

generating for ERC

generating for LVS

generating new netlist

instance line

LVS program

parasitic devices

working file

,

changing names

finding

floating

labeling

matching

measurements, saving

merging

,

names

,

names, changing

numbers

,

probing

checking connectivity

terminal processing

nlAction property

,

NLPcompleteElementString

NLPcreateModelString

NLPElementPostamble

,

nlpExpr

nlpglobals

,

NLPModelPreamble

,

normalGrow modifier

normalGrow spacing methodology

notch check

notCorner modifier

notParallel modifier

npn transistor

O
offGrid command

OK button, on standard forms

one-way paths

oneWayPath command

,

only_perp modifier

Open Simulation System (OSS)

operators, precedence

opposite modifier

oppositeA modifier

oppositeB modifier

optimizing commands

options forms

Or-bars in syntax

original graphics layers

output file, displaying for ERC

error files

LVS ambiguity file

working and information files

output modifiers

outside edges

calculateParameter

calculateParasitic

complexParasitic

measureParameter

measureParasitic

multiLevelParasitic

checks

shapes

,

ovlp check

P
parallel modifier

parallel reduction

,

parallelMOS command

parallelRes command

parameterMatchDegree command

parameterMatchType command

analyzing

,

calculated values

,

comparing

to

consolidating

,

extracting

IL functions

limit

LVS

manipulating

measured values

,

measurement commands

,

of reduced devices

parameter measurement

,

saves parameter properties

,

parasitic devices

,

creating

defined devices

ignoring for netlisting

measuring shapes

model definition

polarized option

versions

parasitic measurements

associating net numbers

deriving a single measurement

mixture

rejecting measured values

storing results

summing measurements

parasitic resistance

calculating polygons

circuit interconnect extraction

current flow

distributing capacitance value

extracting

extracting an R-C network from an interconnect layer

interconnect layer resistivity

naming a device model

naming R-C models

netlisting devices

netlisting R-C models

,

network

path resistance

processing a layer

property containing resistor value

providing a device library element

reducing the network

removing low value resistors

saving resistor body shapes

specifying capacitance parameters

specifying contact resistance parameters

calculating

defining

extracting

figure option

manipulating

measuring parasitic properties of shapes

net option prerequisite

node options requirement

saving

,

storing

paths

checking

one-way

two-way

pattern recognition mode, in DRC

netlister

device type line

instance line

parameters

permutation, complex

,

permuteDevice command

,

,

series and parallel options

,

permuteRule command

,

pin instances

names, changing

permutability

physical

processing

placing labels

conics and paths expanded into

device recognition

multi-edged

polygon and edge

relation to geomAnd function

relation to geomAndNot function

power/ground

PRE (Parasitic Resistance Extraction)
contacts

extraction and reduction process

prerequisites for Diva

Probe command

devices for nets

devices or nets

nets for devices

errors

information

ERC options

explaining errors

,

LVS

LVS options

removing

devices for nets

nets for devices

processing pins

changeLabel command

comparing

device characteristics

fix

instancesLastChanged

ivCellType

ivIncludeValue

,

minEnclosure

,

minNotch

minOverlap

minSpacing

minWidth

nlAction

,

NLPElementPostamble

NLPModelPreamble

parameters

permuteRule

,

recognitionShape

saving

pruneDevice command

,

load/logic structure

non-traceable paths

,

non-traceable to power or ground

R
raw data, defined

raw modifier

defining

selecting

,

zero-width

disk space

gates

,

MOS example

parallel

,

run times

series/parallel

,

region

registration modifiers

regular expression wildcards

relational functions

exclusive option

Remote Diva

file mapping

prerequisites

setting up machines

removeDevice command

,

removing devices

removing layers

resistors

Return key

,

automatic

creating

default file name

derived layers, specifying

DRC/Extraction sample

ERC rules

ERC sample

grouping commands

LVS rules

LVS sample

nesting commands

supporting the Diva and Assura products

rules, switching

run

run directory

overriding on cells

runs, saving partial

DRC

Extract

run-specific file example

S
sameNet modifier

sameNet option

saveDerived command

,

saveInterconnect command

,

saveParameter command

associating device characteristics

parameter manipulation

relation to calculateParameter command

relation to measureParameter command

similar to attachParasitic

saveParasitic command

,

,

relation to measureFringe

,

,

,

,

saveProperty command

saveRecognition command

,

,

derived layers

device recognition polygons

layers

partial runs

properties

scaling

schematics, comparing

endpoints

selection functions

self-intersecting paths

sep check

sep command

,

separation spacing methodology

sepNotch check

series reduction

,

series/parallel reduction

,

seriesRes command

Set Options menu, user ability settings

setGround command

,

setInput command

,

setOutput command

,

setPower command

,

shapes

to

abutting or coincident shapes

changing dimensions

coincident

,

conics

copy

edge-to-edge coincidence

enclosure

,

interconnect

,

invalid

invalid, highlighting

inverting

merged

,

merging all

negative sizing operation

new

,

generating

no overlap at abutment

coincident edges

edge-to-edge coincidence

enclosed shapes

new shapes from overlap

no overlap at abutment

overlapping shapes

paths

selection by geomButtOrCoin

selection by geomGetAngledEdge

selection by geomGetPolygon

,

selection by geomOverlap

self-intersecting

separation

sizing

to

straddling

synonymous with polygon

texted

vertex

width checking

shieldCoin modifier

shielded modifier

shielded(layer) modifier

shieldedA modifier

shieldedB modifier

display layers

si.env file

si.log file

si.out file

simple wildcards, using

simulation requirements

simulator support

sizing

to

edges

functions

negative

oversize

positive

undersize

using to run Diva

routines

,

using to run Diva

,

SKILL access

SKILL functions, syntax conventions

soft layer connections

source drain

,

spacing checks

,

special characters, example

SQUARE check

squareGrow modifier

squareGrow spacing methodology

straddling shapes

edges

negative

positive

svia, connecting

byArea?

currentCell

currentCell?

echoOn?

flat?

full?

hier?

ignoreMissingMasters?

joinNet?

macro?

optimize?

topCell?

syntax conventions

T
terminals

,

back-gate

correspondence points

,

definition

gate

ignoring

,

processing

testDeviceProperty command

,

testGateProperty command

,

devices

example

gates

labels

labels, adding

layers

strings

Tools menu

ground

,

power

,

transition resistance

transition, width change

translating Dracula files

truncation

twoWayPath command

,

U
undersizing

environment

,

running Diva

,

running Diva in batch mode

,

User Preferences form

user units

V
variables, environmental

DRC

displaying log files

setting job priorities

showing run information

,

showing status

,

defining cellviews

displaying log files

probing

,

setting job priorities

showing status

creating file

creating file for DRC/Extract

creating file for ERC and LVS

sample file for ERC

sample file for LVS BIPOLAR

sample file for LVS CMOS

Verify menu.
See also
commands
using

Verify menu.
See also
commands
using

vertex

checks

finding

vertical bars in syntax

vias, connecting

W
wells, checking electrical integrity

wholeEdge modifier

,

wholeEdgea modifier

wholeEdgeb modifier

width check

wildcards

limitations

with_perp modifier

working and information files

Z
paths

rectangles

Return to top