Technical data

How to use checkpoint/restore
530
-
Tips and Techniques ModelSim EE/PLUS Reference Manual
How to use checkpoint/restore
The
checkpoint
(p291) and
restore
(p357) commands will save and restore the
simulator state within the same invocation of VSIM or between VSIM sessions.
If you want to
restore
while running VSIM, use the
restore
command (p357), this
we call a "warm restore". If you want to start up VSIM and restore a previously-
saved checkpoint, use the
-restore
switch with the
vsim
command (p91), this we
call a "cold restore".
Note:
Checkpoint/restore allows a cold restore, followed by simulation activity, followed by a warm
restore back to the original cold-restore checkpoint file. Warm restores to checkpoint files that were not
created in the current run are not allowed except for this special case of an original cold restore file.
The things that are saved with
checkpoint
and restored with the
restore
command
are:
• simulation kernel state
•
vsim.wav
file
• signals listed in the list and wave windows
• file pointer positions for files opened under VHDL
• file pointer positions for files opened by the Verilog
$fopen
system task
• state of foreign architectures
Things that are NOT restored are:
• state of VSIM macros
• changes made with the command-line interface (such as user-defined Tcl
commands)
• state of graphical user interface windows
In order to save the simulator state, use the VSIM command
checkpoint <filename>
To restore the simulator state during the same session as when the state was saved,
use the VSIM command:
restore <filename>
To restore the state after quitting VSIM, invoke VSIM as follows:
vsim -restore <filename> [-nocompress]