Technical data

down | up
ModelSim EE/SE Command Reference ModelSim Commands CR-71
-value <sig_value>
Specify a value of the signal to match. Optional. Must be specified in the same
radix that the selected signal is displayed. Case is ignored, but otherwise must be
an exact string match -- don’t-care bits are not yet implemented.
-window <wname>
Use this option to specify an instance of the List window that is not the default.
Optional. Otherwise, the default List window is used. Use the view command
(CR-
180)
to change the default window.
<n>
Specifies to find the nth match. Optional. If less than n are found, the number
found is returned with a warning message, and the marker is positioned at the last
match.
Examples
Returns 1 if a match is found, 0 if not. If the nth match is requested and only m are
found,
m < n, then it returns m.
down -noglitch -value FF23
Finds the next time which the selected vector transitions to FF23, ignoring glitches.
up
Goes to the previous transition on the selected signal.
The following examples illustrate search expressions that use a variety of signal
attributes, paths, array constants, and time variables. Such expressions follow the
"GUI_expression_format"
(CR-250) and can be built with the aid of the "The GUI
Expression Builder"
(10-272).
down -expr {clk’rising && (mystate == reading) && (/top/u3/addr == 32’habcd1234)}
Searches down for an expression that evaluates to a boolean 1 when signal clk just changed
from low to high and signal mystate is the enumeration reading and signal /top/u3/addr is
equal to the specified 32-bit hex constant; otherwise is 0.
down -expr {(/top/u3/addr and 32’hff000000) == 32’hac000000}
Searches down for an expression that evaluates to a boolean 1 when the upper 8 bits of the
32-bit signal /top/u3/adder equals hex ac.
down -expr {((NOW > 23 us) && (NOW < 54 us)) && clk’rising && (mode == writing)}
Searches down for an expression that evaluates to a boolean 1 when logfile time is between