Technical data

examine
CR-82 ModelSim Commands ModelSim EE/SE Command Reference
-delta<delta>
Specifies a simulation cycle at the specified time from which to fetch the value.
The default is to use the last delta of the time step. Optional.
-env <path>
Specifies a path to look for signal name. Optional.
-expr <expression>
An expression to be evaluated. Optional. If the -time argument is present, the
expression will be evaluated at the specified time, otherwise it will be evaluated
at the current simulation time. See "GUI_expression_format"
(CR-250) for the
format of the expression. The expression must be placed within curly braces.
The expression argument to the examine statement can only involve signals that
have been logged in the List window. The signal may be specified by either the
full path, or its shortcut name displayed in the List window (if one has been
specified).
-<radix>
Specifies the radix for the items that follow in the command. Optional. Valid
entries (including unique abbreviations) are:
binary
octal
decimal (default for integers) or signed
hexadecimal
unsigned
ascii
Entries may be truncated to any length, for example, -binary could be expressed
as -b or -bin, etc.
-name
Add display of the name. Optional. Useful for wildcard patterns. Returns name(s)
as a curly-bracket separated Tcl list. Default is -value behavior.
The lecho command
(CR-92) will return a list in pretty-print format.
-value
Returns value(s) as a curly-bracket separated Tcl list. Default. Use to toggle off a
previous use of -name.
<name>...
Specifies the name of any HDL item. Required(though not used if the -expr option
is used). All item types are allowed, except those of the type file. Multiple names
and wildcards are accepted. To examine a VHDL variable you can add a process
label to the name. For example (make certain to use two underscore characters):