Model Technology Model Sim EE Manual de usuario

ModelSimXEUser’s ManualVersion 5.3The Ultimate Tool for VHDL or Verilog Simulation

10 - Table of Contents ModelSim Xilinx User’s ManualProject operations . . . . . . . . . . . . . . . . . . . .

Virtual Objects (User-defined buses, and more)6-100 Multiple logfiles, datasets and virtuals ModelSim Xilinx User’s ManualVirtual Objects (User-defi

Virtual Objects (User-defined buses, and more)ModelSim Xilinx User’s Manual Multiple logfiles, datasets and virtuals 6-101Virtual signalsVirtual sign

Virtual Objects (User-defined buses, and more)6-102 Multiple logfiles, datasets and virtuals ModelSim Xilinx User’s Manualwhose definition is stored

Logfile and virtual commands reference tableModelSim Xilinx User’s Manual Multiple logfiles, datasets and virtuals 6-103Virtual typesUser-defined enu

Logfile and virtual commands reference table6-104 Multiple logfiles, datasets and virtuals ModelSim Xilinx User’s Manualvirtual nolog (CR-130) cause

ModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-1057 - ModelSim XE Graphic InterfaceChapter contentsWindow overview . . .

Window overview7-106 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualWindow overviewThe ModelSim simulation and debugging environment con

Window featuresModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-107Window featuresModelSim’s graphic interface provides many features th

Window features7-108 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual• The transcript window now includes an edit popup menu activated v

Window featuresModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-109• Drop items into these windows:List and Wave windowsNote: Drag and

ModelSim Xilinx User’s Manual Table of Contents - 11Compilation . . . . . . . . . . . . . . . . . . . . .

Window features7-110 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualFinding names, and locating cursors• Find HDL item names with the E

Window featuresModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-111Tree window hierarchical viewModelSim provides a hierarchical, or &qu

Window features7-112 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualViewing the hierarchyWhenever you see a tree view, as in the Structu

Main windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-113Main windowThe Main window is pictured below as it appears when VSIM is f

Main window7-114 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe Main window menu barThe menu bar at the top of the Main window lets

Main windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-115Edit menuDesign menuOptions(all options are set for the current session

Main window7-116 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualView menuRun menuAll open all VSIM windowsSource open and/or view the So

Main windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-117Macro menuOptions menuWindow menuExecute Macro allows you to browse for a

Main window7-118 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualHelp menuSaving the Main window transcript fileVariable settings determi

Main windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-119with the Save Main selection. Since no automatic saves are performed for

12 - Table of Contents ModelSim Xilinx User’s ManualVirtual signals . . . . . . . . . . . . . . . . . . . . .

Main window7-120 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualCopycopy the selected text within the Main window transcriptEdit > Co

Main windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-121The Main window status barFields at the bottom of the Main window provide

Main window7-122 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manualdisplayed in the Source window and all Notepad windows (enter the notepa

Main windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-123The Main window allows insertions or pastes only after the prompt, theref

Dataflow window7-124 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualDataflow windowThe Dataflow window allows you to trace VHDL signals

Dataflow windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-125The Dataflow window menu barThe following menu commands and button op

Dataflow window7-126 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualTracing HDL items with the Dataflow windowThe Dataflow window is lin

Dataflow windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-127Saving the Dataflow window as a Postscript fileUse this Dataflow wind

List window7-128 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualList windowThe List window displays the results of your simulation run i

List windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-129The List window menu barThe following menu commands and button options ar

ModelSim Xilinx User’s Manual Table of Contents - 13Process window . . . . . . . . . . . . . . . . . . . . .

List window7-130 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualMarkers menuProp menuWindow menuAdd Marker add a time marker at the top

List windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-131Setting List window display propertiesBefore you add items to the List wi

List window7-132 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe Triggers page includes the following options:• Deltas:Expand Deltas

List windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-133Window Properties pageThe Window Properties page includes these options:•

List window7-134 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualAdding HDL items to the List windowBefore adding items to the List windo

List windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-135To use the format (do) file, start with a blank List window, and run the

List window7-136 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualSignal Properties dialog box allows you to set the item’s label, label w

List windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-137• Trigger: Triggers lineSpecifies that a change in the value of the sele

List window7-138 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualExamining simulation results with the List windowBecause you can use the

List windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-139Finding items by name in the List windowThe Find dialog box allows you to

14 - Table of Contents ModelSim Xilinx User’s ManualVHDL settings page . . . . . . . . . . . . . . . . . . .

List window7-140 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualFinding a markerChoose a specific marked line to view with Markers >

List windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-141Saving List window data to a fileFrom the List window select Edit > Wr

Process window7-142 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualProcess windowThe Process window displays a list of processes (either

Process windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-143The Process window menu barThe following menu commands and button opti

Signals window7-144 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualSignals windowThe Signals window is divided into two window panes. Th

Signals windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-145HDL items you can viewOne entry is created for each of the following V

Signals window7-146 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe Signals window menu barThe following menu commands are available

Signals windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-147View menuWindow menuSelecting HDL item types to viewThe View > Filt

Signals window7-148 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manualwhen you invoked the simulator. Multiple signals may be selected and

Signals windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-149• Kind: DriveAttaches a driver to the signal and drives the specified

ModelSim Xilinx User’s Manual Table of Contents - 1510 - Tcl and ModelSim (241)Tcl features within ModelSim . . . . . . . . . .

Signals window7-150 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualChoose one of the following options (ModelSim opens the target window

Signals windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-151Defining clock signalsSelecting Clock from the Edit menu allows you to

Source window7-152 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualSource windowThe Source window allows you to view and edit your HDL so

Source windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-153The Source window menu barThe following menu commands are available fro

Source window7-154 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualObject menuOptions menuWindow menuDescribe displays information about

Source windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-155The Source window tool barButtons on the Source window tool bar gives y

Source window7-156 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualEditing the source file in the Source windowSeveral tool bar buttons (

Source windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-157Setting Source window optionsAccess the Source window options with this

Structure window7-158 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualStructure windowThe Structure window provides a hierarchical view o

Structure windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-159Instance name components in the Structure windowAn instance name dis

16 - Table of Contents ModelSim Xilinx User’s Manual[vsim] simulator control variables . . . . . . . . . . . . . . . .

Structure window7-160 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualEdit menuWindow menuCopy copy the current selection in the Structu

Variables windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-161Variables windowThe Variables window is divided into two window pane

Variables window7-162 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe Variables window menu barThe following menu commands are availa

Variables windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-163Window menuInitial Layout restore all windows to the size and placem

Wave window7-164 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualWave windowThe Wave window, like the List window, allows you to view the

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-165 The pathname pane displays signal pathnames. Signals may be displayed wi

Wave window7-166 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe waveform pane displays the waveforms that correspond to the displaye

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-167Wave window panesThe pathnames, values and waveforms window panes of the

Wave window7-168 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualHDL items you can viewVHDL items(indicated by a dark blue square)signals

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-169Note: Constants, generics, parameters, and memories are not viewable in t

ModelSim Xilinx User’s Manual Introduction 1-171 - IntroductionChapter contentsStandards supported . . . . . . . . .

Wave window7-170 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualEdit menuSave Format saves the current Wave window display and signal p

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-171Cursors menuZoom menuFormat menuWindow menuCombine combine the selected f

Wave window7-172 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualWave window tool barThe Wave window tool bar gives you quick access to t

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-173Save Wave Formatsaves the current Wave window display and signal preferen

Wave window7-174 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualFind Previous Transitionlocate the previous signal value change for the

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-175Adding HDL items in the Wave windowBefore adding items to the Wave window

Wave window7-176 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualAdding items with a Wave window format fileTo use a Wave window format f

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-177In the illustration below, four data signals have been combined to form a

Wave window7-178 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual Other virtual items in the Wave windowSee "Virtual Objects (User-d

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-179To edit an item:Select the item’s label in the left name/value windowpane

Standards supported1-18 Introduction ModelSim Xilinx User’s ManualStandards supportedModelSim VHDL supports both the IEEE 1076-1987 and 1076-1993 VH

Wave window7-180 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe Wave Signal Properties dialog box includes these options:• SignalIn

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-181• Format: Analog [Step | Interpolated | Backstep]All signals in this ill

Wave window7-182 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual• Format: LiteralDisplays the waveform as a box containing the item val

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-183Show All Dataset Prefixes if 2 or moreDisplays all dataset prefixes if 2

Wave window7-184 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualUsing time cursors in the Wave windowWhen the Wave window is first drawn

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-185selected cursor is drawn as a bold solid line; all other cursors are draw

Wave window7-186 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualZooming - changing the waveform display rangeZooming lets you change the

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-187Zooming with the toolbar buttonsThese zoom buttons are available on the t

Wave window7-188 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual<arrow up> scroll waveform display up<arrow down> scroll wav

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-189Saving waveformsSaving a .eps fileUse the File > Print Postscript menu

Sections in this documentModelSim Xilinx User’s Manual Introduction 1-19The ModeSim Tutorial is available from the ModelSim Help menu. Sections in th

Wave window7-190 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualSignal Selection• All signalsprints all signals• Current Viewprints si

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-191Printing on Windows platformsUse the File > Print menu selection in th

Wave window7-192 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual• WhereThe printer port for the selected printer.• CommentThe printer

Wave windowModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-193Printer Page SetupClicking the Setup button in the Write Postscript or Pr

Wave window7-194 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual• Label widthspecify Auto Adjust to accommodate any length label, or se

Compiling with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-195Compiling with the graphic interfaceTo compile e

Compiling with the graphic interface7-196 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualTranscript and Source windows" (7-121) for

Compiling with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-197VHDL compiler options page• Use 1993 language s

Compiling with the graphic interface7-198 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manualexplicit function definition. Same as the -expl

Compiling with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-199• Multiple drivers on unresolved signalFlags an

2ModelSim XE is produced by Model Technology Incorporated. Unauthorized copying, duplication, or other reproduction is prohibited without the written

Command reference1-20 Introduction ModelSim Xilinx User’s Manual10 - Tcl and ModelSim (10-239)This chapter provides an overview of Tcl (tool command

Compiling with the graphic interface7-200 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualVerilog compiler options page• Enable run-time

Compiling with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-201• Convert Verilog identifiers to upper-caseConv

Simulating with the graphic interface7-202 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualSimulating with the graphic interfaceThe Load

Simulating with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-203Design selection pageNote: The Exit button clos

Simulating with the graphic interface7-204 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manuala library name. You can also use the Browse bu

Simulating with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-205VHDL settings pageThe VHDL page includes these

Simulating with the graphic interface7-206 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualFrom Specify a Generic dialog box you can set

Simulating with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-207• STD_OUTPUT (-std_output <filename>)Spe

Simulating with the graphic interface7-208 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe Verilog page includes these options:• Del

Simulating with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-209SDF settings pageThe SDF (Standard Delay Format

What is an "HDL item"ModelSim Xilinx User’s Manual Introduction 1-21What is an "HDL item"Because ModelSim works with both VHDL an

Simulating with the graphic interface7-210 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualFrom the Specify an SDF File dialog box you ca

Simulating with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-211Setting default simulation optionsUse the Optio

Simulating with the graphic interface7-212 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualThe Default page includes these options:• Def

Simulating with the graphic interfaceModelSim Xilinx User’s Manual ModelSim XE Graphic Interface 7-213Assertion settings pageThe Assertions page incl

ModelSim Quick Start7-214 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualModelSim Quick StartThe ModelSim Quick Start guide is available

7-215 ModelSim XE Graphic Interface ModelSim Xilinx User’s ManualUse the Quick Start guide to find online answers to the following questions:• What

7-216 ModelSim XE Graphic Interface ModelSim Xilinx User’s Manual

ModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-2178 - Standard Delay Format (SDF) Timing AnnotationChapter contentsSDF

Specifying SDF files for simulation8-218 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s ManualSDF and ModelSim XEFor ModelSim

Specifying SDF files for simulationModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-219several models, each having its o

1-22 Introduction ModelSim Xilinx User’s Manual

VHDL VITAL SDF8-220 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s Manualwarnings, or select Reduce SDF errors to warnings (-s

VHDL VITAL SDFModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-221Resolving errorsIf the simulator finds the cell instan

Verilog SDF8-222 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s Manualvsim -vital2.2b -sdfmax /testbench/u1=myasic.sdf testben

Verilog SDFModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-223"tool_control". The "tool_control" ar

Verilog SDF8-224 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s ManualThe IOPATH construct usually annotates path delays. If t

Verilog SDFModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-225SETUP is matched to $setup and $setuphold:HOLD is matched

Verilog SDF8-226 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s ManualRECREM is matched to $recovery, $removal, and $recrem:SK

Verilog SDFModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-227Optional edge specificationsTiming check ports and path d

Verilog SDF8-228 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s ManualTiming check edge specifiers may also use explicit edge

SDF for Mixed VHDL and Verilog DesignsModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-229Rounded timing valuesThe SDF T

ModelSim Xilinx User’s Manual Design Libraries 2-232 - Design LibrariesChapter contentsDesign library contents . . . . . . .

Troubleshooting8-230 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s ManualTroubleshootingSeveral common mistakes in SDF annota

TroubleshootingModelSim Xilinx User’s Manual Standard Delay Format (SDF) Timing Annotation 8-231Mistaking a component or module name for an instance

Obtaining the SDF specification8-232 Standard Delay Format (SDF) Timing Annotation ModelSim Xilinx User’s ManualObtaining the SDF specificationSDF s

ModelSim Xilinx User’s Manual Value Change Dump (VCD) Files 9-2339 - Value Change Dump (VCD) FilesChapter contentsModelSim VCD commands and VCD tasks

ModelSim VCD commands and VCD tasks9-234 Value Change Dump (VCD) Files ModelSim Xilinx User’s ManualModelSim VCD commands and VCD tasksModelSim VCD

A VCD file from source to outputModelSim Xilinx User’s Manual Value Change Dump (VCD) Files 9-235architecture RTL of SHIFTER_MOD isbeginprocess (CLK,

A VCD file from source to output9-236 Value Change Dump (VCD) Files ModelSim Xilinx User’s ManualVCD output$commentFile created using the following

A VCD file from source to outputModelSim Xilinx User’s Manual Value Change Dump (VCD) Files 9-2370&0’0(0)0*0+1,$end#3500!#4001!1+#4500!#5001!1*#5

9-238 Value Change Dump (VCD) Files ModelSim Xilinx User’s Manual

ModelSim Xilinx User’s Manual Tcl and ModelSim 10-23910 - Tcl and ModelSimChapter contentsTcl features within ModelSim . . . . .

Design library contents2-24 Design Libraries ModelSim Xilinx User’s ManualDesign library contentsA design library is a directory that serves as a re

10-240 Tcl and ModelSim ModelSim Xilinx User’s ManualTcl features within ModelSimUsing Tcl with ModelSim gives you these features:• command history

Tcl commandsModelSim Xilinx User’s Manual Tcl and ModelSim 10-241Tcl commandsThe Tcl commands are listed below. For complete information on Tcl comma

10-242 Tcl and ModelSim ModelSim Xilinx User’s ManualTcl command syntaxThe former ModelSim commands, if and set are now Tcl commands. You should unde

Tcl commandsModelSim Xilinx User’s Manual Tcl and ModelSim 10-243characters and included in the word. Command substitution, variable substitution, an

10-244 Tcl and ModelSim ModelSim Xilinx User’s Manual8 If a backslash ("\") appears within a word then backslash substitution occurs. In al

Tcl commandsModelSim Xilinx User’s Manual Tcl and ModelSim 10-2459 If a hash character ("#") appears at a point where Tcl is expecting the

10-246 Tcl and ModelSim ModelSim Xilinx User’s Manualset command syntaxThe Tcl set reads and writes variables. Note that in the syntax below the &quo

Tcl commandsModelSim Xilinx User’s Manual Tcl and ModelSim 10-247This feature allows VHDL variables and signals, and Verilog nets and registers to be

10-248 Tcl and ModelSim ModelSim Xilinx User’s ManualTcl relational expression evaluationWhen you are comparing values, the following hints may be us

List processingModelSim Xilinx User’s Manual Tcl and ModelSim 10-249Environment variables can also be set using the env array:set env(SHELL) /bin/csh

Library management commandsModelSim Xilinx User’s Manual Design Libraries 2-25Library management commandsThese library management commands are availa

10-250 Tcl and ModelSim ModelSim Xilinx User’s ManualVSIM Tcl commandsThese additional VSIM commands enhance the interface between Tcl and ModelSim,

ModelSim Tcl time commandsModelSim Xilinx User’s Manual Tcl and ModelSim 10-251ConversionsRelationsAll relation operations return 1 or 0 for true or

ModelSim Tcl time commands10-252 Tcl and ModelSim ModelSim Xilinx User’s ManualArithmeticCommand DescriptionaddTime <time> <time> add t

ModelSim Xilinx User’s Manual ModelSim Variables A-253A - ModelSim VariablesAppendix contentsVariable settings report . . . . .

Variable settings reportA-254 ModelSim Variables ModelSim Xilinx User’s ManualVariable settings reportThe report command (CR-82) returns a list of c

Environment variablesModelSim Xilinx User’s Manual ModelSim Variables A-255Environment variablesBefore compiling or simulating, several environment v

Environment variablesA-256 ModelSim Variables ModelSim Xilinx User’s ManualSetting environment variables in WindowsIn addition to the predefined var

Environment variablesModelSim Xilinx User’s Manual ModelSim Variables A-257Library mapping with environment variablesOnce the MY_PATH variable is set

A-258 ModelSim Variables ModelSim Xilinx User’s ManualEnvironment variables may also be referenced from the ModelSim command line or in macros using

Preference variables located in INI and MPF filesModelSim Xilinx User’s Manual ModelSim Variables A-259Preference variables located in INI and MPF fi

Working with design libraries2-26 Design Libraries ModelSim Xilinx User’s ManualCreating a working library with the graphic interfaceTo create a new

Preference variables located in INI and MPF filesA-260 ModelSim Variables ModelSim Xilinx User’s Manualsynopsys any valid path; may include environm

Preference variables located in INI and MPF filesModelSim Xilinx User’s Manual ModelSim Variables A-261Explicit 0, 1 if 1, turns on resolving of amb

Preference variables located in INI and MPF filesA-262 ModelSim Variables ModelSim Xilinx User’s Manual[vlog] Verilog compiler control variablesVari

Preference variables located in INI and MPF filesModelSim Xilinx User’s Manual ModelSim Variables A-263AssertionFormat see purpose sets the message t

Preference variables located in INI and MPF filesA-264 ModelSim Variables ModelSim Xilinx User’s ManualDelayFileOpen 0, 1 if 1, open VHDL87 files on

Preference variables located in INI and MPF filesModelSim Xilinx User’s Manual ModelSim Variables A-265Resolution fs, ps, ns, us, ms, sec - also 10x

Preference variables located in INI and MPF filesA-266 ModelSim Variables ModelSim Xilinx User’s ManualWaveSignalNameWidth 0, positive or negative i

Preference variables located in INI and MPF filesModelSim Xilinx User’s Manual ModelSim Variables A-267Spaces in path namesFor the Src_Files and Work

Preference variables located in INI and MPF filesA-268 ModelSim Variables ModelSim Xilinx User’s Manualthe name of the directory from which the VCOM

Preference variables located in INI and MPF filesModelSim Xilinx User’s Manual ModelSim Variables A-269Turning off assertion messagesYou can turn off

Working with design librariesModelSim Xilinx User’s Manual Design Libraries 2-27• Maps toType or Browse for a mapping for the specified library. Thi

Preference variables located in INI and MPF filesA-270 ModelSim Variables ModelSim Xilinx User’s ManualOpening VHDL filesYou can delay the opening o

Preference variables located in TCL filesModelSim Xilinx User’s Manual ModelSim Variables A-271Preference variables located in TCL filesModelSim TCL

Preference variables located in TCL filesA-272 ModelSim Variables ModelSim Xilinx User’s ManualPreference variable arraysMost preference variables a

Preference variables located in TCL filesModelSim Xilinx User’s Manual ModelSim Variables A-273ListTranslateTable(<argument>) ListTranslateTab

Preference variables located in TCL filesA-274 ModelSim Variables ModelSim Xilinx User’s ManualMain window preference variablesThe Main window uses

Preference variables located in TCL filesModelSim Xilinx User’s Manual ModelSim Variables A-275Individual preference variablesThough most preference

Preference variables located in TCL filesA-276 ModelSim Variables ModelSim Xilinx User’s ManualSetting Tcl preference variablesPreference variable w

Preference variables located in TCL filesModelSim Xilinx User’s Manual ModelSim Variables A-277By Window pageThe By Window page includes these option

Preference variables located in TCL filesA-278 ModelSim Variables ModelSim Xilinx User’s Manual• FontSelect the Choose button; the Font Selection d

Preference variables located in TCL filesModelSim Xilinx User’s Manual ModelSim Variables A-279By Name pageThe By Name page includes these options:•

Working with design libraries2-28 Design Libraries ModelSim Xilinx User’s ManualViewing and deleting library contents with the graphic interfaceSele

Preference variables located in TCL filesA-280 ModelSim Variables ModelSim Xilinx User’s ManualIn addition to window preferences (listed by window n

Preference variables located in TCL filesModelSim Xilinx User’s Manual ModelSim Variables A-281The By Name page is a graphic representation of the &q

Preference variable loading orderA-282 ModelSim Variables ModelSim Xilinx User’s ManualPreference variable loading orderModelSim .tcl, INI, and MPF

Simulator state variablesModelSim Xilinx User’s Manual ModelSim Variables A-283Simulator state variablesUnlike other variables that must be explicitl

A-284 ModelSim Variables ModelSim Xilinx User’s Manual

ModelSim Xilinx User’s Manual ModelSim Shortcuts B-285B - ModelSim ShortcutsAppendix contentsWave window keyboard shortcuts . . . . .

B-286 ModelSim Shortcuts ModelSim Xilinx User’s ManualList window keyboard shortcutsUsing the following keys when the mouse cursor is within the Lis

ModelSim Xilinx User’s Manual ModelSim Shortcuts B-287You may abbreviate command syntax, but there’s a catch. The minimum characters required to exec

B-288 ModelSim Shortcuts ModelSim Xilinx User’s ManualThe Main window allows insertions or pastes only after the prompt, therefore, you don’t need t

ModelSim Xilinx User’s Manual Tips and Techniques C-289C - Tips and TechniquesAppendix contentsRunning command-line and batch-mode simulations .

Working with design librariesModelSim Xilinx User’s Manual Design Libraries 2-29You can also delete an architecture without deleting its associated e

Running command-line and batch-mode simulationsC-290 Tips and Techniques ModelSim Xilinx User’s ManualRunning command-line and batch-mode simulation

Passing parameters to macrosModelSim Xilinx User’s Manual Tips and Techniques C-291Passing parameters to macrosIn ModelSim, you invoke macros with th

Source code security and -nodebugC-292 Tips and Techniques ModelSim Xilinx User’s ManualSource code security and -nodebugThe -nodebug option on both

Detecting infinite zero-delay loopsModelSim Xilinx User’s Manual Tips and Techniques C-293Detecting infinite zero-delay loopsVHDL simulation uses ste

Modeling memory in VHDLC-294 Tips and Techniques ModelSim Xilinx User’s ManualA simple alternative implementation provides some excellent performanc

Modeling memory in VHDLModelSim Xilinx User’s Manual Tips and Techniques C-295architecture style_93 of memory is------------------------------shared

Modeling memory in VHDLC-296 Tips and Techniques ModelSim Xilinx User’s Manualdata_out <= ram(address);elsedata_out <= ram(address);end if;end

Modeling memory in VHDLModelSim Xilinx User’s Manual Tips and Techniques C-297variable n : natural := 0;variable failure : boolean := false;beginasse

C-298 Tips and Techniques ModelSim Xilinx User’s Manual

ModelSim Xilinx User’s Manual Index - 299IndexAarchitecture simulator state variable 283argc simulator state variable 283AssertFile .ini file variable

3Software License AgreementIMPORTANT – USE OF THIS SOFTWARE IS SUBJECT TO LICENSE RESTRICTIONSCAREFULLY READ THIS LICENSE AGREEMENT BEFORE USING THE S

Working with design libraries2-30 Design Libraries ModelSim Xilinx User’s ManualThe Library Browser dialog box includes these options:• ShowChoose

300 - Index ModelSim Xilinx User’s Manualassigning a logical name 29creating 25for VHDL design units 44mapping search rules 31resource type 24working

ModelSim Xilinx User’s Manual Index - 301Initialization file, see Project filesInstantiation label 159Iteration_limitdetecting infinite zero-delay loo

302 - Index ModelSim Xilinx User’s ManualMODELSIM_TCL environment variable 256MPF file 36MTI_TF_LIMIT environment variable 255Multiple drivers on unre

ModelSim Xilinx User’s Manual Index - 303specifying in List window 136specifying in Signals window 148reconstruct RTL-level design busses 101Recordsch

304 - Index ModelSim Xilinx User’s Manualsetting iteration limit 212setting time resolution 203Verilogdelay modes 71even order issues 66hazard detecti

ModelSim Xilinx User’s Manual Index - 305UUnbound Component 198UnbufferedOutput .ini file variable 265UpCase .ini file variable 262Use 1076-1993 langu

306 - Index ModelSim Xilinx User’s Manualvirtual hide command 101VITALcompiling and simulating with accelerated VITAL packages 52obtaining the specifi

Working with design librariesModelSim Xilinx User’s Manual Design Libraries 2-31When you use vmap (CR-147) this way you are modifying the modelsim.in

Specifying the resource libraries2-32 Design Libraries ModelSim Xilinx User’s ManualSpecifying the resource libraries VHDL resource librariesWithin

Specifying the resource librariesModelSim Xilinx User’s Manual Design Libraries 2-33Alternate IEEE libraries suppliedThe installation directory may c

2-34 Design Libraries ModelSim Xilinx User’s Manual

ModelSim Xilinx User’s Manual Projects and system initialization 3-353 - Projects and system initialization Chapter contentsWhat is a project? .

What is a project?3-36 Projects and system initialization ModelSim Xilinx User’s ManualWhat is a project?A project is a collection entity for an HDL

The [Project] section in the .mpf fileModelSim Xilinx User’s Manual Projects and system initialization 3-37• A .mpf project file may be updated with

3-38 Projects and system initialization ModelSim Xilinx User’s ManualCreating a Project1 To get started fast, select the Create a Project button from

Creating a ProjectModelSim Xilinx User’s Manual Projects and system initialization 3-39Note: The Probe Options button allows you to probe the options

4Mentor Graphics’ real-time operating systems or other ESD Software, except those explicitly granted in this section, into your products without first

Creating a Project3-40 Projects and system initialization ModelSim Xilinx User’s ManualNote: A project’s MPF file is always located in the project’s

Working with a ProjectModelSim Xilinx User’s Manual Projects and system initialization 3-41Working with a ProjectOpen a projectFirst, you must have a

Working with a Project3-42 Projects and system initialization ModelSim Xilinx User’s Manual3 Project design simulation settings describe how a speci

ModelSim Xilinx User’s Manual VHDL Simulation 4-434 - VHDL SimulationChapter contentsCompiling VHDL designs . . . . . . .

Compiling VHDL designs4-44 VHDL Simulation ModelSim Xilinx User’s ManualCompiling and simulating with the GUIMany of the examples in this chapter ar

Simulating VHDL designsModelSim Xilinx User’s Manual VHDL Simulation 4-45VHDL version separately. The vcom (CR-106) command compiles units written wi

Simulating VHDL designs4-46 VHDL Simulation ModelSim Xilinx User’s ManualSelecting the time resolutionThe simulation time resolution is 1 ns by defa

Using the TextIO packageModelSim Xilinx User’s Manual VHDL Simulation 4-47Using the TextIO packageTo access the routines in TextIO, include the follo

TextIO implementation issues4-48 VHDL Simulation ModelSim Xilinx User’s ManualUsing STD_INPUT and STD_OUTPUT within ModelSim The standard VHDL’87 Te

TextIO implementation issuesModelSim Xilinx User’s Manual VHDL Simulation 4-49This call is even more ambiguous, because the compiler could not determ

5Mentor Graphics’ prior written consent. The provisions of this section shall survive the termination or expiration of this Agreement.5. LIMITED WARRA

TextIO implementation issues4-50 VHDL Simulation ModelSim Xilinx User’s ManualThe ENDLINE functionThe ENDLINE function described in the IEEE Standar

Obtaining the VITAL specification and source codeModelSim Xilinx User’s Manual VHDL Simulation 4-51Obtaining the VITAL specification and source codeV

Compiling and Simulating with accelerated VITAL packages4-52 VHDL Simulation ModelSim Xilinx User’s ManualVITAL compliance checkingIf you are using

ModelSim Xilinx User’s Manual Verilog Simulation 5-535 - Verilog SimulationChapter contentsCompilation . . . . . . . .

5-54 Verilog Simulation ModelSim Xilinx User’s ManualThis chapter describes how to compile and simulate Verilog designs withModelSim Verilog. ModelS

CompilationModelSim Xilinx User’s Manual Verilog Simulation 5-55CompilationBefore you can simulate a Verilog design, you must first create a library

Compilation5-56 Verilog Simulation ModelSim Xilinx User’s ManualIn this example, the simulator was run without the graphic interface by specifying t

CompilationModelSim Xilinx User’s Manual Verilog Simulation 5-57Compile the design in top down order (assumes work library already exists):% vlog top

Compilation5-58 Verilog Simulation ModelSim Xilinx User’s ManualThe following is an example of how to compile a design with automatic incremental co

CompilationModelSim Xilinx User’s Manual Verilog Simulation 5-59Top level modules:and2or2% vlog top.v-- Compiling module topTop level modules:topNote

6CONNECTION WITH THE USE OF SOFTWARE IN ANY APPLICATION WHERE THE FAILURE OR INACCURACY OF THE SOFTWARE MIGHT RESULT IN DEATH OR PERSONAL INJURY. YOU

Compilation5-60 Verilog Simulation ModelSim Xilinx User’s ManualVerilog-XL compatible compiler optionsSee vlog (CR-141) for a complete list of compi

CompilationModelSim Xilinx User’s Manual Verilog Simulation 5-61+mindelaysThis option selects minimum delays from the "min:typ:max" express

Compilation5-62 Verilog Simulation ModelSim Xilinx User’s Manual+libext+<suffix>This option works in conjunction with the -y option. It specif

CompilationModelSim Xilinx User’s Manual Verilog Simulation 5-63Verilog-XL ‘uselib compiler directiveThe ‘uselib compiler directive is an alternative

Compilation5-64 Verilog Simulation ModelSim Xilinx User’s ManualModelSim Verilog supports the ‘uselib directive in a different manner than Verilog-X

SimulationModelSim Xilinx User’s Manual Verilog Simulation 5-65SimulationThe ModelSim simulator can load and simulate both Verilog and VHDL designs,

Simulation5-66 Verilog Simulation ModelSim Xilinx User’s ManualThe time precision should not be unnecessarily small because it will limit the maximu

SimulationModelSim Xilinx User’s Manual Verilog Simulation 5-67Tracking down event order dependencies is a tedious task, so ModelSim Verilog aids you

Simulation5-68 Verilog Simulation ModelSim Xilinx User’s Manual• A WRITE/READ or READ/WRITE hazard is flagged even if the write does not modify the

SimulationModelSim Xilinx User’s Manual Verilog Simulation 5-69+no_pulse_msg This option disables the warning message for specify path pulse errors.

7deletion and destruction of Software, including all copies, to Mentor Graphics’ reasonable satisfaction.10. EXPORT. Software is subject to regulation

Simulation5-70 Verilog Simulation ModelSim Xilinx User’s Manual+pulse_r/<percent>This option controls how pulses are propagated through specif

Cell LibrariesModelSim Xilinx User’s Manual Verilog Simulation 5-71Cell LibrariesModel Technology is the first Verilog simulation vendor to pass the

System Tasks5-72 Verilog Simulation ModelSim Xilinx User’s Manualdistributed delays to work properly. Even so, these delays are usually small enough

System TasksModelSim Xilinx User’s Manual Verilog Simulation 5-73IEEE Std 1364-1995 system tasksThe following system tasks are described in detail in

System Tasks5-74 Verilog Simulation ModelSim Xilinx User’s Manual$monitorh $fmonitorb $async$or$plane$monitoro $fmonitorh $async$nor$plane$monitorof

System TasksModelSim Xilinx User’s Manual Verilog Simulation 5-75Verilog-XL compatible system tasksThe following system tasks are provided for compat

System Tasks5-76 Verilog Simulation ModelSim Xilinx User’s ManualThe tstamp_cond argument conditions the data_event for the setup check and the clk_

System TasksModelSim Xilinx User’s Manual Verilog Simulation 5-77The following system tasks are Verilog-XL system tasks that are not implemented in M

Compiler Directives5-78 Verilog Simulation ModelSim Xilinx User’s ManualCompiler DirectivesModelSim Verilog supports all of the compiler directives

Compiler DirectivesModelSim Xilinx User’s Manual Verilog Simulation 5-79‘unconnected_drive‘undefVerilog-XL compatible compiler directivesThe followin

8expenses.Rev. 10/99

Using the Verilog PLI5-80 Verilog Simulation ModelSim Xilinx User’s Manual‘protect‘remove_gatenames‘remove_netnames‘suppress_faultsThe following Ver

Using the Verilog PLIModelSim Xilinx User’s Manual Verilog Simulation 5-81p_tffn checktf; /* argument checking callback function */p_tffn sizetf;

Using the Verilog PLI5-82 Verilog Simulation ModelSim Xilinx User’s Manual{0} /* last entry must be 0 */};Alternatively, you can add an init_usertf

Using the Verilog PLIModelSim Xilinx User’s Manual Verilog Simulation 5-83PLI Application RequirementsPLI applications are dynamically loaded into VS

Using the Verilog PLI5-84 Verilog Simulation ModelSim Xilinx User’s ManualSee also Appendix A - ModelSim Variables for more information on the model

Using the Verilog PLIModelSim Xilinx User’s Manual Verilog Simulation 5-85The callback reason argumentThe second argument to a callback function is t

Using the Verilog PLI5-86 Verilog Simulation ModelSim Xilinx User’s Manualreason_interactiveFor the execution of the $stop system task or any other

Using the Verilog PLIModelSim Xilinx User’s Manual Verilog Simulation 5-87• The sizetf function should return 0 if the system function return value

Using the Verilog PLI5-88 Verilog Simulation ModelSim Xilinx User’s Manual% cc -c -I<install_dir>/modeltech/include veriuser.c% ld -G -o app.s

Using the Verilog PLIModelSim Xilinx User’s Manual Verilog Simulation 5-89The type and fulltype constants for VHDL objects are defined in the acc_vhd

ModelSim Xilinx User’s Manual Table of Contents - 9Table of ContentsSoftware License Agreement . . . . . . . . . . . . . .

Using the Verilog PLI5-90 Verilog Simulation ModelSim Xilinx User’s Manualacc_fetch_itfarg acc_fetch_tfarg_int acc_fetch_itfarg_intacc_fetch_tfarg_s

Using the Verilog PLIModelSim Xilinx User’s Manual Verilog Simulation 5-91IEEE Std 1364 TF routinesModelSim Verilog supports the following TF routine

Using the Verilog PLI5-92 Verilog Simulation ModelSim Xilinx User’s ManualVerilog-XL compatible routinesThe following PLI routines are not define in

Using the Verilog PLIModelSim Xilinx User’s Manual Verilog Simulation 5-93This routine gets the current simulation time as a 64-bit integer. The low-

Using the Verilog PLI5-94 Verilog Simulation ModelSim Xilinx User’s ManualArguments<action> Specifies one of the following actions:-tag <na

ModelSim Xilinx User’s Manual Multiple logfiles, datasets and virtuals 6-956 - Multiple logfiles, datasets and virtuals Chapter contentsMultiple logf

Multiple logfiles and datasets6-96 Multiple logfiles, datasets and virtuals ModelSim Xilinx User’s ManualIn the illustration above, the Wave window

Multiple logfiles and datasetsModelSim Xilinx User’s Manual Multiple logfiles, datasets and virtuals 6-97Once you have specified the logfile and data

Multiple logfiles and datasets6-98 Multiple logfiles, datasets and virtuals ModelSim Xilinx User’s ManualVirtualsModelSim supports an additional, su

Multiple logfiles and datasetsModelSim Xilinx User’s Manual Multiple logfiles, datasets and virtuals 6-99Additionally, a Structure or Signals window