Technical data

GUI_expression_format
CR-256 Command Syntax and Conventions ModelSim EE/SE Command Reference
Casting
Examples
/top/bus and $bit_mask
This expression takes the bitwise and function of signal /top/bus and the array constant
contained in the global Tcl variable bit-mask.
clk’event && (/top/xyz == 16’hffae)
This expression evaluates to a boolean 1 when signal clk changes and signal /top/u3/addr
is equal to hex ffae; otherwise is 0.
clk’rising && (mystate == reading) && (/top/u3/addr == 32’habcd1234)
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.
(/top/u3/addr and 32’hff000000) == 32’hac000000
Evaluates to a boolean 1 when the upper 8 bits of the 32-bit signal /top/u3/adder equals hex
ac.
((NOW > 23 us) && (NOW < 54 us)) && clk’rising && (mode == writing)
Evaluates to a boolean 1 when logfile time is between 23 and 54 microseconds, and clock
just changed from low to high and signal mode is enumeration writing.
Casting Description
(bool) convert to boolean
(boolean) convert to boolean
(int) convert to integer
(integer) convert to integer
(real) convert to real
(time) 64 bit integer
(std_logic) convert to a-state signal value
(signed) convert to signed vector
(unsigned) convert to unsigned vector
(std_logic_vector) convert to unsigned vector