VHDL2017 < P1076

P1076 Web>VHDL2017 (2021-03-09, JimLewis) (raw view)EditAttach
---+!! VHDL-2019
---++!! Table of Content:

%TOC%

---

---++ Approved LCS Documents

| *LCS*  | *Description*  | *Examples*  |
| [[LCS2016_001][LCS-2016-001]]  | Partially Connected Vectors on Port Map  | [[LCS2016_001_Examples][Example]] |
| [[LCS2016_002][LCS-2016-002]]  | Allow access and protected type parameters on function interfaces | |
| [[LCS2016_004][LCS-2016-004]]  | Allow PT methods with AT and FT parms  | |
| [[LCS2016_006a][LCS-2016-006a]] | File IO / Textio updates  | |
| [[LCS2016_006c][LCS-2016-006c]] | File IO / Directory I/O  | |
| [[LCS2016_006e][LCS-2016-006e]] | Allow access to system environment variables (baseline) | [[LCS2016_006e_Examples][Example]] |
| [[LCS2016_006f][LCS-2016-006f]] | Expose standard conditional analysis identifiers | |
| [[LCS2016_007][LCS-2016-007]]  | Sequential Declaration Regions  | [[LCS_2016_007_Examples][Example]]  |
| [[LCS2016_011][LCS-2016-011]]  | Date/Time functions  | See LCS |
| [[LCS2016_012][LCS-2016-012]]  | 'IMAGE and TO_STRING for composite types  | |
| [[LCS2016_014][LCS-2016-014]]  | Composites of Protected Types  | |
| [[LCS2016_014a][LCS-2016-014a]] | Pointers to Composites of Protected Types  | |
| [[LCS2016_015][LCS-2016-015]]  | Report Calling Path  | |
| [[LCS2016_015a][LCS-2016-015a]] | ReportCallingPath - Current File and Line by function | |
| [[LCS2016_016][LCS-2016-016]]  | Anonymous Types  | |
| [[LCS2016_018][LCS-2016-018]]  | Attributes for Enumerated Types  | [[LCS2016_018_Examples][Examples]]  |
| [[LCS2016_018a][LCS-2016-018a]] | New attributes - ='index=  | |
| [[LCS2016_018d][LCS-2016-018d]] | New attributes - ='designated_type=  | |
| [[LCS2016_019][LCS-2016-019]]  | Inferring Constraints from Initial Values for Signals and Variables | |
| [[LCS2016_023][LCS-2016-023]]  | Relax Library Requirement on Configurations | |
| [[LCS2016_026c][LCS-2016-026c]] | LongIntegers | See LCS |
| [[LCS2016_030][LCS-2016-030]]  | Garbage Collection | |
| [[LCS2016_032][LCS-2016-032]]  | PATH_NAME and Shared Variables and Subprograms | |
| [[LCS2016_033][LCS-2016-033]]  | Composition with Protected Types | |
| [[LCS2016_034][LCS-2016-034]]  | Protected Types with Generic Clause | |
| [[LCS2016_036a][LCS-2016-036a]] | Allow for conditional expressions in a declaration (baseline) | |
| [[LCS2016_041][LCS-2016-041]]  | Record Introspection / Type Reflection | [[LCS2016_041_Examples][Examples]] |
| [[LCS2016_043][LCS-2016-043]]  | Attributes for PSL | |
| [[LCS2016_045a][LCS-2016-045a]] | Interface - defines new mode view construct for composite interface objects | |
| [[LCS2016_045c][LCS-2016-045c]] | Interface - 'CONVERSE for a mode view | |
| [[LCS2016_047][LCS-2016-047]]  | Protected Type: Shared Variables On Entity Interface | |
| [[LCS2016_049][LCS-2016-049]]  | Map Generics On Subprogram Call | |
| [[LCS2016_050][LCS-2016-050]]  | API for Assert  | |
| [[LCS2016_055a][LCS-2016-055a]] | Syntax regularization - component declarations | |
| [[LCS2016_059][LCS-2016-059]]  | Array Type Generics | |
| [[LCS2016_059a][LCS-2016-059a]] | Allow ordering on any scalar array - related to Array Type Generics | |
| [[LCS2016_061][LCS-2016-061]]  | Conditional compilation | |
| [[LCS2016_071a][LCS-2016-071a]] | Extra optional semicolon at the end of interface_list | |
| [[LCS2016_072b][LCS-2016-072b]] | Function Knows Return Vector Size | |
| [[LCS2016_075][LCS-2016-075]]  | Closely related record types | |
| [[LCS2016_082][LCS-2016-082]]  | Syntax regularization: empty records | |
| [[LCS2016_086][LCS-2016-086]]  | All Interface Lists Can Be Ordered | |
| [[LCS2016_094a][LCS-2016-094a]] | Conditional Return Statement | |
| [[LCS2016_099][LCS-2016-099]]  | Extended Ranges | [[LCS2016_099_Examples][Examples]] |
| *LCS*  | *ISAC ISSUE*  | |
| [[LCS2016_PSLa][LCS-2016-PSL_main]]  | PSL Harmonization - keywords  | |
| [[LCS2016_PSLb][LCS-2016-PSL]]  | PSL Harmonization - change 2005 to 2010  | |
| [[LCS2016_Encrypt][LCS_2016_1735_Encrypt]] | Encryption Updates for 1735  | |
| [[LCS2016_I03][LCS-2016-I03]]  | Signatures for formal generic subprograms in a generic association lists | |
| [[LCS2016_I04][LCS-2016-I04]]  | Enhanced Generics In Attribute Specs  | |
| [[LCS2016_I05][LCS-2016-I05]]  | Repair example in Section 14.2  | |
| [[LCS2016_I06][LCS-2016-I06]]  | Repair example in Section 7.3.2.1  | |
| [[LCS2016_I08][LCS-2016-I08]]  | Repair LRM Section 16.8.2.4.3 Missing Paragraph Text  | |
| [[LCS2016_I09][LCS-2016-I09]]  | Repair example in Section 5.6.3  | |
| [[LCS2016_I10][LCS-2016-I10]]  | Bit String Literals Corner Cases  | |
| [[LCS2016_I11][LCS-2016-I11]]  | Fix Generate Statement  | |
| [[LCS2016_I12][LCS-2016-I12]]  | Forcing Out Ports  | |
| [[LCS2016_I13][LCS-2016-I13]]  | Precedence of Unary Operators  | |
| [[LCS2016_I14][LCS-2016-I14]]  | Strings from embedded identifiers  | |
| [[LCS2016_I16][LCS-2016-I16]]  | Repair Example in Section 23.21  | |
| [[LCS2016_IEEEStdUpdates][LCS-2016-IEEEStdUpdates]] | Updating IEEE Standard references  | |
| [[LRM2008TypographicalIssues][LCS-2016-I17]]  | LRM2008 Typographical Issues  | |

---++ LCS Removed during balloting

| *LCS*  | *Description*  | *Examples*  |
| [[LCS2016_007a][LCS-2016-007a]] | Sequential Declaration Regions - corresponding short form | |
| [[LCS2016_028][LCS-2016-028]]  | Selected names for types - implementation of external names for types | |
| [[LCS2016_070][LCS-2016-070]]  | Bidirectional Connections | |

---++ LCS Documents Deferred to a future revision
| *LCS*  | *Proposal*  | *Note*  |
| [[TopLCS2016_006b][LCS-2016-006b]] | DREAD, DWRITE, Integer D, H, O, B Read and Write  | Not finished before deadline  |
| [[TopLCS2016_006g][LCS-2016-006g]] | Allow access to system environment variables (explorable)  | Not enough votes  |
| [[TopLCS2016_014b][LCS-2016-014b]] | 'access attribute  | Needs more reasoning  |
| [[TopLCS2016_015b][LCS-2016-015b]] | ReportCallingPath - Current File and Line by attributes  | Not enough votes  |
| [[TopLCS2016_051][LCS-2016-051]]  | Additional Operators to Integers  | Not enough votes  |
| [[TopLCS2016_069a][LCS-2016-069a]] | Record Introspection & Indexing  | Not finished before deadline  |
| [[TopLCS2016_069b][LCS-2016-069b]] | Record Introspection & Indexing  | Not finished before deadline  |
| [[TopLCS2016_070a][LCS-2016-070a]] | Bidirectional Connections - signal map aspect  | Not finished before deadline  |
| [[TopLCS2016_071b][LCS-2016-071b]] | Extra comma at the end of lists  | Not enough votes  |
| [[TopLCS2016_072a][LCS-2016-072a]] | Accessing scalar attributes from within a function  | Too many NO votes  |
| [[TopLCS2016_080a][LCS-2016-080a]] | Deferred Shared Variables  | Not finished before deadline  |
| [[TopLCS2016_080b][LCS-2016-080b]] | Deferred Shared Variables  | Not finished before deadline  |
| [[TopLCS2016_099a][LCS-2016-099a]] | Extension to LCS 099  | Needs more reasoning  |
| *LCS*  | *ISAC ISSUE*  | *Note*  |
| [[TopLCS2016_I07][LCS-2016-I07]]  | Fix 2008 Context Clause  | Rejected to allow a later improvement |
| [[TopLCS2016_I15][LCS-2016-I15]]  | Generate Statement Alternate Path Names  | |
| [[TopLCS2016_I15a][LCS-2016-I15a]] | Generate Statement Alternate Path Names - Dissenting Opinion | |

---++ Rejected and/or Subsumed LCS Documents
| *LCS*  | *Proposal*  | *Note* |
| [[TopLCS2016_002a][LCS-2016-002a]] | Allow access and protected type parameters on function interfaces - strict  | Elected version is now LCS-2016-002 |
| [[TopLCS2016_002b][LCS-2016-002b]] | Allow access and protected type parameters on function interfaces - Laisse Faire | Elected version is now LCS-2016-002 |
| [[TopLCS2016_002c][LCS-2016-002c]] | Allow access and protected type parameters on function interfaces - Less strict  | Elected version is now LCS-2016-002 |
| [[TopLCS2016_006d][LCS-2016-006d]] | Environment variables and conditional analysis identifier API  | Alternative to LCS-2016-006e/f/g  |
| [[TopLCS2016_018b][LCS-2016-018b]] | Attribute shorthands  | Merged into LCS-2016-018  |
| [[TopLCS2016_018c][LCS-2016-018c]] | subsumed by LCS-2016-018  | Merged into LCS-2016-018  |
| [[TopLCS2016_026][LCS-2016-026]]  | Long Integers - 512 bit  | Elected version is LCS-2016-026c  |
| [[TopLCS2016_026a][LCS-2016-026a]] | Long Integers - 64 bit integer and subtypes  | Elected version is LCS-2016-026c  |
| [[TopLCS2016_026b][LCS-2016-026b]] | Long Integers - 64 bit integer and 32 bit integer  | Elected version is LCS-2016-026c  |
| [[TopLCS2016_028a][LCS-2016-028a]] | Anonymous types for external names - implementation of external names for types  | Elected version is LCS-2016-028  |
| [[TopLCS2016_036][LCS-2016-036]]  | superseded by LCS-2016-036a  | Superseded by LCS-2016-036a  |
| [[TopLCS2016_036b][LCS-2016-036b]] | Allow for conditional expressions in a declaration (cond. attributes)  | Not enough votes  |
| [[TopLCS2016_055][LCS-2016-055]]  | Syntax regularization - end  | Not enough votes  |
| [[TopLCS2016_060][LCS-2016-060]]  | New Predefined Attributes: 'actual, and 'formal  | Not working / concept study  |
| [[TopLCS2016_063][LCS-2016-063]]  | Wait Level - Signal Expressions in Signal Parameter Map  | Not enough votes  |
| [[TopLCS2016_072][LCS-2016-072]]  | Function Knows Return Vector Size  | Elected version is LCS-2016-072b  |
| [[TopLCS2016_072c][LCS-2016-072c]] | Function Knows Return Vector Size - a rev to LCS-2016-072 that addresses issues  | Elected version is LCS-2016-072b  |
| [[TopLCS2016_094][LCS-2016-094]]  | Conditional Return Statement  | Elected version is LCS-2016-094a  |
| *LCS*  | *ISAC ISSUE*  | *Note*  |
| [[TopLCS2016_I18][LCS-2016-I18]]  | The Sensitivity List for Process(all) Should Not Include Signals in All Reachable Subprograms | |

---++ Proposals deferred to a future revision

Will be listed soon ...
Topic revision: r9 - 2021-03-09 - 01:06:21 - JimLewis
P1076