VHDL Issue Number:      0071
Classification:         Language Definition Problem
Language Version:       VHDL-87
Summary:                An alias of a non-locally-static name is a locally
                        static name.
Related Issues:         0067
Relevant LRM Sections:  4.3.4, 6.1
Key Words and Phrases:  Alias
Current Status:         Analyzed
1076-1993 Disposition:  Closed (All Issues Completely Addressed)
Disposition Rationale:  LRM was updated.
Superseded By:          N/A
-----------------------
Date Submitted:         1989/02/10
Author of Submission:   Doug Dunlop
Author's Affiliation:   Intermetrics, Inc.
Author's Post Address:  4733 Bethesda Ave #415
                        Bethesda, MD  20814
Author's Phone Number:  (301) 657-3775
Author's Fax Number:    
Author's Net Address:   dunlop@inmet.inmet.com
-----------------------
Date Analyzed:          1991/04/01
Author of Analysis:     Chuck Swart (cswart@mentor.com)
Revision Number:        $Revision: 1.9 $
Date Last Revised:      $Date: 1995/08/03 16:29:09 $


Description of Problem
----------------------
If N is a generic parameter and S is an bit vector signal and a declaration

            alias X : Bit is S(N);

appears, a reference to X passes the test for a locally static signal name.
Hence it can appear in a target aggregate where as S(N) could not have.  This
does not make sense.


Proposed Resolution
-------------------
Assume that a reference to an alias of a non-locally-static name is a
non-locally-static name.


VASG-ISAC Analysis & Rationale
------------------------------
This is a reasonable interpretation.  However, we are concerned that the LRM
language will be difficult to craft, particularly since there are a number
of problems involving static names.  We have decided to leave this to the 92
language designers.


VASG-ISAC Recommendation for IEEE Std 1076-1987
-----------------------------------------------
Assume that an alias of a non-locally-static name is a non-locally-static name.


VASG-ISAC Recommendation for Future Revisions
---------------------------------------------
Carefully reword the requirements for static names in the LRM so that an alias
of a non-locally-static name is not a locally-static name.