Technical data

check float add
CR-48 ModelSim Commands ModelSim EE/SE Command Reference
check float add
The check float add command enables float checking for the specified nodes. The
allowed nodes are Verilog nets and VHDL signals of type std_logic and
std_logic_vector (other types are silently ignored).
Syntax
check float add
[-r] [-in] [-out] [-inout] [-internal] [-ports] <node_name>
Arguments
-r
Specifies that float checking is enabled recursively into subregions. Optional; if
omitted, float check enabling is limited to the current region.
-in
Enables checking on nodes of mode IN. Optional.
-out
Enables checking on nodes of mode OUT. Optional.
-inout
Enables checking on nodes of mode INOUT. Optional.
-internal
Enables checking on internal items. Optional.
-ports
Enables checking on nodes of modes IN, OUT, or INOUT. Optional.
<node_name>
Enables checking for the named node(s). Required.
See also
"Bus float checking"
(E-447)