Model Technology Model Sim EE Bedienungsanleitung PDF herunterladen (Seite 2)

Key Arguments (use –help for full list)

[-help] Display vlog syntax help

[-version] Returns vlog version

[-compat] Disable event order optimizations

[-f <filename>] Pass in arguments from file

[-hazards] Enable run-time hazard checking

[-nodebug] Hide internal variables & structure

[-quiet] Disable loading messages

[-R <simargs>] Invoke VSIM after compile

[-refresh] Regenerate lib to current version

[-work <libname>] Specify work library

[-v <library_file>] Specify Verilog source library

<filename(s)> Verilog file(s) to be compiled

Examples

vlog top.v

vlog –work mylib –refresh

vlog

Tcl/Tk

More Info . . .

Standards Supported

vcom

Key Arguments (use –help for full list)

[-help] Display vsim syntax help

[-version] Returns vsim version

[-c ] Run in cmd line mode

[-do "cmd" | <file>] Run cmd or file at startup

[-f <filename>] Pass in args from file

[-g|G<name=value>] Set VHDL Generic values

[-hazards] Enable hazard checking

[-l <logfile>] Save transcript to log file

[+notimingchecks] Disable timing checks

[-quiet] Disable loading messages

[-restore <filename>] Restore a simulation

[-sdf{min|typ|max} Apply SDF timing data e.g.,

<region>=<sdffile>] sdfmin /top=MySDF.txt

[-sdfnowarn] Disable SDF warnings

[-t [<mult>]<unit> ] Time resolution (shell only)

[-view <filename>] Log file for VSIM to view

[-wav <filename>] VSIM log file to create

[<libname>.<config> Configuration, Module or

| <module> Entity/Arch to simulate

| <entity>[(<arch>)]]

Examples

vsim top

vsim -lib mywork top -do commands.do

Key Arguments (use –help for full list)

[-help] Display vcom syntax help

[-version] Returns vcom version

[-93] [-87] Choose VHDL-1993 or 1987

[-check_synthesis] Turn on synthesis checker

[-debugVA] Print VITAL opt status

[-explicit] Resolve ambiguous overloads

[-f <filename>] Pass in arguments from file

[-nocheck] Disable run time range checks

[-nodebug] Strip internal names

[-novitalcheck] Disable VITAL95 checking

[-nowarn <#>] Disable individual warning msg

[-O0] Disable optimization

[-quiet] Disable loading messages

[-refresh] Regenerate library image

[-work <libname>] Specify work library

<filename(s)> VHDL file(s) to be compiled

Examples

vcom MyDesign.vhd

vcom -93 –work /lib/mylib util.vhd

vcom -refresh

vsim

Managing Breakpoints

Files

modelsim.ini

modelsim.ini System Initialization or Project file;

stores library locations, simulator

resolution, paths, etc.

modelsim.tcl Window sizes, positions, colors,

etc.; user Tcl/Tk code

startup.do Default name of macro executed

after design is loaded See "startup="

line in modelsim.ini

transcript Default filename that ModelSim

transcript window activity is saved to

vsim.wlf Default name of simulation log file

saved by VSIM

my_project.mpf ModelSim project file

Copy modelsim.ini to current directory

Execute vmap -c

Loading order (stops after finding first file)

1. $MODELSIM environment variable

2. Current directory if $MODELSIM is not set

3. In /<install_dir>/modeltech/<platform> directory

4. In /<install_dir>/modeltech directory

For Detailed Information see:

ModelSim User’s Manual "ModelSim Variables"

modelsim.tcl

Loading order

Always loads: /<install_dir>/modeltech/tcl/vsim/pref.tcl

Loads the first found from:

1. $MODELSIM_TCL if it exists (":" separated list)

(all files in list are loaded)

2. Current directory ./modelsim.tcl

3. $HOME/modelsim.tcl

Environment Variable Examples

MODELSIM_TCL #Print the string length of "Hello, World!"

Online Documentation set len [string length "Hello, World!" ]

Help->Tcl Help echo "Hello, World! is $len characters long!"

Help->Tcl Syntax #Create a button in the wave window that does something

Help->Tcl Man Pages apply_button_adder wave controls right red white SayHi {echo hi}

Help->Technotes->MTI_Widgets #Display the Tcl/Tk source code to apply_button_adder

Language Syntax info body apply_button_adder

command arg1 arg2 arg3 … #Set the right mouse button to execute "drivers" on selected signal

Language Syntax: Commands bind .signals.tree <Button-3> {

set <var> <value> set signalnum [.signals.tree index anchor]

expr <math expression> set signalline [.signals.tree get2 $signalnum]

exec <ShellCommand> set signalname [lindex $signalline 0]

info <option> <procedure name> echo [drivers $signalname]

winfo <option> <window name> }

Language Syntax: Procedures #Create a separate window containing most used functions:

proc name {arglist} {body} toplevel .hot

proc diag {a b} { frame .hot.run

set c [expr sqrt($a*$a + $b*$b)] frame .hot.zoom

return $c pack .hot.run .hot.zoom -side top

} button .hot.run.b1 -text "Run 10" -command {run 10}

Language Syntax: Conditionals button .hot.run.b2 -text "Run 100" -command {run 100}

if {boolean} {bodytrue} else {bodyfalse} button .hot.run.b3 -text "Run 1000" -command {run 1000}

if {$now < 10000} {echo $now} pack .hot.run.b1 .hot.run.b2 .hot.run.b3 -side left

Language Syntax: Loops label .hot.zoom.l1 -text "Zoom: "

while {boolean} {body} pack .hot.zoom.l1 -side left

foreach loopVar {valuelist} {cmdBody} button .hot.zoom.b1 -text "Full" -command {.wave.tree zoomfull}

for {initial} {test} {final} {body} button .hot.zoom.b2 -text "4x" -command {WaveZoom .wave out 4.0}

Poking around in ModelSim Tcl/Tk button .hot.zoom.b3 -text "1/4x" -command {WaveZoom .wave in 4.0}

info Get info on a Tcl construct pack .hot.zoom.b1 .hot.zoom.b2 .hot.zoom.b3 -side left

info xx Find out the args to info #Figure out how to change one of the Run buttons in .hot

winfo Get info on Tk widgets winfo children .hot

winfo xx Find out args to winfo winfo children .hot.run

winfo children . Return the sub- .hot.run.b2 configure -fg red

widgets to ModelSim .hot.run.b2 configure –text "Run 67"

lecho [configure wave] Get wave props .hot.run.b2 configure –command {run 67}

VHDL

IEEE 1076-1987

IEEE 1076-1993

VITAL 2.2b & ‘95

Verilog

IEEE Std 1364-1995

PLI 1.0

Timing

SDF 1.0, 2.0, & 2.1

Value Change Dump

VCD for Verilog and VHDL

Paper and Online (see docs sub-directory)

Start Here

_start.pdf

User’s Manual

_man.pdf

Command Reference

_cmds.pdf

ModelSim Tutorial

_tutor.pdf

Technical Notes

www.model.com/support/technote/index.html

See <install_dir>/modeltech/docs/technotes

Company Periodical

ModelUser (req via [email protected]

)

ModelSim Help Pulldown

Help > Release Notes

Help > Tcl Man Pages

Training

http://www.model.com/support/training.html

This Quick Guide

http://www.model.com/pdf/se_guide.pdf

bp Sets a breakpoint; without arg shows all bps

bd Deletes a breakpoint

disablebp Turn off all breakpoints

onbreak Define what to do when a breakpoint is hit

during a macro (e.g., onbreak {resume})

when Perform actions under certain conditions

Examples

bp alu.vhd 147 {do macro.do} Set breakpoint

bd alu.vhd 147 Clear breakpoint

when –label when1 {clk’event and b="01100111"} {

echo "Signal c is [examine –bin c]" stop }

Use "when" to show the current whens.

Model Technology Incorporated

Reproduction Permitted (and encouraged!)

1020-0100

1 2

Model Technology 1

Kommentare zu diesen Handbüchern

Keine Kommentare

Model Technology Model Sim EE Bedienungsanleitung Seite 2

Kommentare zu diesen Handbüchern

Verwandte Produkte und Handbücher für Drucken & Scannen Model Technology Model Sim EE