---

Contents

---

1

Introduction to Virtuoso SystemVerilog Netlister

Licensing Requirements

Benefits of SystemVerilog Netlister

Benefits of SystemVerilog Netlister over NC Verilog Netlister

Prerequisites for Using SystemVerilog Netlister

Launching SystemVerilog Netlister

SystemVerilog Netlister Batch Mode

SystemVerilog Config Views

Migrating SystemVerilog Integration Designs to SystemVerilog Designs

2

Netlist Generation

Netlist Generation Flow in SystemVerilog Netlister

Specifying a Design for Netlist Generation

Configuring Netlist Generation Options

Configuring Design Variables

Generating and Regenerating a Netlist

Viewing a Netlist

State Management

ATPG Compatible Verilog Netlists

Generating ATPG Compatible Verilog Netlists

Importing a SystemVerilog Package File

Specifying Additional xrun Arguments in SystemVerilog Netlister

DataType Propagation

Netlist Customization Using the .simrc File

A

SystemVerilog Netlister Forms

Additional Arguments Form

Editing Design Variables Form

Load State Form

Save State Form

Select Design/Directory Form

SystemVerilog Netlister Graphical User Interface

SystemVerilog Netlister Options Form

Netlister Tab

Miscellaneous Tab

Verilog Tab

B

Environment Variables

addArgTableList

addPrefixToCells

cellPrefixName

createXrunArgs

createXrunBinding

defaultNettype

enableDataPropagate

enableVerilogATPG

expandIterateInst

enableTimeScale

hdlVarFile

isPortInANSIFormat

mergedNetlist

nettypesToIgnore

refLib

reUseHdlCompilationSetup

simPrecision

simPrecisionUnit

simTime

simTimeUnit

termMismatch

termDirectionMismatch

useTranForCdsAliasThru

vlogCompatVersion

vlogSupply0Sigs

vlogSupply1Sigs

C

SKILL Functions and Flags

SKILL Functions

asiDigitalSimAutoloadProc

simDeRegPostNetlistTrigger

simDeRegPreNetlistTrigger

simPostNetlistTriggerList

simPreNetlistTriggerList

simRegPostNetlistTrigger

simRegPreNetlistTrigger

SKILL Flags

D

Batch Mode Options in SystemVerilog Netlister

runsv

cdsCreateConfig

si2runsv

Return to top