ModelSim SE User's Manual - Electrical and Computer Engineering

UM-32 1 - Introduction
ModelSim SE User’s Manual
15 - Functional coverage with PSL and ModelSim (UM-383)
This chapter describes how to measure functional coverage with PSL cover directives.
16 - C Debug (UM-399)
This chapter describes C Debug, a graphic interface to the gdb debugger that can be
used to debug FLI/PLI/VPI/SystemC C/C++ source code.
17 - Signal Spy (UM-417)
This chapter describes Signal Spy, a set of VHDL procedures and Verilog system tasks
that let you monitor, drive, force, or release a design object from anywhere in the
hierarchy of a VHDL or mixed design.
18 - Standard Delay Format (SDF) Timing Annotation (UM-439)
This chapter discusses ModelSim’s implementation of SDF (Standard Delay Format)
timing annotation. Included are sections on VITAL SDF and Verilog SDF, plus
troubleshooting.
19 - Value Change Dump (VCD) Files (UM-455)
This chapter explains Model Technology’s Verilog VCD implementation for
ModelSim. The VCD usage is extended to include VHDL designs.
20 - Tcl and macros (DO files) (UM-471)
This chapter provides an overview of Tcl (tool command language) as used with
ModelSim.
A - ModelSim GUI changes (UM-499)
This appendix describes what has changed in ModelSim from version 5.8 to version
6.0. This includes a description of the new Multiple Documentation Interface (MDI)
frame, increased menu context sensitivity, and menu selection changes.
B - ModelSim variables (UM-519)
This appendix describes environment, system, and preference variables used in
ModelSim.
C - Error and warning messages (UM-545)
This appendix describes ModelSim error and warning messages.
D - Verilog PLI / VPI / DPI (UM-559)
This appendix describes the ModelSim implementation of the Verilog PLI and VPI.
E - ModelSim shortcuts (UM-603)
This appendix describes ModelSim keyboard and mouse shortcuts.
F - System initialization (UM-611)
This appendix describes what happens during ModelSim startup.
G - Logic Modeling SmartModels (UM-617)
This appendix describes the use of the SmartModel Library and SmartModel Windows
with ModelSim.