| IR # | BugZ# | Link to Proposal | Problem to Solve | Description | Notes |
|---|---|---|---|---|---|
| 2109 | - | Enhance | Interface / Com | Semaphore with protected types | |
| 2033 | - | Enhance | Incremental operator and auto subtype boundary wrap | ||
| 2108 | - | WaitLevel | Testbench Sync | Level sensitive check - A "wait" that checks condition before stopping | Referred to in: Wait with a repeat count |
| 2003 | - | MultiCyclePath | Specification of multi-cycle paths to synthesis tool w/o creating registers. Jim Lewis: During meeting how in general specify this and perhaps capture false paths as well and simulate them |
||
| 2113 | - | ReadRom | General | Init ROM / Array data structure with a file - syntax or library (types + std subprogs) | |
| 2119 | - | DeferredSharedVariables | Interface / Com | Can't declare a protected type and object of that type in a single package | |
| 2121 | 275 |
Partially Connected Vectors in Port Map | General | Allow for vectors to have assigns and opens in the port map | |
| 2125 | - | Std_ulogic, Resolved, and '-' | Interface / Com | Resolution of '-' and 'Z' is 'X", ok for RTL, but bad for testbenches? | |
| 2007 | - | BidirectionalConnections | VHDL needs to be enhanced to allow the modeling of switches. (forward to VHDL-AMS?) | ||
| 2009 | - | ConditionalCompilation | New std package, containing tool and vendor identification information Needs to be considered in conjunction with conditional compilation. May need to be precompiler directives |
||
| 2011 | - | ComponentDerivedFromEntity | Syntax that creates a component declaration from an entity decalaration and puts it into a specified package | ||
| 2012 | - | UniqueCondition | Wants to remove the priority from if-elsif-elsif structures under some conditions. Proposes: "if elsor elsor". | ||
| 2021 | - | DynamicRewiring | Dynamic hardware construct | ||
| 2025 | ConditionalCompilation | "Generate" for sequential code (c.f. ConditionalCompilation) | |||
| 2106 | ConditionalCompilation | Desire preprocessor (macro/ifdef) support in VHDL | |||
| 2034 | - | ClockedShorthand | Introduce history attribute on signals to auto infer registers | ||
| 2035 | - | ClockedShorthand | new function "stages" automates pipelining | ||
| 2041 | Partiallyconnectedvectorsonportmap | Allow composite port subelements to be left open. | |||
| 2060 | Truth Tables | Include truth table for multi-input/multi-output logic. | |||
| 2072 | Operations on Ranges | Allow static operations on "ranges" | |||
| 2089 | Interfaces | Interfaces | Directional records | ||
| 2100 | Operators Overloading for Protected Types | Operator overloading for protected type methods |
|||
| 2076 | Record Member Attribute | A member attribute for records. | |||
| 2065 | Relaxed Others Aggregate | OTHERS in aggregates too restrictive | |||
| 2067 | Interfaces | Enhancement: Logical link interface abstraction | |||
| 2103 | DynamicRewiring | Dynamic/run-time creation and destruction of components and connectivity | |||
| 2130 | 239 |
Overload Assignment | Ability to overload the assignment operator := would be useful | Concerns | |
| 2132 | 240 |
FunctionKnowsVectorSize | Method to allow functions that return arrays to have knowledge of the target attributes | ||
| 295 |
RemoveConfigurationLibraryRequirement | Allow configurations for entities not in the same library | |||
| 294 |
Force and Out Ports | Force of an out port using mode is improperly defined | |||
| 293 |
Alternate Path Name | Issue with path_name and instance_name wrt VHDL-2008 generate labels | |||
| 292 |
ConfigureDirectInstantiation | Configure Architecture of Direct Entity Instantiation | |||
| 291 |
Composites of Protected Types | Allow composites to have elements that are protected types. | |||
| 290 |
Method Parameters that are Access Types |
Allow method parameters to be of an access type. |
|||
| 289 |
Fix2008ContextClause | Context declaration requirements are not uniform | |||
| 288 |
New Bit Literal Rules | Bit string literals not correctly defined | |||
| 287 |
Process all and global signals | process(all) non-parameter signal read error should be errorenous | |||
| 286 |
Fix2008LRM7321 | incremental binding example is illegal | |||
| 285 |
Boolean TEXTIO Write | textio write[line,boolean...] is not backward compatible across language versions | |||
| 284 |
Fixed + Float Pkg updates |
Sizing rules for fixed point reciprocal are wrong | |||
| 282 |
Package Name Capitalization | Give IEEE package names consistency capitalization | |||
| 281 |
Fixed + Float Pkg updates |
Discrepancies between float_generic_pkg.vhdl and float_generic_pkg-body.vhdl (unresolved_unsigned vs unsigned) | |||
| 278 |
Precedence of Unary Logical Operations | Clarify precedence of logic reduction operators | |||
| 277 |
Read of bit_vector vs. std_ulogic_vector | Read of bit_vector and std_ulogic_vector differ slightly. | |||
| 276 |
StopReadOnTrailingUnderscore | '_' at the end of hex and octal reads | |||
| 259 |
User-Defined Attributes May Not Redefine Predefined Attributes | attribute declaration with same designator as a predefined attribute | |||
| IR # | BugZ# | Status | Responsible | Description | Notes |
|---|---|---|---|---|---|
| 2114 | - | 1076.6-2004 section 8.6.5 Slice names is too restrictive. | |||
| 2066 | Support multidimensional arrays in IEEE Std 1076.6-2004 |
| IR # | BugZ# | Status | Date | Description | Notes |
|---|---|---|---|---|---|
| 2027 | - | Reject | Aug 29, 2013 | When loop index is static, drivers are created for each element of array | |
| 2131 | 233 |
Reject | Vhpi_user.h requires enum types contents update/completion | Information available in parent. | |
| 2026 | - | Reject | Aug 7, 2014 | Upward propagating parameters | VHDL-2008 introduces external names to constants (including generics) that addresses this request. Hence, out generics would be a redundant feature |
| 283 |
Reject | May 1, 2014 | ?/= function in float_generic_pkg can give wrong answer | Resolved as Invalid |
| IR # | BugZ# | Status | Responsible | Description | Notes |
|---|---|---|---|---|---|
| 2005 | - | Done | sla operator behavior does not match typical hardware behavior Base language did not change. Instead it is fixed in packages. It is overloaded in numeric_bit_unsigned for bit vector. For std_logic_vector is not be defined unless numeric_std_unsigned is included. |
||
| 2117 | - | Done | Block comment is not there in vhdl | ||
| 2118 | - | Done, Duplicate | Typo in 9.2 Note 2 | ||
| 2006 | - | Done | "else" in "if generate"? | ||
| 2014 | - | Done | Allowance of the keyword "all" in place of a sensitivity list is desirable | ||
| 2015 | - | Done | Generics should be able to incorporate other generics | ||
| 2016 | - | Done, Duplicate | Allowance of the keyword "all" in place of a sensitivity list is desirable | ||
| 2017 | - | Done, Duplicate | Generics should be able to incorporate other generics | ||
| 2019 | - | Done | Reading outputs from within architecture | ||
| 2022 | - | Done | Elements of constant composite to be locally static | ||
| 2024 | - | Done | VHDL needs encryption support |
|
|
| 2046 | Done | AKA Type Generics: Type independent ports and subprogram parameters | |||
| 2088 | Done | Formatted I/O | |||
| 2054 | Superceded | Individual assoc. rules for array formal are not valid | |||
| 2063 | ? 42 |
Forwarded | Unconstrained array formals should not get subtype from actuals |
| IR # | BugZ# | Description | Notes |
|---|---|---|---|
| 1000 | Accumulated typographical and terminology errors. | ||
| 1044 | Definition of 'HIGH and 'LOW in a null range | ||
| 1070 | VPI Issue 14 -- Prefixes in USE clauses | ||
| 2000 | Where may/must deferred constant declaration appear | ||
| 2001 | Resize not working in numeric_std.vhd (1076.3 | ||
| 2002 | Resize(R.2) function in numeric_std.vhd does improper array length check | ||
| 2004 | Definition of SLA doesn't make sense | ||
| 2008 | Source value of undriven, non-sourced INOUT, OUT or BUFFER port | ||
| 2010 | The description of type/subtype relationship could be better | ||
| 2013 | Exact subtype "matching" for port associations | ||
| 2018 | Variable IN parameter should be no different than constant | ||
| 2020 | Keyword REPORT is over-used | ||
| 2023 | Add predefined array types for integer, boolean, real and time | ||
| 2028 | Clarify simulation cycle. | ||
| 2029 | Non-relevant words and paragraph. | ||
| 2030 | What signature does a method have | ||
| 2031 | "mod" function needed for TIME | ||
| 2032 2032.1 | Function "now" is not pure | ||
| 2036 | protected_type_declarative_item includes subprogram_specification | ||
| 2037 | Typo wrt now in the index | ||
| 2038 | Minor semantic errors | ||
| 2039 | Minor typos | ||
| 2040 | Problems with OTHERS in aggregates | ||
| 2042 | Architecture as a block causes problems | ||
| 2043 | Numeric VALUE attribute parameter can't have sign | ||
| 2044 | Deprecation of linkage ports affects boundary scan description language | ||
| 2045 | Add the ability to comment an entire block of code | ||
| 2047 | Backslash in extended identifiers | ||
| 2048 | Miscellaneous errors | ||
| 2049 | Circular definition of an event on a signal | ||
| 2050 | Definition of S'Last_Value was apparently broken in 1993 | ||
| 2051 | Path_name and instance_name do not allow for protected types | ||
| 2052 | Path_name and instance_name don't deal with operator symbols | ||
| 2053 | Minor Typos in VHDL 2002 part 2 | ||
| 2055 | Prohibition on assignment of protected types not normative | ||
| 2056 | Can an attribute name that denotes a function be used where a name is required? | ||
| 2057 | Access-typed parameters to predefined "=" and "/=" | ||
| 2058 | Does USE of type name make operators and literals visible? | ||
| 2059 | Upper/lower case character mapping is not clear | ||
| 2061 | Default actions on severity flags is different between simulators | ||
| 2062 | Range staticness | ||
| 2064 | Type conversion of unconstrained output in a port map | ||
| 2068 | Entity instantiation with space before the entity name | ||
| 2069 | Visibility of generics in block configurations | ||
| 2070 | Support for floating point denormal numbers | ||
| 2071 | Indexed name in case expression | ||
| 2073 | Index constraints and discrete range conversions from universal_integer | ||
| 2074 | Problem with direct/select visibility in formal part | ||
| 2075 | Arrays with numeric and enumeration index types are not closely related | ||
| 2077 | Incorrect wording on some language constructs | ||
| 2078 | Allow attribute declaration/specification in package body | ||
| 2079 | Is TIME a locally static type? | ||
| 2080 | Case expression should include parenthesized expression | ||
| 2081 | The term ancestor is used where parent is meant | ||
| 2082 | Elaboration of unconstrained interface objects | ||
| 2083 | Generate index specification should be of same subtype as generate parameter | ||
| 2084 | A record "element" is not called a "field" | ||
| 2085 | What happens when a parameter of mode out is not assigned in a procedure? | ||
| 2086 | Incorrect description of type mark in disconnection specification | ||
| 2087 | Ambiguous rule for type of an alias declaration | ||
| 2090 | Signature in alias declaration for "not" wrong | ||
| 2091 | Translation between std_logic_vector based types and std_ulogic_vector | ||
| 2092 | Type conversions don't allow for null arrays | ||
| 2093 | Static type conversions and qualified expressions | ||
| 2094 | Attribute specifications of overloaded subprograms is limited | ||
| 2095 | What is the entity class of an enumeration literal? | ||
| 2096 | Error is ambiguous | ||
| 2097 | Operations with Array aggregates | ||
| 2098 | Ambiguity in definition of T'VAL for Physical types | ||
| 2099 | Alias declarations introduce homographs | ||
| 2101 | Type conversion - implicit refers to section 8.1.2 which doesn't exist | ||
| 2104 | Using a configuration to leave a design unbound | ||
| 2105 | Can't declare an alias of a character literal without using expanded name | ||
| 2107 | Editorial process dropped a \ from extended identifier example | ||
| 2111 | Unknown term used: selector | ||
| 2115 | Binding specification should be binding indication | ||
| 2116 | What is the direction of std_logic_vector & '0' | ||
| 2120 | How to access objects in higher level nested protected type | ||
| 2122 | Protected method has implied object parameter? | ||
| 2123 | Process resumption and callbacks | ||
| 2124 | Ordering of process execution and callbacks | ||
| 2126 | Concatenation ambiguity | ||
| 2127 | Possible LRM interpretation pitfall related to the predefined STANDARD package | ||
| 2128 | Shared Variable declarations in generate? | ||
| 2129 | Bad requirements to check exprs with access type sub exprs | ||
| 2110 | Implicit subtype conversions not defined | ||
| 2112 | Can attributes be applied to a signal on the entity within the architecture for that entity? | ||
| 2102 | Duplicate: Typo in Section 3.2.1. Example |