Technical data

examine

ModelSim EE/SE Command Reference ModelSim Commands CR-83

exa line__36/i

Examples

examine -time {3450 us} -expr {/top/bus and $bit_mask}

In this example the -expr option specifies a signal path from the List window and user-

defined Tcl variable. The expression will be evaluated at 3450us.

examine -expr {clk’event && (/top/xyz == 16’hffae)}

Because -time is not specified, this expression will be evaluated at the current simulation

time. Note the signal attribute and array constant specified in the expression.

Commands like find

(CR-85) and examine return their results as a Tcl list (just a

blank-separated list of strings). You can do things like:

foreach sig [find ABC*] {echo "Signal $sig is [exa $sig]" ...}

if {[examine -bin signal_12] == “11101111XXXZ”} {...}

examine -hex [find *]

Note: The Tcl variable array, $examine (), can also be used to return values. For example, $examine (/clk).

You can also examine an item in the Source window (10-200) by selecting it with the right mouse button.