Technical data

right | left
ModelSim EE/SE Command Reference ModelSim Commands CR-137
-rising
Searches for a rising edge on the specified signal if that signal is a scalar signal. If
it is not a scalar signal, the option will be ignored. Optional.
-value <sig_value>
Specify a value of the signal to match. Must be specified in the same radix that the
selected waveform is displayed. Case is ignored, but otherwise must be an exact
string match -- don’t-care bits are not yet implemented. Only one signal may be
selected, but that signal may be an array. Optional.
-window <wname>
Use this option to specify an instance of the Wave window that is not the default.
Optional. Otherwise, the default Wave window is used. Use the view command
(CR-180) to change the default window.
<n>
Specifies to find the nth match. If less than n are found, the number found is
returned with a warning message, and the cursor is positioned at the last match.
Optional. The default is 1.
Examples
right -noglitch -value FF23 2
Finds the second time to the right at which the selected vector transitions to FF23, ignoring
glitches.
left
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).
right -expr {clk’rising && (mystate == reading) && (/top/u3/addr ==
32’habcd1234)}
Searches right 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.
right -expr {(/top/u3/addr and 32’hff000000) == 32’hac000000}
Searches right 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.