Table of Contents Previous page Next page Index

ModelSim Documentation Bookcase

Model Technology Inc.


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 Inc.
Model Technology Incorporated
Voice: (503) 641-1340
Fax: (503)526-5410
www.model.com
sales@model.com
Table of Contents Previous page Next page Index

ModelSim Documentation Bookcase