ModelSim SE User's Manual - Electrical and Computer Engineering

[vsim] simulator control variables
Preference variables located in INI files UM-529
Variable name Value range Purpose Default
AssertFile any valid
filename
alternative file for storing VHDL or PSL
assertion messages
AssertionFailAction 0, 1, 2 sets action for a PSL failure event; use 0 for
continue, 1 for break, 2 for exit
transcript
continue (0)
AssertionFailEnable 0, 1 turns on failure tracking for PSL assertions on (1)
AssertionFailLimit Any positive
integer and -1
sets limit for the number of times
ModelSim will respond to a PSL assertion
failure event; after the limit is reached on a
particular assertion, that assertion is
disabled; use -1 for infinity
AssertionFailLog 0, 1 turns on transcript logging for PSL
assertion failure events
AssertionFormat see next column defines format of VHDL assertion
messages; fields include:
%S - severity level
%R - report message
%T - time of assertion
%D - delta
%I - instance or region pathname (if
available)
%i - instance pathname with process
%O - process name
%K - kind of object path points to; returns
Instance, Signal, Process, or Unknown
%P - instance or region path without leaf
process
%F - file
%L - line number of assertion, or if from
subprogram, line from which call is made
%% - print ’%’ character
AssertionFormatBreak see
AssertionFormat
above
AssertionFormatError see
AssertionFormat
above
defines format of messages for VHDL
assertions that trigger a breakpoint; see
AssertionFormat for options
defines format of messages for VHDL
Error assertions; see AssertionFormat for
options; if undefined, AssertionFormat is
used unless assertion causes a breakpoint in
which case AssertionFormatBreak is used
1
on (1)
"** %S:
%R\n Time:
%T
Iteration:
%D%I\n"
"** %S:
%R\n
Time: %T
Iteration:
%D %K: %i
File: %F\n"
"** %S:
%R\n
Time: %T
Iteration:
%D %K: %i
File: %F\n"
ModelSim SE User’s Manual