Technical data

ModelSim EE/PLUS Reference Manual Tips and Techniques -
529
B -
Tips and Techniques
Appendix contents
How to use checkpoint/restore . . . . . . . . . . . . . . . 530
Running command-line and batch-mode simulations . . . . . . . . . 532
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
Modeling memory in VHDL . . . . . . . . . . . . . . . 541
This appendix is an effort to organize information to make it more accessible.
We’ve collected documentation from several parts of the manual; some examples
have evolved from answers to questions received by tech support. Your
suggestions, tips, and techniques for this section would be appreciated.