-------------BEGINNING OF IR----------------

VHDL Issue Number:        2066

Language_Version          VHDL-2002
Classification            Language Modeling Enhancement or Deficiency
Summary                   multidimensional array in IEEE Std 1076.6-2004
Relevant_LRM_Sections     
Related_Issues            
Key_Words_and_Phrases     
Authors_Name              Yannick Grugni
Authors_Phone_Number      +(32)16.390.742   
Authors_Fax_Number        
Authors_Email_Address     yannick.grugni@philips.com
Authors_Affiliation       
Authors_Address1          
Authors_Address2          
Authors_Address3          

Current Status:           Submitted

Superseded By:

------------------------
Date Submitted:           10 March 2005
Date Analyzed:		  7 April 2005
Author of Analysis:	  Peter Ashenden
Revision Number:          1
Date Last Revised:	  7 April 2005

Description of Problem
----------------------

Hi, 
    
    Is there not an error in the chapter 8.14.12 in the new 2004
    version of the"IEEE Standard for VHDL Register Transfer Level
    (RTL) Synthesis":
    
    If you look to the chapter 8.3.2.1, multidimensional array (or at
    least 2 dimension arrays) are now supported (the text is not
    stricken anymore )but if you look to the chapter 8.14.1.12, the
    index n in a'LEFT[(n)] is still stricken. This is for me a bit
    contradictory. What do you think of?
    
    8.3.2.1 Array types 
        array_type_definition :::    unconstrained_array_definition | 
                                     constrained_array_definition 
       unconstrained_array_definition ::= array ( index_subtype_definition 
              { , index_subtype_definition} ) of element_subtype_indication 
       constrained_array_definition ::= array index_constraint of 
                                       element_subtype_indication 
       index_subtype_definition ::= type_mark range <> 
       index_constraint ::= ( discrete_range { , discrete_range } 
       discrete_range ::= discrete_subtype_indication | range 
       range ::= range_attribute_name | 
       simple_expression direction simple_expression 
      ... 
    
    8.14.1.2 Attributes whose prefix is an array object a, or
           attributes of a constrained array

       subtype a 
       a'LEFT[(n)] 
       a'RIGHT[(n)] 
       a'HIGH[(n)] 
       a'LOW[(n)] 
       a'RANGE[(n)] 
      a'REVERSE_RANGE[(n)] 
      a'LENGTH[(n)] 
      ... 
    
    Kind Regards,
    Yannick
    

Proposed Resolution
-------------------



VASG-ISAC Analysis & Rationale
------------------------------

It would appear that the issue author is correct, and that the
stricken optional parameters in 8.14.1.2 should be reinstated.

However, consideration of IEEE 1076.6 is not within the scope of the
ISAC, nor indeed within that of the P1076 Working Group.  The issue
should be forwarded to the DASC for delegation to the P1076.6 Working
Group.


VASG-ISAC Recommendation for IEEE Std 1076-2002
-----------------------------------------------

No change.  Forward the issue to the DASC.


VASG-ISAC Recommendation for Future Revisions
---------------------------------------------

No change.


-------------END OF IR----------------