(r481) Vhdl2019CollectedRequirements < P1076

P1076 Web>Vhdl2019CollectedRequirements (revision 481) (raw view)~~EditAttach~~
---+!! VHDL-2019 revision LCS, Proposals, and Requirements

Caution: Do not add new stuff here.  The current revision is 202X. 

This page contains the Requirements, Proposals, and LCS developed as part of the VHDL-2019 revision.  

Caution: Do not add new stuff here.  The current revision is 202X. 

---

---++!! Sections:

%TOC%

---

---++ LCS Section

---+++ Approved LCS Documents
Note these LCS were the starting point for revising the draft.   
Some aspects of these may have been revised during balloting.
As always the current standard is the defacto implementation of the language changes.

| *LCS*  | *Proposal*  | *LRM State* | *D3A Reviewer* | *Final Status* |
| [[LCS2016_001][LCS-2016-001]] | [[Partiallyconnectedvectorsonportmap][Partially Connected Vectors on Port Map]]  | Done  | Jim | |
| [[LCS2016_002][LCS-2016-002]]  | [[FunctionInterface][Allow access and protected type parameters on function interfaces]] Laisse Faire  | Done  | Jim | |
| [[LCS2016_004][LCS-2016-004]]  | [[MethodParametersAccessTypes][Allow PT methods with AT and FT parms]]  | Done  | Jim | |
| [[LCS2016_006a][LCS-2016-006a]] | [[FileIo][File IO / Textio updates ]]  | 4  | Rob | |
| [[LCS2016_006c][LCS-2016-006c]] | [[FileIo][File IO / Directory I/O]]  | 7  | Rob | |
| [[LCS2016_006e][LCS-2016-006e]]  | Allow access to system environment variables (baseline) | Done | Jim | |
| [[LCS2016_006f][LCS-2016-006f]]  | Expose standard conditional analysis identifiers | Jim | Jim | |
| [[LCS2016_007][LCS-2016-007]]  | [[SequentialDeclare][Sequential Declaration Regions]]  | Todo  | Jim/Lieven | |
| [[LCS2016_007a][LCS-2016-007a]] | [[SequentialDeclare][Sequential Declaration Regions]] corresponding short form | Done  | Jim | Not Done, Forward to 2020X |
| [[LCS2016_011][LCS-2016-011]]  | [[DateTime][Date/Time functions]]  | 1  | Rob | |
| [[LCS2016_012][LCS-2016-012]]  | [[CompositeValueString]['IMAGE and TO_STRING for composite types]]  | Todo  | Jim | |
| [[LCS2016_014][LCS-2016-014]]  | [[CompositesProtectedTypes][Composites of Protected Types]]  | Todo | Jim | |
| [[LCS2016_014a][LCS-2016-014a]]  | Pointers to Composites of Protected Types  | Todo | Jim | |
| [[LCS2016_015][LCS-2016-015]]  | [[ReportCallingPath][Report Calling Path]]  | Done  | Jim | |
| [[LCS2016_015a][LCS-2016-015a]]  | [[ReportCallingPath]] Current File and Line by function | Done  | Jim | |
| [[LCS2016_016][LCS-2016-016]]  | [[AnonymousTypes][Anonymous Types]]  | Done  | Jim | |
| [[LCS2016_018][LCS-2016-018]]  | [[EnumAttributes][Attributes for Enumerated Types]]  | 2  | Patrick | |
| [[LCS2016_018a][LCS-2016-018a]]  | New attributes  | 1 | Patrick | |
| [[LCS2016_018d][LCS-2016-018d]]  | ='designated_type= |  2 | Patrick | |
| [[LCS2016_019][LCS-2016-019]]  | [[InitObjectSizing][Inferring Constraints from Initial Values for Signals and Variables]]  | Almost  | Jim | |
| [[LCS2016_023][LCS-2016-023]]  | [[RemoveConfigurationLibraryRequirement][Relax Library Requirement on Configurations]] | Done  | Jim | |
| [[LCS2016_026c][LCS-2016-026c]]  | LongIntegers  | 1  | Rob | |
| [[LCS2016_028][LCS-2016-028]]  | [[ExternalNameTypes][Selected names for types]] implementation of external names for types | Done  | Jim | Not Done, Forward to 2020X |
| [[LCS2016_030][LCS-2016-030]]  | [[GarbageCollection][Garbage Collection]]  | 1  | Rob | |
| [[LCS2016_032][LCS-2016-032]]  | [[PathnameSharedVarSubprograms][PATH_NAME and Shared Variables and Subprograms]]  | Done  | Jim | |
| [[LCS2016_033][LCS-2016-033]]  | [[ProtectedTypeComposition][Composition with Protected Types]]  | Done  | Jim | |
| [[LCS2016_034][LCS-2016-034]]  | [[GenericTypes][Protected Types with Generic Clause]]  | Todo | Jim | |
| [[LCS2016_036a][LCS-2016-036a]] | [[ConditionalExpressions][Allow for conditional expressions in a declaration (baseline)]]  | Almost | Jim | |
| [[LCS2016_041][LCS-2016-041]]  | [[RecordIntrospection][Record Introspection]] [[TypeReflection][Type Reflection]]  | 1 | Lieven | |
| [[LCS2016_043][LCS-2016-043]]  | [[PslAttributes][Attributes for PSL]]  | Done  | Jim | |
| [[LCS2016_045a][LCS-2016-045a]] | [[InterfaceConstructandPortModeConfigurations][Interface - defines new mode view construct for composite interface objects]]  | Todo | Jim | |
| [[LCS2016_045c][LCS-2016-045c]] | [[InterfaceConstructandPortModeConfigurations][Interface - 'CONVERSE for a mode view]]  | Almost | Jim | |
| [[LCS2016_047][LCS-2016-047]]  | [[ProtectedTypeEntity][Protected Type: Shared Variables On Entity Interface]]  | Almost | Jim | |
| [[LCS2016_049][LCS-2016-049]]  | [[MapSubprogramGenericOnCall][Map Generics On Subprogram Call]]  | Almost  | Jim | |
| [[LCS2016_050][LCS-2016-050]]  | [[AssertApi][ API for Assert]]  | Done  | Jim | |
| [[LCS2016_055a][LCS-2016-055a]]  | [[SyntaxRegularlization][Syntax regularization - component declarations]]  | Done  | Jim | |
| [[LCS2016_059][LCS-2016-059]] | [[ArrayTypeGenerics][Array Type Generics]]  | 5  | Patrick (in progress) | |
| [[LCS2016_059a][LCS-2016-059a]] | Allow ordering on any scalar array - related to Array Type Generics | 2 | Patrick | |
| [[LCS2016_061][LCS-2016-061]]  | [[ConditionalCompilation][Conditional compilation]]  | Done  | Jim | |
| [[LCS2016_070][LCS-2016-070]]  | [[BidirectionalConnections][Bidirectional Connections]]  | 2  | Patrick | Not Done, Forward to 2020X |
| [[LCS2016_071a][LCS-2016-071a]] | [[OptionalSemicolon][Extra optional semicolon at the end of interface_list]]  | Done  | Jim | |
| [[LCS2016_072b][LCS-2016-072b]]  | [[FunctionKnowsVectorSize][Function Knows Return Vector Size]]  | Almost | Jim | |
| [[LCS2016_075][LCS-2016-075]]  | [[RelatedRecords][Closely related record types]]  | Almost  | Jim | |
| [[LCS2016_082][LCS-2016-082]]  | [[EmptyRecord][Syntax regularization: empty records]]  | Done  | Jim | |
| [[LCS2016_086][LCS-2016-086]]  | [[OrderingAllInterfaceLists][All Interface Lists Can Be Ordered]]  | Almost  | Jim | |
| [[LCS2016_094a][LCS-2016-094a]]  | [[ConditionalReturn][Conditional Return Statement]]  | Almost  | Jim | |
| [[LCS2016_099][LCS-2016-099]]  | [[ExtendedRanges][Extended Ranges]]  | 1 | Patrick | |
| *LCS*  | *ISAC ISSUE*  | *Version* | *D3A Reviewer* | *Final Status* |
| [[LCS2016_PSLa][LCS-2016-PSL_main]]  | [[PslHarmonization][PSL Harmonization - keywords]]  | Done  | Jim | |
| [[LCS2016_PSLb][LCS-2016-PSL]]  | [[PslHarmonization][PSL Harmonization - change 2005 to 2010]]  | Done  | Jim | |
| [[LCS2016_Encrypt][LCS_2016_1735_Encrypt]]  | [[EncryptionUpdates][Encryption Updates for 1735]]  | Done  | Jim | |
| [[LCS2016_IEEEStdUpdates][LCS-2016-IEEEStdUpdates]] | Updating IEEE Standard references | Todo | Jim | |
| [[LCS2016_I03][LCS-2016-I03]]  | [[AssociationListSignatures][Signatures for formal generic subprograms in a generic association lists]]  | Done  | Jim | |
| [[LCS2016_I04][LCS-2016-I04]]  | [[EnhancedGenericsInAttributeSpecs][Enhanced Generics In Attribute Specs]]  | Done  | Jim | |
| [[LCS2016_I05][LCS-2016-I05]]  | [[Repair2008LRM142Example][Repair example in Section 14.2]]  | Done  | Jim | |
| [[LCS2016_I06][LCS-2016-I06]]  | [[Fix2008LRM7321][Repair example in Section 7.3.2.1]]  | Almost  | Jim | |
| [[LCS2016_I08][LCS-2016-I08]]  | [[Repair2008LRM168243Section][Repair LRM Section 16.8.2.4.3 Missing Paragraph Text]]  | Done  | Jim | |
| [[LCS2016_I09][LCS-2016-I09]]  | [[RepairExample563][Repair example in Section 5.6.3]]  | Done  | Jim | |
| [[LCS2016_I10][LCS-2016-I10]]  | [[BitStringLiteralsCornerCases][Bit String Literals Corner Cases]]  | Done  | Jim | |
| [[LCS2016_I11][LCS-2016-I11]]  | [[FixGenerateStatement][Fix Generate Statement]] | Done  | Jim | |
| [[LCS2016_I12][LCS-2016-I12]]  |  [[ForcingOutports][Forcing Out Ports]]  | Done  | Jim | |
| [[LCS2016_I13][LCS-2016-I13]]  | [[PrecedenceOfUnaryOperators][Precedence of Unary Operators]]  | Todo  | Jim | |
| [[LCS2016_I14][LCS-2016-I14]]  | [[StringsFromExtendedId][Strings from embedded identifiers]]  | Done  | Jim | |
| [[LCS2016_I16][LCS-2016-I16]]  | [[RepairExampleInSection2321Proposal][Repair Example in Section 23.21]]  | Todo  | Jim | |
| [[LRM2008TypographicalIssues][LCS-2016-I17]]  | [[LRM2008TypographicalIssues][LRM2008 Typographical Issues]]  | Done  | Jim | |

---+++ LCS Documents Deferred to a future revision
| *LCS*  | *Proposal*  | | *Status* |
| [[TopLCS2016_006b][LCS-2016-006b]]  | [[FileIo][DREAD, DWRITE, Integer D, H, O, B Read and Write]]  | -  | 202X |
| [[TopLCS2016_006g][LCS-2016-006g]]  | Allow access to system environment variables (explorable) | 3 | Need Use Case |
| [[TopLCS2016_015b][LCS-2016-015b]]  | [[ReportCallingPath]] Current File and Line by attributes | 1  | Subsumed by alternative 15a |
| [[TopLCS2016_072a][LCS-2016-072a]] | Accessing scalar attributes from within a function: Spinoff from Function Knows Return Vector Size | 12  | Rejected |
| [[TopLCS2016_080a][LCS-2016-080a]]  | [[DeferredSharedVariables][Deferred Shared Variables]]  | 2  | 202X |
| [[TopLCS2016_080b][LCS-2016-080b]]  | [[DeferredSharedVariables][Deferred Shared Variables]]  | 2  | 202X |
| [[TopLCS2016_099a][LCS-2016-099a]]  | Extension to LCS 099 - intended to make more things locally static | 1 | 202X |
| *LCS*  | *ISAC ISSUE*  | | *Status* |
| [[TopLCS2016_I15][LCS-2016-I15]]  | [[AlternatePathName][Generate Statement Alternate Path Names - beware of pathname for external names vs RV'path_name]]  | 1  | 202X |
| [[TopLCS2016_I15a][LCS-2016-I15a]]  | [[AlternatePathName][Generate Statement Alternate Path Names - Dissenting Opinion]]  | 1  | 202X |

---+++ Rejected and/or Subsumed LCS Documents
| *LCS*  | *Proposal*  | | *Status* |
| [[TopLCS2016_002a][LCS-2016-002a]]  | [[FunctionInterface][Allow access and protected type parameters on function interfaces]] strict | 3  | Alt Done |
| [[TopLCS2016_002b][LCS-2016-002b]]  | [[FunctionInterface][Allow access and protected type parameters on function interfaces]] Laisse Faire | 3  | Alt Done |
| [[TopLCS2016_002c][LCS-2016-002c]]  | [[FunctionInterface][Allow access and protected type parameters on function interfaces]] Less strict  | 3  | Alt Done |
| [[TopLCS2016_006d][LCS-2016-006d]]  | Environment variables and conditional analysis identifier API | 4 | Alt Done |
| [[TopLCS2016_014b][LCS-2016-014b]]  | 'access attribute  | 1  | 202X |
| [[TopLCS2016_018b][LCS-2016-018b]]  | <del>Attribute shorthands</del>  | 1  | Alt Done  |
| [[TopLCS2016_018c][LCS-2016-018c]]  | subsumed by [[LCS2016_018][LCS-2016-018]]  | 1  | Alt Done  |
| [[TopLCS2016_026][LCS-2016-026]]  | [[LongIntegers][Long Integers]] - 512 bit  | 1  | 202X |
| [[TopLCS2016_026a][LCS-2016-026a]] | [[LongIntegers][Long Integers]] - 64 bit integer and subtypes |  1  | 202X |
| [[TopLCS2016_026b][LCS-2016-026b]] | [[LongIntegers][Long Integers]] - 64 bit integer and 32 bit integer |  1  | 202X |
| [[TopLCS2016_028a][LCS-2016-028a]]  | [[ExternalNameTypes][Anonymous types for external names]] implementation of external names for types  | 1  | 202X partial implemented |
| [[TopLCS2016_036][LCS-2016-036]]  | superseded by [[LCS2016_036a][LCS-2016-036a]]  | 1  | Alt Done |
| [[TopLCS2016_036b][LCS-2016-036b]] | [[ConditionalExpressions][Allow for conditional expressions in a declaration (cond. attributes)]]  | 1 | Alt Done |
| [[TopLCS2016_045b][LCS-2016-045b]] | [[InterfaceConstructandPortModeConfigurations][Interface - defines new null mode for composite interface element actual /formal isolation]]  | 1 | 202X |
| [[TopLCS2016_051][LCS-2016-051]]  | [[IntegerOperators][Additional Operators to Integers]]  | 1  | 202X |
| [[TopLCS2016_055][LCS-2016-055]]  | [[SyntaxRegularlization][Syntax regularization - end]]  | 1  | Alt Minimal Done |
| [[TopLCS2016_060][LCS-2016-060]]  | [[NewPredefinedAttributeActual][New Predefined Attributes: 'actual, and 'formal]]  | 1  | rejected |
| [[TopLCS2016_063][LCS-2016-063]]  | [[WaitLevel][Wait Level - Signal Expressions in Signal Parameter Map]]  | 1  | 202X |
| [[TopLCS2016_069a][LCS-2016-069a]]  | [[RecordMemberAttribute][Record Introspection & Indexing]]  | -  | Alt Imp |
| [[TopLCS2016_069b][LCS-2016-069b]]  | [[RecordMemberAttribute][Record Introspection & Indexing]]  | -  | Alt Imp |
| [[TopLCS2016_070a][LCS-2016-070a]]  | [[BidirectionalConnections][Bidirectional Connections]]  | 1  | 202X - coord with 70 |
| [[TopLCS2016_071b][LCS-2016-071b]] | [[OptionalSemicolon][Extra comma at the end of lists]]  | 1  | 202X |
| [[TopLCS2016_072][LCS-2016-072]]  | [[FunctionKnowsVectorSize][Function Knows Return Vector Size]]  | 13  | Alt Done |
| [[TopLCS2016_072c][LCS-2016-072c]]  | [[FunctionKnowsVectorSize][Function Knows Return Vector Size]] A revision to [[TopLCS2016_072][LCS-2016-072]] that addresses issues | 2 | Alt Done |
| [[TopLCS2016_094][LCS-2016-094]]  | [[ConditionalReturn][Conditional Return Statement]]  | 2  | Alt Done |
| *LCS*  | *ISAC ISSUE*  | | *Status* |
| [[TopLCS2016_I07][LCS-2016-I07]]  | [[Fix2008ContextClause][Fix 2008 Context Clause]]  | 1  | 202X |
| [[TopLCS2016_I18][LCS-2016-I18]]  | [[ProcessAllIncudesAllReachableSubprograms][The Sensitivity List for Process(all) Should Not Include Signals in All Reachable Subprograms]]  | 1  | 202X |

---++ Proposals Section

Details of and links to all proposal.

---+++ Proposal Summary + Link to Proposals

Status Values
   * RAW - initial development, may change frequently, comments welcome
   * RFC - draft, needs comments
   * REVIEW - requesting more formal review in working group meeting
   * STABLE - done
   * LCS - LCS Editing, Voting, Approval, or Rejection in process
   * Subsumed - subsumed by another proposal/LCS

| *Item* | *Who*  | *Status*  | *LRM Change Definition*  | *Rank* | *Description*  | *Final Status* ||
| *Interface Related Proposals*  | | | | | | ||
| [[InterfaceAndBundleEnhancements][Interface and Bundle Enhancements]] | Main.P1076Group  | In Progress  | | 22  | WG generated interface and bundle enhancements  | Alt Done ||
| [[Partiallyconnectedvectorsonportmap][Partially Connected Vectors on port map]] | Main.KevinJennings  | LCS %BR% approved | %LIMEBG% [[LCS2016_001][LCS-2016-001]]%ENDBG%  | 1  | Allows a port map vector (array) range slice to be left *open*. | Done ||
| [[NewBusModeForBidirectionalPortSignals]] | Main.BrianDrummond  | | | 40  | Add a "Bus" port mode for bidirectional port signals  | Alt Done ||
| [[ProtectedTypesPublicSignal][Protected Types with Public Signals]] | Main.JimLewis  | | | 44  | | 202X ||
| [[InterfaceConstructandPortModeConfigurations][Interface Construct and Port Mode Configurations]] | Main.BrentHayhoe  | LCS in progress  | %ORANGEBG% [[LCS2016_045a][LCS-2016-045a]] %BR% [[TopLCS2016_045b][LCS-2016-045b]] %ENDBG% | 45  | | Alt Done ||
| [[PackageAsInterface][Packages as an Interface Construct]] | Main.JimLewis  | | | 53  | | ?? ||
| [[ImplicitConnections][Implicit Parameter and Port Connections]] | Main.JimLewis  | -  | | 54  | Shorthand notation for parameter and port maps | 202X ||
| [[BidirectionalConnections][Bidirectional Connections]] | Main.KevinCameron  | LCS in progress  | %ORANGEBG% [[LCS2016_070][LCS-2016-070]]%ENDBG% | 70  | Enable modeling of bidirectional components | 202X ||
| [[RelatedRecords][Closely related record types]] | Main.RyanHinton  | LCS in progress  | %ORANGEBG% [[LCS2016_075][LCS-2016-075]]%ENDBG% | 75  | | Done ||
| | | | | | | ||
| *Converting Things, Generally*  | | | | | | ||
| [[CompositeValueString][Extend IMAGE attribute to arrays and records]] | [[Main.RyanHinton][Ryan Hinton]]  | LCS in progress | %ORANGEBG% [[LCS2016_012][LCS-2016-012]]%ENDBG%  | 12 | Extend IMAGE attribute and/or TO_STRING implicit function to composite types: arrays and records. | Done ||
| [[RecordIntrospection][Record Introspection]] | Main.ChrisHiggs  | LCS in progress  | %ORANGEBG% [[LCS2016_041][LCS-2016-041]] %ENDBG% | 41 | Convert between a record and a vector | 202X ||
| [[RecordMemberAttribute][Record Introspection & Indexing]] | [[Main.BrentHahoe][Brent Hayhoe]] | LCS in progress | %ORANGEBG% [[TopLCS2016_069a][LCS-2016-069a]] %BR% [[TopLCS2016_069b][LCS-2016-069b]] %ENDBG%  | 69 | Proposal to allow indexing and scanning of elements within record structures. MERGED (WAS: Member attribute for records) | 202X ||
| | | | | | | ||
| *Language Regularization Proposals*  | | | | | | ||
| [[FunctionInterface][Allow access types and protected types on Function Interface]] | Main.JimLewis  | LCS %BR% completed | %ORANGEBG% [[LCS2016_002][LCS-2016-002]]%ENDBG%  | 2  | - | Done ||
| [[MethodParametersAccessTypes][Protected Type Methods with Parameters that are Access Type, Protected Type, or File Type]] | Main.JimLewis  | | %LIMEBG% [[LCS2016_004][LCS-2016-004]]%ENDBG%  | 4  | Method Parameters with access types | Done ||
| [[SequentialDeclare][Sequential Declaration Regions]] | Main.JimLewis  | LCS  | %LIMEBG% [[LCS2016_007][LCS-2016-007]]%ENDBG%  | 7  | - | Done ||
| [[CompositesProtectedTypes][Composites of Protected Types]] | Main.JimLewis  | LCS  | %LIMEBG% [[LCS2016_014][LCS-2016-014]]%ENDBG% and %ORANGEBG%%BR% [[LCS2016_014a][LCS-2016-014a]]%ENDBG%  | 14 | Arrays and records containing protected types | Done ||
| [[ProtectedTypesAliases][Protected types and aliases]] | Main.JimLewis  | Subsumed  | | 17 | Subsumed by [[LCS2016_033][LCS-2016-033]] | Alt Done ||
| [[InitObjectSizing][Sizing from initial values]] | Main.RyanHinton  | LCS %BR% completed | %ORANGEBG% [[LCS2016_019][LCS-2016-019]]%ENDBG%  | 19 | Allow signal and variable constraints to be deduced from initial values. This is already allowed for constants, but this proposal extends the capability to variables and signals. | Done ||
| [[RemoveConfigurationLibraryRequirement][Relax Library Requirement on Configurations]] | Main.CliffordWalinsky  | RFC  | %LIMEBG% [[LCS2016_023][LCS-2016-023]]%ENDBG% | 23 | Allow configurations to reside in different libraries from their corresponding entities. | Done ||
| [[ConditionalExpressions][Conditional Expressions and/or Operator]] | Main.CliffordWalinsky  | LCS %BR% completed | %ORANGEBG% [[TopLCS2016_036][LCS-2016-036]] %BR% [[LCS2016_036a][LCS-2016-036a]]%ENDBG%  | 36 | Allow the use of conditionals in expressions and initializers.  | Done ||
| [[SyntaxRegularlization][Syntax regularization - End]] | Main.JimLewis  | LCS complete  | %ORANGEBG% [[TopLCS2016_055][LCS-2016-055]]  | 55 | Particularly "End" | Alt Minimal Done ||
| [[AdditionToAllKeywordInSensitivityLists][Process-All and Implicit Signals]] | [[Main.BrentHahoe][Brent Hayhoe]] | RFC  | | 56 | Allow implicit signals alongside the ALL keyword in sensitivity lists.  | 202X ||
| [[OptionalSemicolon][Syntax regularization - Optional Semicolon]] | Main.BertDeJong  | LCS %BR% completed | %LIMEBG% [[LCS2016_071a][LCS-2016-071a]]%ENDBG% | 71 | Extra optional semicolon at end of interface_list  | Done ||
| [[PackageNameCase][Package Name Case Sensitivity]] | Main.JimLewis  | | | 79 | | 202X ||
| [[EmptyRecord][Syntax regularization - Empty records]] | Main.RyanHinton  | LCS in progress  | %ORANGEBG% [[LCS2016_082][LCS-2016-082]]%ENDBG%  | 82 | Allow record declations to have no members, analogous to a null array  | Done ||
| [[ConditionalReturn][Conditional Return Statement]] | Main.JimLewis  | LCS  | %ORANGEBG% [[TopLCS2016_094][LCS-2016-094]]%ENDBG%  | 94 | -  | Alt Done ||
| | | | | | | ||
| *Integer Proposals* | | | | | | ||
| [[ArbitraryIntegers][Integers of arbitrary length]] | Main.MartinThompson  | RFC  | Main.KevinJennings: Appended yet another alternate proposal to end of this proposal. Not clear about the current status of any of these integer extending proposals. | 8 | Add integers of arbitrary length | 202X ||
| [[LongIntegers][Long Integers 64 bit type]] | Main.CliffordWalinsky  | LCS %BR% completed | %ORANGEBG% [[TopLCS2016_026][LCS-2016-026]] %BR% [[TopLCS2016_026a][LCS-2016-026a]] (alternative)%ENDBG% | 26 | Add a type for 64 bit integers, separate from integer | 202X ||
| [[ModularTypes][Modular Integer Types]] | Main.MartinThompson  | -  | Main.KevinJennings: Ditto  | 31 | | 202X ||
| [[IntegerOperators][Additional Operators for Integers - logic]] | Main.JimLewis  | LCS %BR% completed | %ORANGEBG% [[TopLCS2016_051][LCS-2016-051]]%ENDBG%  | 51 | Add Logic Operators for Integers | 202X ||
| [[ImplicitConversionNumeric][Implicit Conversions for Like Types]] | Main.JimLewis  | | | 81 | Addresses issues with assigning integer literals to unsigned, signed, real literals to ufixed, sfixed, and float, and vice-versa. Obviously with some constraints. | 202X ||
| [[ExtendedIntegers][Extended Integers]] | Main.DanielKho  | RAW  | Main.KevinJennings: See comments listed for [[ArbitraryIntegers][Integers of arbitrary length]] | | Require a minimum of 64 bits for integers. | 202X ||
| [[PhysicalTypeRange][Physical Type Range]] | Main.KevinThibedeau  | | Main.KevinJennings: Recommend changing this to subsumed based on the much larger integer range defined in [[LCS-2016-026]]. | | Require that user-defined physical types can cover the same range as time. | 202X ||
| [[EnhancedIntegers][Enhanced Integers]] | Main.JonasBaggett  | RFC  | Main.KevinJennings: See comments listed for [[ArbitraryIntegers][Integers of arbitrary length]] | None | New derived integer types fittable for synthesis. | 202X ||
| | | | | | | ||
| *Language Enhancement* | | | | | | ||
| [[DateTime][Date and time system functions]] | Main.RobGaddi  | LCS %BR% approved  | %LIMEBG% [[LCS2016_011][LCS-2016-11]]%ENDBG%  | 11  | Get system date/time and manipulate the results. | Done ||
| [[ReportCallingPath][Modify Report Statement to return calling path of subprograms]] | Main.PeterFlake %BR% Main.MartinThompson  | | %ORANGEBG% [[LCS2016_015][LCS-2016-015]]%ENDBG% | 15  | | 202X ||
| [[PathnameSharedVarSubprograms][PATH_NAME and Shared Variables and Subprograms]] | Main.JimLewis  | -  | %ORANGEBG% [[LCS2016_032][LCS-2016-032]]%ENDBG% | 32  | | Done ||
| [[AnonymousTypes][Anonymous Types on Interfaces]] | Main.JimLewis  | -  | %LIMEBG% [[LCS2016_016][LCS-2016-016]]%ENDBG%  | 16  | - | Done ||
| [[EnumAttributes][Attributes for Enumerated Types]] | Main.JimLewis  | LCS %BR% completed | %ORANGEBG% [[LCS2016_018][LCS-2016-018]]%ENDBG%  | 18  | - | doen ||
| [[DpiProposal][DPI Proposal]] | Main.PeterFlake  | -  | | 21  | Direct interface to other languages | 202X ||
| [[HierarchicalNamespaces][Hierarchical Libraries]] | Main.ChrisHiggs  | -  | <!--%ORANGEBG%[[TopLCS2016_025][LCS-2016-025]]%ENDBG%--> | 25 | library protocol.packet.ethernet | 202X  ||
| [[ExternalNameTypes][External names for types]] | Main.JimLewis  | LCS  | %ORANGEBG% [[LCS2016_028][LCS-2016-028]]%ENDBG%  | 28  | See Alternative Proposal. Needed to access the type of a statemachine from tesbench. | 202X ||
| [[StandardPackages][Updates to standard packages - split into LRM and Packages]] | Main.RyanHinton  | RFC  | | 29  | Additions to LRM, standard, std_logic_1164, numeric_std, math_real, math_complex, and fixed_pkg | 202X  ||
| [[GarbageCollection][Garbage Collection]] | Main.CliffordWalinsky  | | %ORANGEBG% [[LCS2016_030][LCS-2016-030]]%ENDBG% | 30  | Garbage collection | Done ||
| [[ProtectedTypeComposition][Composition with Protected Types]] | Main.JimLewis  | LCS  | %ORANGEBG% [[LCS2016_033][LCS-2016-033]]%ENDBG%  | 33  | Composition with protected types | Done ||
| [[GenericTypes][Protected Types with Generic Clause]] | Main.JimLewis  | LCS  | %ORANGEBG% [[LCS2016_034][LCS-2016-034]]%ENDBG%  | 34  | - | Done ||
| [[ConfigureDirectInstantiation][Configuration Spec for Direct Instances]] | Main.RyanHinton | RFC | | 37 | Add a facility to write a configuration specification to control architecture selection possibly several hierarchy layers deep for a direct instantiation.  | | 202X ||
| [[PslAttributes][Attributes for PSL]] | Main.JimLewis  | -  | %ORANGEBG% [[LCS2016_043][LCS-2016-043]]%ENDBG%  | 43  | - | 202X ||
| [[ProtectedTypeWaitSignal][Protected Types with Wait and Private Signals]] | Main.JimLewis  | | | 46 | | 202X ||
| [[ProtectedTypeEntity][Protected Type on Entity Interface]] | Main.JimLewis  | | %ORANGEBG% [[LCS2016_047][LCS-2016-047]]%ENDBG%  | 47  | | Done ||
| [[MapSubprogramGenericOnCall][Map subprogram generics on call]] | Main.JimLewis  | RFC  | %ORANGEBG% [[LCS2016_049][LCS-2016-049]]%ENDBG%  | 49  | - | Done ||
| [[AssertApi][API for Assert]] | Main.JimLewis  | LCS %BR% completed | %ORANGEBG% [[LCS2016_050][LCS-2016-050]]%ENDBG%  | 50  | - | 202X Extend for Call Path ||
| [[SliceMultidimensionArrays][Slicing Multidimensional Arrays]] | Main.RyanHinton  | | | 52  | | 202X "Streaming Operators"? ||
| [[ExternalNon-SharedVariableName][External Non-Shared Variable Name]] | [[Main.BrentHahoe][Brent Hayhoe]] | RFC  | | | Add the ability to reference local process variables and VHDL93 shared variables via the 'external name' syntax. | 202X ||
| [[ArrayTypeGenerics][Array type generics]] | Main.RyanHinton  | LCS in progress  | %ORANGEBG% [[LCS2016_059][LCS-2016-059]]%ENDBG%  | 59  | Indicate that a generic type is an array of another generic type. | Done ||
| [[NewPredefinedAttributeActual][ New Predefined Attributes: actual, and formal]] | [[Main.BrentHahoe][Brent Hayhoe]] | LCS %BR% completed | [[TopLCS2016_060][LCS-2016-060]] %BR% [[TopLCS2016_072a][LCS-2016-072a]] (alternative)  | 60 | Allow explicit selection of actual or formal part of an instantiated subprogram's parameter. | 202X  ||
| [[ConditionalCompilation][Conditional Compilation]] | Many  | LCS %BR% completed | %ORANGEBG% [[LCS2016_061][LCS-2016-061]]%ENDBG%  | 61  | solve tool-specific language issues | Done ||
| [[AbstractPackages][Abstract Packages]] | Main.JimLewis  | -  | | 62  | - | 202X ||
| [[WaitLevel][Wait with Level Check]] | Main.JimLewis  | | %ORANGEBG% [[TopLCS2016_063][LCS-2016-063]]%ENDBG%  | 63  | Wait with level sensitive check | 202X  ||
| [[UnionsVariants][Unions and/or Variant Records]] | Main.JimLewis  | RAW  | | 65  | Need unions to describe coverage that can either be a range or a single value | 202X ||
| [[ExpressionsInBitStringLiterals][Expressions in Bit String Literals - Dynamic Sizing]] | [[Main.BrentHahoe][Brent Hayhoe]] | RFC  | Refer to alternative [[TopLCS2016_072a][LCS-2016-072a]] | 66 | Adds the facility to define the bit width of the string literal with an integer expression. | 202X ||
| [[RequireResolution][Required Simulator Resolution]] | Main.JimLewis  | | | 67  | Need construct or subprogram to specify minimum simulator resolution required by a design unit. It is an error for a simulation to enumerate with larger value. | Withdrawn ||
| [[RelaxedOthersAggregate][Relaxed OTHERS rules in aggregates]] | Main.RyanHinton  | RFC  | | 68  | Relax the rules for using OTHERS in array aggregates | 202X ||
| [[FunctionKnowsVectorSize][Function Knows Return Vector Size]] | Main.KevinJennings  | LCS %BR% completed | %ORANGEBG% [[TopLCS2016_072][LCS-2016-072]]%ENDBG%  | 72  | Allows functions to access attributes of the target of the function | Done ||
| [[DeferredSharedVariables][Deferred Shared Variables]] | [[Main.BrentHahoe][Brent Hayhoe]] | LCS %BR% completed | %ORANGEBG% [[TopLCS2016_080a][LCS-2016-080a]] %BR% [[TopLCS2016_080b][LCS-2016-080b]]%ENDBG%  | 80  | Shared variables & protected types in same package. %BR% Clarification of semantics in BNF productions relating to 'subtype indications'. | 202X ||
| [[OrderingAllInterfaceLists][Remove Ordering Restrictions on Interface Lists]] | Main.CliffordWalinsky  | LCS %BR% completed | %LIMEBG% [[LCS2016_086][LCS-2016-086]]%ENDBG%  | 86  | Allow entity and subprogram interface objects to refer %BR% to earlier objects of the same interface list. | Done ||
| [[RangeOperations][Operations on Ranges]] | Need Owner  | LCS %BR% in progress  | %ORANGEBG% [[LCS2016_099][LCS-2016-099]]%ENDBG%  | 99  | Support Operations on Ranges | Done ||
| [[OverloadAssignment][Overload Assignment Operator]] | OPEN  | | | 102  | Ability to overload the assignment operator := would be useful | 202X ||
| [[ExtendedStringLiterals][Extended String Literals]] | Main.JimLewis, Main.DanielKho  | | | | Support C Style String Literals | 202X ||
| [[ExtendedRanges][Extended Ranges]] | Main.PatrickLehmann  | RAW  | %ORANGEBG% [[LCS2016_099][see LCS-2016-099]]%ENDBG% | None | Make ranges more powerful. | 202X, Needs new proposal ||
| [[ExtendedUserDefinedAttributes][Extended user-defined attributes]] | Main.PatrickLehmann  | RAW  | | None | Let users define new attributes, which for example map to functions. | 202X ||
| [[UnresolvedBooleansIntegers][Unresolved booleans, integers, etc.]] | Main.DanielKho  | | Move this to rejected? KevinJennings - 2016-10-31  | | Have unresolved versions for boolean, bit, character, and integer | reject  ||
| | | | | | | ||
| *New proposals* | | | | | | ||
| [[http://www.eda-twiki.org/cgi-bin/view.cgi/P1076/LogicalRepresentationAccess][Access to logical representation of VHDL objects]] | Main.JonasBaggett | RAW | | | Access to binary representation of VHDL objects via new attributes | 202X, Accepted For Study ||


---+++ Change Proposals for IEEE Packages
| *Item* | *Who*  | *Status*  | *LCS Link*  | *Rank*  | *Description*  | *Final Status* |
| [[FixedFloatUpdates][numeric_std, fixed and float bugs and consistency updates]] | Main.DavidBishop | | | 3  | Bug fixes and consistency updates for numeric_std, %BR% fixed_generic_pkg.vhd, and float_generic_pkg.vhd | Ask David |
| [[RealMatrixPackage][Real Matrix Math Package]] | Main.DavidBishop | REVIEW  | | 5, 10, 13 | [[http://www.vhdl.org/fphdl/real_matrix_ug.pdf][Matrix Math User's Guide (pdf)]] %BR% [[http://www.vhdl.org/fphdl/real_matrix_pkg.zip][Packages (zip)]]  | 202X |
| [[http://www.vhdl.org/fphdl/fixed_alg_ug.pdf][Fixed point Algorithmic User's Guide (pdf)]] | Main.DavidBishop | REVIEW  | | | [[http://www.vhdl.org/fphdl/fixed_alg_pkg.zip][Package (zip)]]  | Open Source Doc |
| [[http://www.vhdl.org/fphdl/float_alg_ug.pdf][Floating point Algorithmic User's Guide (pdf)]] | Main.DavidBishop | REVIEW  | | | [[http://www.vhdl.org/fphdl/float_alg_pkg.zip][Package (zip)]]  | Open Source Doc |
| [[FileIo][File IO / TextIO updates]] | Main.JimLewis  | LCS in %BR% complete | %LIMEBG% [[LCS2016_006a][LCS-2016-006a]] %BR% [[LCS2016_028][LCS-2016-006b]]%ENDBG% | 6  | -  | Done |
| [[MetavalueConditionalConversions][Flag metavalues detected by ??]] | Main.JimLewis  | | | 9  | | 202X |
| [[TextioBvSlv][Read differences of bit_vector and std_logic_vector]] | Main.JimLewis  | | | 27  | | 202X Review |
| [[StandardPackages][Updates to standard packages - split into LRM and Packages]] | Main.RyanHinton  | RFC  | | 29  | <p>Note this is listed here and in enhancements.</p> <p>Additions to LRM, standard, std_logic_1164, numeric_std, %BR% math_real, math_complex, and fixed_pkg</p>  | 202X Review |

---+++ ISAC and Items that Must Do
| *Item*  | *Who*  | *Status*  | *LRM Change Definition*  | *Rank* | *Description*  | *Final Status* ||
| [[EncryptionUpdates][P1735 Encryption Updates]] | Main.JarekKaczynski %BR% Main.JohnShields  | STABLE  | | I1  | Adopt Recommendation from P1735  | Done ||
| [[IPVisibilityUpdates][P1735 Visibility Updates]] | Main.StevenDovich  | | | I2  | Alignment with P1735 visibility model  | Done ||
| [[AssociationListSignatures][Signatures for Association List Aspects]] | Main.CliffordWalinsky  | RFC  | %ORANGEBG% [[LCS2016_I03][LCS-2016-I03]]%ENDBG% | I3  | Describes how to resolve ambiguous mappings of subprograms to overloaded %BR% interface subprograms in generic map aspects.  | -- ||
| [[EnhancedGenericsInAttributeSpecs][Assigning 2008 Entities to Attribute Classes]] | Main.CliffordWalinsky  | RFC  | [[LCS2016_I04][LCS-2016-I04]] | I4  | Describes how subprogram instances, interface subprograms, package instances %BR% and interface packages match entity classes in attribute specifications.  | -- ||
| [[Repair2008LRM142Example][Repair LRM Example 14.2]] | Main.CliffordWalinsky  | LCS %BR% completed | %LIMEBG% [[LCS2016_I05][LCS-2016-I05]]%ENDBG%  | I5  | Fix for one of the examples in LRM Section 14.2.  | -- ||
| [[Fix2008LRM7321][Repair LRM Example 7.3.2.1]] | Main.DanielKho  | LCS %BR% completed | %LIMEBG% [[TopLCS2016I06][LCS-2016-I06]]%ENDBG%  | I6  | Fix the example in 7.3.2.1.  | -- ||
| [[Fix2008ContextClause][Repair Text on Context Clauses]] | Main.DanielKho  | RFC  | [[TopLCS2016_I07][LCS-2016-I07]] | I7  | Fix the LRM's text for context clauses. | -- ||
| [[Repair2008LRM168243Section][Repair LRM Section 16.8.2.4.3 Missing Paragraph Text]] | Main.BrentHahoe  | LCS %BR% completed | %LIMEBG% [[LCS2016_I08][LCS-2016-I08]]%ENDBG% | I8  | Correct section header numbering in VHDL 2008 LRM.  | -- ||
| [[RepairExample563][Repair example in LRM section 5.6.3]] | Main.TristanGingold  | LCS %BR% completed | %LIMEBG% [[LCS2016_I09][LCS-2016-I09]]%ENDBG%  | I9  | Fix example in 5.6.3  | -- ||
| [[BitStringLiteralsCornerCases][Bit String Literals Corner Cases]]\  | Main.TristanGingold  | LCS %BR% completed | %ORANGEBG% [[LCS2016_I10][LCS-2016-I10]]%ENDBG%  | I10  | Fix minor issues in 15.8  | -- ||
| [[FixGenerateStatement][Repair Generate Statements]] | Main.TristanGingold  | | [[LCS2016_I11][LCS-2016-I11]] | I11  | Fix wording and feature  | -- ||
| [[ForcingOutports][Force an Out Port]] | Many  | | [[LCS2016_I12][LCS-2016-I12]]  | I12  | | -- ||
| [[PrecedenceUnaryLogical][Precedence of Unary Logical Operators]] | Main.JimLewis  | | %ORANGEBG% [[LCS2016_I13][LCS-2016-I13]]%ENDBG% | I13  | Why is this a 'Must Do' item? The proposal is proposing that operator precedence %BR% should be 'different' than listed in the standard. Precedence in the LRM doesn't %BR% appear to be 'wrong', just not what the author of the proposal would want. %BR% -- Main.KevinJennings - 2016-12-01  | Done ||
| [[StringsFromExtendedId][String representation for extended identifiers]] | Main.PeterFlake  | LCS %BR% completed | %LIMEBG% [[LCS2016_I14][LCS-2016-I14]]%ENDBG%  | I14  | | -- ||
| [[AlternatePathName][Alternate Label in Path Name bug 293]] | Main.PeterFlake  | LCS %BR% completed | %ORANGEBG% [[TopLCS2016_I15][LCS-2016-I15]] %BR% [[TopLCS2016_I15a][LCS-2016-I15a]] %ENDBG%  | I15  | | -- ||
| [[RepairExampleInSection2321Proposal][Repair Example in Section 23.21 Proposal]] | Main.RadoslawNawrot  | LCS %BR% completed | %ORANGEBG% [[LCS2016_I16][LCS-2016-I16]]%ENDBG%  | I16  | Fix for LRM VHPI example  | -- ||
| [[LRM2008TypographicalIssues][Typographical Issues in IEEE Std 1076-2008]] | Many  | | | I17  | A collection of typographical issues in the LRM that don't have a separate page  | -- ||
| [[ProcessAllIncudesAllReachableSubprograms][Process-All Should Not Be Sensitive to Signals in Packages]] | Main.RobGaddi  | LCS %BR% completed  | %ORANGEBG% <a href="TopLCS2016_I18" title="LCS-2016-I18">LCS-2016-I18</a> %ENDBG% | I18  | Ranking: 87 - Designs are in error if they have a process(all) block that calls a %BR% package's subprogram that references a signal. Since this error is costly to %BR% accurately verify, remove this requirement.  | -- ||
| [[PslHarmonization][PSL Harmonization]] | Main.AjeethaKumari | | | %ORANGEBG% [[LCS2016_PSLb][LCS-2016-PSL]] %ENDBG% | | Done | |
| | | | | | ||

---+++ VHDL AMS 1076.1 Proposals that go in 1076

The packages listed in this table are planned to be included in P1076.1-201x. In discussions a while ago with the P1076 WG some members expressed interest in these packages as well. Coordination between the WGs is required to ensure that the same versions are included in both places.
| *Item*  | *Who*  | *Status*  | *Last Modified* | *Description*  | *Status* |
| Table Driven Modeling | Joachim Haase et.al.  | %LIMEBG%Forwarded to Open Source Group%ENDBG% | 5/24/2012 | The package supports the description of functional dependencies y = f(x<sub>1</sub>, x<sub>2</sub>, ..., x<sub>n</sub>) based on a number of (n+1)-tupels (y, x<sub>1</sub>, x<sub>2</sub>, ..., x<sub>n</sub>). Emphasis is on floating point functions, and various interpolation schemes are supported. More details, and a reference implementation can be found in a [[P10761.ProjectTableDrivenModeling][protected area]] of the P1076.1 web. | 202X |
| Vector/matrix package | David Bishop, Zhichao Deng | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | It's the same package listed in the next table | 202X |

---+++ Proposals for 1076.6 - Requires a Chair for this activity

Requires separate working group and vendor participation.

This work would potentially be done by a separate working group. Requires a chair. Main.JimLewis will help you through the IEEE process, but you will need to get vendor participation for the effort to be relevant.

| *Item*  | *Who*  | *Status*  | *Last Modified* | *Description*  | *Supporters Priority* |
| [[FSMSafeDesign][FSM Safe Design]] | [[Main.BrentHahoe][Brent Hayhoe]] | RFC | | Proposal to allow safe state identification for synthesis in FSM designs. | |
| [[SynthesisAttributes][Synthesis Attributes]] | | | | Attributes for RAM, ROM, ... Define these in 1076? | |
| [[AssertionDirectives][Assertions as Directives]] | main.JimLewis | | | Support ZeroOneHot, ... | |
| [[SupportReal]] | | | | | |
| [[SynthesizableEvent][Synthesizable 'event]] | | | | | |
| | | | | | |

---+++ Items to forward to open source package group
| *Item* | *Who* | *Status* | *Last Modified* | *Description* | *Supporters Priority* |
| [[ReadRom][File IO for RTL ROM]] | Main.JimLewis | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | Ranking: 24 - File IO for RTL ROM | ||
| [[FunctionalCoverage][Functional Coverage]] | Main.JimLewis | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | Implemented by open source group [[http://www.osvvm.org][OSVVM]] | |
| [[RandomStimulus][Random Stimulus]] | Main.JimLewis | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | Implemented by open source group [[http://www.osvvm.org][OSVVM]] | |
| [[SemaphoreDataStructure][Semaphores]] | | | | | |
| [[ExtendedHwFunctions][Extended Hardware Functions - RTL Macros]] | | %LIMEBG%Forwarded to Open Source Group%ENDBG%  | | RTL Macros. Meeting: [[MeetingDecember15][Dec 15, 2011]] and [[MeetingMarch31][Mar 31, 2011]] | |
| Associative Arrays | | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | See [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-tbv/vhdl-200x-tbv.pdf][TBV Propoal 2]] | |
| Queues / FIFO | | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | See [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-tbv/vhdl-200x-tbv.pdf][TBV Proposal 4]] | |
| Sync and Handshaking | | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | See [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-tbv/vhdl-200x-tbv.pdf][TBV Proposal 7]] | |
| Memory / Sparse array | | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | See [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-tbv/vhdl-200x-tbv.pdf][TBV Proposal 12]] | |
| Loading and Dumping Memories | | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | See [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-tbv/vhdl-200x-tbv.pdf][TBV Proposal 18]] | |
| Lists | | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | See [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-tbv/vhdl-200x-tbv.pdf][TBV Proposal 19]] | |
| Create open source boost/C++ like libraries | | | | Meeting: [[MeetingDecember15][Dec 15, 2011]] | |
| [[IntegerConv][to_integer and to_integer_vector]] | Main.JimLewis | - | | - | |
| [[GraphicsLibrary][Graphics Library]] | Main.DanielKho | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | Implement a graphics library for VHDL. | ||
| [[RegularExpressions][Regular Expressions]] | Main.DanielKho | %LIMEBG%Forwarded to Open Source Group%ENDBG% | | Implement VHDL regular expressions. | ||
| | | | | | |

---+++ Someday Maybe Proposals
| *Item* | *Who*  | *Status*  | *Rank* | *Description*  | *Status* ||
| [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-ft/proposals/VHDL-2005-VHPI-impact.pdf][VHPI Impact]] | | | | VHDL-2008 & VHDL-2019 impact to VHPI | Low Priority ||
| [[http://www.eda-twiki.org/vhdl-200x/vhdl-200x-ft/proposals/vhpiPSLassertion.pdf][VHPI for PSL]] | | | | PSL impact to VHPI | Low ||
| [[EnvStop][define parameters for env.stop]] | OPEN | | | Define standard parameters for env.stop | 202X ||
| [[FloatInstance][Standard Instances of Float]] | OPEN | | | Define standard instances of float_generic_pkg and fixed_generic_pkg | Low ||
| [[VectorLiteralntrospection][Vector literal introspection]] | Main.JimLewis  | RFC  | 35  | Distinguish between std_logic_vector and integer_vector literals  | Low ||
| [[ObjectOrientation][Object Orientation]] | | | 39  | Links to different proposals  | Low ||
| [[WaitRepeat][Wait with a repeat count]] | Main.JimLewis  | -  | 48  | -  | 202X ||
| [[CrossLanguageInstances]] | | | 73  | Related to DPI  | 202X ||
| [[StdulogicResolution][Std_ulogic, Resolved, and '-']] | Main.JimLewis  | | 74  | Resolution of '-' and 'Z' is 'X", ok for RTL, but bad for testbenches? | Reject ||
| [[NaturalVector][Create natural_vector]] | Main.JimLewis  | | 78  | Create natural_vector as a subtype of integer_vector  | 202X ||
| [[ArchitectureGeneric][Architecture Generic]] | Main.LarsJensen  | RFC  | 83  | Implements architecture instantiation through generics | Low ||
| [[MultipleDesignHierarchies][Multiple Top-Level Designs]] | Main.CliffordWalinsky | Needs Work & %BR% Advocate  | 88  | <p>Allow designs to have multiple top-level roots. To be a common enhancement, it needs someone with a use case to work on it.</p> <p>Only concerns are about paths in both external names and attributes: 'INSTANCE_NAME 'PATH_NAME</p> | 202X ||
| [[PreponedProcess][Preponed Processes (clocks)]] | Main.JimLewis  | -  | 89  | Desc  | 202X ||
| [[UpdateStdLogicArith][Update std_logic_arith]] | Main.JimLewis  | | 90  | <p>Update std_logic_arith to simplify interoperability with numeric_std</p> <p> </p> | <p>202X</p> <p>Low</p> ||
| [[DynamicProcessInstance][Dynamic Process, Instances, Fork Join]] | | | 91  | | Low ||
| [[ShorthandSubprogram][Shorthand Subprogram Declarations]] | Main.JimLewis  | -  | 92  | -  | Low ||
| [[SequentialSignal][Sequential Signal Declarations]] | Main.JimLewis  | -  | 93  | -  | 202X ||
| [[TruthTable][Truth Tables]] | Need Owner  | | 98  | Truth table for multi-input/multi-output  | Low ||
| [[Asynchronous Channels]] | Main.KevinCameron  | | 100 | Asynchronous channels (aka pipes)  | Low ||
| [[ClockedShorthand][Clocked Shorthand]] | Main.DanielKho  | RFC  | 103 | <p>Shorthand to infer flip-flops and pipelining</p> <p>Z &lt;= A when rising_edge(Clk) ;</p> <p>process(A, Clk)</p> <p>begin</p> <p>if rising_edge(Clk) then</p> <p>Z &lt;= A ;</p> <p>end if ;</p> <p>end process ;</p> <p>Z &lt;= A when Sel = '1' else B ;</p> | Open Source Group? ||
| [[DynamicRewiring][Dynamic Rewiring]] | Main.KevinCameron  | | 105 | Allow runtime re-elaboration and re-wiring  | ||
| [[ComposingExteranlPathName][Composing Paths to External Names]] | Main.JimLewis  | | | | 202X ||
| [[AttributeShorthand][Attribute Shorthand]] | Main.DanielKho  | RAW  | | Shorthand to create attributes.  | ||
| [[SupportReal][Support Synthesis of Reals]] | Main.DanielKho  | RAW  | | Simplify synthesis of floating-point operations, by using real to encapsulate synthesizable fixed- or floating-point types. | Synthesis ||
| | | | | | ||

---+++ Rejected Proposals
| *Item*  | *Who*  | *Status*  | *Rank* | *Description*  | *StatusPriority* ||
| [[WriteBoolean][2008 Boolean Write]] | Main.JimLewis  | Rejected  | | Case sensitivity and now what? | Rejected | |
| [[NoOverridingPredefinedAttributes][Predefined Attributes Can't Be Redefined]] | Main.CliffordWalinsky | RFC | 42 | Prohibit predefined attributes from being redefined. | Reject ||
| [[NamedPkgbody][Named Package Bodies]] | Main.JimLewis | - | 64 | - | 202X ||
| [[UniqueCondition][Unique Condition - OrIf]] | Main.PeterFlake | | 76 | | 202X ||
| [[SynthesizableReportsAssertions][Synthesizable Reports and Assertions]] | Main.DanielKho | RFC | 77 | <p>Allow assertions to count in synthesis</p> <p>Emulator behavior</p> <p>Reporting to the synthesis log? Check generic values are appropriate?</p> <p>Compile time assertions?</p> | Synthesis ||
| [[SimulationControls][Simulation Controls]] | | | 84 | Some is probably done | Reject ||
| [[NewRulesBitLiterals][Additional Rules for Bit String Literals]] | Main.DanielKho | RFC | 85 | Specify additional rules for string literals. | Reject ||
| [[RecommendErrorMessages][Recommend Error Messages]] | Main.ChrisHiggs | -  | 95 | Standard format for error messages | Reject ||
| [[MixedSignalSupport][Mixed Signal Support]] | Main.KevinCameron | | 96 | Support multiple types driving/receiving on a wire | 1076.1 Reject ||
| [[MultiCyclePath][Multicycle Path Specification]] | | | 97 | Speciification of multi-cycle paths in language syntax | Synthesis ||
| [[AtomicComposites]] | Needs Owner | | 101 | | Reject ||
| [[ProtectedTypeOperators][Operators Overloading for Protected Types]] | Need Owner | | 104 | Can already do this with 2019 since impure functions allow PT as an operand. Although this is a different implentation of the requirement. | Done ||
| [[2State][2 and 4 State values]] | Needs Owner | | 108 | Derived / constrained type that automatically and can be controlled during simulation elaboration. | 202X ||
| [[TimingConstraints][Specifying Timing Constraints]] | Main.DanielKho | RAW | | Allows RTL designers to specify timing constraints directly from HDL. | Synthesis ||
| [[SynthesizableEvent][Synthesizable 'event Attribute]] | Main.DanielKho | RAW | | Synthesize 'event for DDR FFs. | Synthesis ||
| [[Object Inspection]]  | Main.JingPang | RAW | | Method to do introspection on names, find different objects and find all instance labels whose component is xyz. | see VHPI ||
| [[UseOfUnicode][Use of Unicode]] | Main.MartinThompson | Reject | | Add unicode for strings, files, identifiers, comments | 202X - Issue, UFT8 - How do we size strings - one character may require multiple multiple UTF8 characters. Current scope prevents multibyte issues. See python 3 when switched to unicode. |
| [[KeywordScope][Scope of Keywords]] | Main.JimLewis | Reject | | Give names same scope as keywords | Reject |
| [[ComponentDerivedFromEntity][Component Declaration derived from Entity Declaration]] | Main.JimLewis | Reject | | Not necessary if we can configure a direct entity instantiation. | Reject |
| [[MoveText][Move definition of TEXT, INPUT, OUTPUT]] | Reject | | | <p>Could have a context declaration that does:</p> <p>Context IO is</p> <p>use std.textio.text ;</p> <p>use std.textio.OUTPUT;</p> <p>use std.textio.INPUT;</p> <p>end context;</p> | 202X | |
| [[StopReadOnTrailingUnderscore][Stop Binary/Octal/Hex Read At Trailing Underscore]] | Main.CliffordWalinsky  | RFC  | 38 | [[https://gitlab.com/IEEE-P1076/Packages/issues/24][Test results from GitLab]] LRM already does this. Could be better written, but is correct and tests correct in simulations | 202X Review implementation and LRM text. | |
| | | | | |
| *Rejected Items from ISAC List* | | | | | ||
| [[GenericPackageIssues][Fix generic map rules]] | Main.TristanGingold  | Rejected | I19  | generic-mapped packages are used by package instances | Reject |
| | | | | |

---+++ Items Subsumed by other items
| *Item* | *Who* | *Status* | *Description* | *Supporters Priority* |||
| | | | | | ||
| [[RecordIndexing][Record Indexing]] | [[Main.BrentHahoe][Brent Hayhoe]] | Subsumed | | See:- [[RecordMemberAttribute][Record Introspection & Indexing]] | ||
| [[SignalPools][Signal Pools]] | Main.KevinCameron | | | Ranking: 106 - Alternative to wire-like communication for RF | ||
| [[UserDefIOrules][User Defined IO Rules]] | Main.KevinCameron | | | Ranking: 107 - Move rules about in/out/inout to types | ||
| | | | | |||
| [[FunctionsKnowOutputSubtype][Withdrawn: Functions Know Output Subtypes]] | OPEN | RFC | | Allows function to access subtype properties of the target. | ||
| [[SyntaxEntityComponent][Redundant: Syntax regularazation Entity Component]] | OPEN | | | Syntax regularazation between entity and component | ||
| [[ProtectedTypeUpdates][Protected Type Updates]] | Main.JimLewis | - | | Numerous | ||

---+++ Raw Requirements Lists
| *List* | *Description* | *Notes* |
| [[http://www.eda-twiki.org/twiki/bin/view.cgi/P1076/Vhdl2019ActiveIRTwiki][ISAC Active IR List]]  | | |
| [[Vhdl2019ActionItems][Old Meeting Action Item List]]  | Current Action Items now tracked in meeting minutes | |
| [[https://bugzilla.mentor.com/buglist.cgi?query_format=specific&order=relevance+desc&bug_status=__all__&product=&content=][Bugzilla List]]  | | |
| [[IeeeVHDL2008Lists][IEEE VHDL 2008 Subgroup Lists (TBV, FT, DTA, )]] | | |
| [[AccelleraVHDL2008Lists][Accellera VHDL 2008 Remaining Items List]] | | |
| [[RawRequirements][Raw Requirements in Text of Original Page]] | | |

   * [[%ATTACHURL%/vhdl_requirements_priority.xlsx][vhdl_requirements_priority.xlsx]]: VHDL Requirements Prioritization Sheet

   * [[%ATTACHURL%/TbIntegerRange.vhd][TbIntegerRange.vhd]]: IntegerRanges and expressions - where do the bounds apply
Attachments
I	Attachment	Action	Size	Date	Who	Comment
xls	Accellera_RequirementsStatus_19May2006.xls	manage	131.0 K	2011-09-08 - 15:09	JimLewis	Accellera Requirements List from VHDL-2008
pdf	Corrections_to_the_Encryption_Flow_description_in_IEEE_Std_1076.pdf	manage	204.8 K	2012-03-15 - 15:10	JarekKaczynski	Based on the works of P1735 group
txt	Proposal.txt	manage	2.8 K	2013-08-28 - 17:27	DavidBishop	Instructions to fix bugs in "fixed_generic_pkg-body.vhdl", "float_generic_pkg-body.vhdl" and the fixed point documentaiton
vhd	TbIntegerRange.vhd	manage	2.0 K	2016-12-23 - 18:54	JimLewis	IntegerRanges and expressions - where do the bounds apply
pdf	ft10A_nnary.pdf	manage	108.2 K	2016-12-22 - 16:05	JimLewis
pdf	ft10_assignment_ternary.pdf	manage	183.0 K	2016-12-22 - 16:05	JimLewis	VHDL-2008 proposal for conditional expressions using when
xlsx	vhdl_requirements_priority.xlsx	manage	16.1 K	2014-11-13 - 21:17	JimLewis	VHDL Requirements Prioritization Sheet
Topic revision: r1 - 2020-06-04 - 13:29:35 - TWikiGuest
P1076