Technical data

examine

ModelSim EE/PLUS Reference Manual Simulator Command Reference

315

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

(p317) 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 (p156) by selecting it with the right mouse button.