User`s manual

ModelSim Tcl time commands
ModelSim Xilinx User’s Manual Tcl and ModelSim 10-251
Conversions
Relations
All relation operations return 1 or 0 for true or false respectively and are suitable
return values for TCL conditional expressions. For example,
if {[eqTime $Now 1750ns]} {
...
}
Command Description
intToTime <intHi32> <intLo32> converts two 32-bit pieces (high and low
order) into a 64-bit quantity (Time in
ModelSim is a 64-bit integer)
RealToTime <real> converts a <real> number to a 64-bit
integer in the current Time Scale
scaleTime <time> <scaleFactor> returns the value of <time> multiplied by
the <scaleFactor> integer
Command Description
eqTime <time> <time> evaluates for equal
neqTime <time> <time> evaluates for not equal
gtTime <time> <time> evaluates for greater than
gteTime <time> <time> evaluates for greater than or equal
ltTime <time> <time> evaluates for less than
lteTime <time> <time> evaluates for less than or equal