VHDL Issue Number:      0221
Classification:         Language Deficiencies and Modeling Problems
Language Version:       VHDL-87
Summary:                Missing rule in aggregate variable assignments
Related Issues:         aggregate signal assignments
Relevant LRM Sections:  8.4, 8.3
Key Words and Phrases:  aggregate variable assignments, others
Current Status:         Superseded (ISAC Issues Outstanding)
1076-1993 Disposition:  Superseded (ISAC Issues Outstanding)
Disposition Rationale:  
Superseded By:          1042
-----------------------
Date Submitted:         1991/03/08
Author of Submission:   Laurence Groves
Author's Affiliation:   Synopsys Inc.
Author's Post Address:  1098 Alta Ave.
                        Mountain View, CA 94043
Author's Phone Number:  (415) 962-5426
Author's Fax Number:    
Author's Net Address:   larry@Synopsys.COM
-----------------------
Date Analyzed:          TBD
Author of Analysis:     TBD
Revision Number:        $Revision: 1.11 $
Date Last Revised:      $Date: 1995/08/04 01:45:13 $


Description of Problem
----------------------
LRM Section 8.3, paragraph 4, states:

        If the target of a signal assignment statement is in the form of an
        aggregate, and the expression in an element association of that
        aggregate is a signal name that denotes a given signal, then the given
        signal and each subelement thereof (if any) are said to be identified
        by that element association as targets of the assignment statement.  It
        is an error if a given signal or any subelement thereof is identified
        as a target by more than one element association in such an aggregate.
        Furthermore, it is an error if an element association in such an
        aggregate contains an others choice or a choice that is a discrete
        range.

LRM Section 8.4, paragraph 4, states:

        If the target of a variable assignment statement is in the form of an
        aggregate, and  the locally static name in an element association of
        that aggregate denotes a given variable or denotes another variable of
        which the given variable is a subelement, then the element association
        is said to identify the given variable as a target of the assignment
        statement.  It is an error if a given variable is identified as a
        target by more than one element association in such an aggregate.

The rule/sentence (last sentence of LRM 8.3 para. 4):

        Furthermore, it is an error if an element association in such
        an aggregate contains an others choice or a choice that is a
        discrete range.

is missing from LRM Section 8.4, paragraph 4.


Proposed Resolution
-------------------
TBD

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


VASG-ISAC Recommendation for IEEE Std 1076-1987
-----------------------------------------------
TBD


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