Technical data

20
-
Table of Contents ModelSim EE/PLUS Reference Manual
Technical support - electronic support services . . . . . . . . . . . . . . . . . . . . . 522
Technical support - other channels . . . . . . . . . . . . . . . . . . . . . . . . . 523
Updates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 524
Licenses - ModelSim EE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 524
Online References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527
Books and publications . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527
Partners . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527
Training partners . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 527
B - Tips and Techniques (p529)
How to use checkpoint/restore . . . . . . . . . . . . . . . . . . . . . . . . . . . 530
The difference between checkpoint/restore and restarting . . . . . . . . . . . . . . . 531
Using macros with restart and checkpoint/restore . . . . . . . . . . . . . . . . . . 531
Running command-line and batch-mode simulations . . . . . . . . . . . . . . . . . . 532
Command-line mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 532
Batch mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 533
Passing parameters to macros . . . . . . . . . . . . . . . . . . . . . . . . . . . 534
Source code security and -nodebug . . . . . . . . . . . . . . . . . . . . . . . . . 534
Saving and viewing waveforms . . . . . . . . . . . . . . . . . . . . . . . . . . . 535
Setting up libraries for group use . . . . . . . . . . . . . . . . . . . . . . . . . . 536
Bus contention checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 536
Bus float checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537
Design stability checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537
Toggle checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 538
Detecting infinite zero-delay loops . . . . . . . . . . . . . . . . . . . . . . . . . 538
Referencing source files with location maps . . . . . . . . . . . . . . . . . . . . . . 539
Using location mapping . . . . . . . . . . . . . . . . . . . . . . . . . . . . 539
Pathname syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 540
How location mapping works . . . . . . . . . . . . . . . . . . . . . . . . . . 540
Mapping with Tcl variables . . . . . . . . . . . . . . . . . . . . . . . . . . 540
Modeling memory in VHDL . . . . . . . . . . . . . . . . . . . . . . . . . . . . 541