Range and index checking

A range check verifies that a scalar value defined with a range subtype is always assigned a value within its range. An index check verifies that whenever an array subscript expression is evaluated, the subscript will be within the array's range.

Index checks are performed by default when you compile your design. In versions 5.5 and later, range checks are not performed by default. You can specify that range checks are performed by using the -rangecheck argument to the vcom command. Or, you can use the RangeCheck and NoIndexCheck variables in the modelsim.ini to specify whether or not they are performed. See "Preference variables located in INI files" .

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