Section 6.3.2.1, page 67 (IEEE Std 1800™-2005)

Change

To support whether a constant is $, a system function is provided to test whether a constant is a $. The syntax

of the system function is

$isunbounded(const_expression);

$isunbounded returns true if const_expression is unbounded. Typically, $isunbounded would be used as

a condition in the generate statement.

To

A system function is provided to test whether a constant is a $. The syntax of the system function is

$isunbounded(constant_param_expression);

$isunbounded is of type bit and returns the value 1 (true) if constant_param_expression is the symbol $. A parameter can be assigned $ provided that it is not involved in any expression. Such a parameter can be used only the symbol $ is allowed. Typically, $isunbounded(constant_param_expression) would be used as a condition in the generate statement.

Section Index, page 637 (IEEE Std 1800™-2005)

Change

$isunbounded 380

To

$isunbounded 67, 380

Section 22.4, page 380 (IEEE Std 1800™-2005)

Change

range_function ::= // not in Annex A

$isunbounded ( constant_expression )

To

range_function ::= // not in Annex A

$isunbounded ( constant_param_expression )

Change

then $isunbounded(foo) shall return true. Otherwise, it shall return false. True and false are defined in

22.9.

to

then $isunbounded(foo) shall return true. Otherwise, it shall return false. True and false are defined in

22.9. If a parameter is assigned $ then it must not be involved in any expression.

Such a parameter can be used only wherever the symbol $ is allowed. Additional description and examples can be found in 6.3.2.1.