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"

Model Technology Incorporated Voice: (503) 641-1340 Fax: (503)526-5410 www.model.com sales@model.com