IEEE 200X Fast Track Change Proposal

ID:	  FT-

Proposer:     John Ries
email:        johnr@model.com

Status:       Open
Proposed:     04/20/04
Analyzed:     Date
Resolved:     Date

Enhancement Summary: Allow operations on std_logic and std_logic_vectors
to be considered locally static.
 
Related issues:          
Relevant LRM section:    7.4.1

Enhancement Detail:
----------------------------

Locally static expressions are defined by a list, a through j, in section
7.4.1.  There is an addition restriction that an expression is locally
static if and only if every operator in the expression denotes an implicitly defined
operator whose operands and result are scalar.  Now that the
std_logic_1164 and numeric_bit and numeric_std package are part of the standard I
propose the followin change.

Original:

An expression is said to be locally static if and only if every operator in the
expression denotes an implicitly defined operator whose operands and result are 
scalar and if every primary in the expression is a locally static primary, where
locally static primary is defined to be one of the following:

Modified:

An expression is said to be locally static if and only if every operator in the
expression denotes an implicitly defined operator or an operator defined in the
packages ieee.std_logic_1164, ieee.numeric_std, or ieee.numeric_bit, whose operands
and result are  scalar and if every primary in the expression is a locally static
primary, where locally static primary is defined to be one of the following:

Also and item k) would be added to the list defining a locally static primary.

k) A function call whose function name denotes an operator or function that
is declared in one of the following  packages,  ieee.std_logic_1164, 
ieee.numeric_std, or ieee.numeric_bit. Any actual parameters to
the function must each be locally static expressions.



Analysis:
----------------------------
[To be performed by the 200X Fast Track Working Group]


Resolution:
----------------------------
[To be performed by the 200X Fast Track Working Group]