ISAC: A new IR

From: Chuck Swart <cswart_at_.....>
Date: Mon Aug 07 2006 - 12:36:44 PDT
Here is another IR submitted by Larry.
Can we get together next week for a meeting?
I propose Thursday August 17.
Let me know if that day is OK.

Chuck Swart


VHDL Issue Number:        2101

Language_Version          VHDL-2002
Classification            LRM Terminology, Grammar and Typographical Errors
Summary                   Type conversion - implicit refers to section 8.1.2 which doesn't exist
Relevant_LRM_Sections     
Related_Issues            
Key_Words_and_Phrases     
Authors_Name              Larry Soule
Authors_Phone_Number      650-584-1919
Authors_Fax_Number        
Authors_Email_Address     larrys@synopsys.com
Authors_Affiliation       
Authors_Address1          
Authors_Address2          
Authors_Address3          

Current Status:           Submitted

Superseded By:

------------------------
Date Submitted:           7 August 2006
Date Analyzed:
Author of Analysis:
Revision Number:          0
Date Last Revised:

Description of Problem
----------------------

The index entry for type conversion - implicit lists
    section 8.1.2, but that section doesn't exist.

Proposed Resolution
-------------------

Remove the reference to 8.1.2

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

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

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


-------------END OF IR----------------

Revised 07 August 2006

Number  Status          Responsible     Description     Notes

Active IRs

2096    Submitted                       Error is ambiguous
2097    Submitted                       Operations with Array aggregates
2098    Submitted                       Ambiguity in definition of T'VAL for Physical types
2099    Submitted                       Alias declarations introduce homographs
2100    Submitted                       Operator overloading for protected type methods
2101    Submitted						Type conversion - implicit refers to section 8.1.2 which doesn't exist

Resolved IRs

1044    VASG-Approved                   Definition of 'HIGH and 'LOW in a null range
2000    VASG-Approved                   Where may/must deferred constant declaration appear
2001    VASG-Approved                   Resize not working in numeric_std.vhd  (1076.3
2002    VASG-Approved                   Resize(R.2) function in numeric_std.vhd does improper array length check 
2003    Forwarded                       Specification of multi-cycle paths
2004    VASG-Approved                   Definition of SLA doesn't make sense
2005    Duplicate                       sla operator behavior does not match typical hardware behavior
2006    Forwarded                       "else" in "if generate"?
2007    Forwarded                       VHDL needs to be enhanced to allow the modeling of switches.
2008    VASG-Approved                   Source value of undriven, non-sourced INOUT, OUT or BUFFER port
2009    Forwarded                       New std package, containing compiler and target identification information
2010    VASG-Approved                   The description of type/subtype relationship could be better
2011    Forwarded                       A package body should be able to consist of several files
2012    Forwarded                       VHDL lacks inherent statements to describe the most basic hardware design equations 
2013    VASG-Approved                   Exact subtype "matching" for port associations
2014    Forwarded                       Allowance of the keyword "all" in place of a sensitivity list is desirable
2015    Forwarded                       Generics should be able to incorporate other generics
2016    Duplicate                       Allowance of the keyword "all" in place of a sensitivity list is desirable
2017    Duplicate                       Generics should be able to incorporate other generics
2018    VASG-Approved                   Variable IN parameter should be no different than constant
2019    Forwarded                       Reading outputs from within architecture
2020    VASG-Approved                   Keyword REPORT is over-used
2021    Forwarded                       Dynamic hardware construct
2022    Forwarded                       Elements of constant composite to be locally static
2023    VASG-Approved                   Add predefined array types for integer, boolean, real and time
2024    Forwarded                       VHDL needs encryption support
2025    Forwarded                       "Generate" for sequential code
2026    Forwarded                       Upward propagating parameters
2027    Forwarded                       When loop index is static, drivers are created for each element of array
2028    VASG-Approved                   Clarify simulation cycle.
2029    VASG-Approved                   Non-relevant words and paragraph.
2030    VASG-Approved                   What signature does a method have
2031    VASG-Approved                   "mod" function needed for TIME
2032    VASG-Approved                   Function "now" is not pure
2033    Forwarded                       Incremental operator and auto subtype boundary wrap
2034    Forwarded                       Introduce history attribute on signals to auto infer registers
2035    Forwarded                       new function "stages" automates pipelining
2036    VASG-Approved                   protected_type_declarative_item includes subprogram_specification
2037    VASG-Approved                   Typo wrt now in the index
2038    ISAC-Approved                   Minor semantic errors
2039    VASG-Approved                   Minor typos
2040    VASG-Approved                   Problems with OTHERS in aggregates
2041    Forwarded                       Association of members is too restricted
2042    VASG-Approved                   Architecture as a block causes problems
2043    VASG-Approved                   Numeric VALUE attribute parameter can't have sign 
2044    VASG-Approved                   Deprecation of linkage ports affects boundary scan description language
2045    VASG-Approved                   Add the ability to comment an entire block of code
2046    Forwarded                       Type independent ports and subprogram parameters
2047    VASG-Approved                   Backslash in extended identifiers
2048    VASG-Approved                   Miscellaneous errors
2049    VASG-Approved                   Circular definition of an event on a signal
2050    VASG-Approved                   Definition of S'Last_Value was apparently broken in 1993
2051    VASG-Approved                   Path_name and instance_name do not allow for protected types
2052    VASG-Approved                   Path_name and instance_name don't deal with operator symbols
2053    VASG-Approved                   Minor Typos in VHDL 2002 part 2
2054    Superseded                      Individual assoc. rules for array formal are not valid
2055    VASG-Approved                   Prohibition on assignment of protected types not normative
2056    VASG-Approved                   Can an attribute name that denotes a function be used where a name is required? 
2057    VASG-Approved                   Access-typed parameters to predefined "=" and "/="
2058    VASG-Approved                   Does USE of type name make operators and literals visible?
2059    VASG-Approved                   Upper/lower case character mapping is not clear
2060    Forwarded                       Include truth table for multi-input/multi-output logic.
2061    VASG-Approved                   Default actions on severity flags is different between simulators
2062    ISAC-Approved                   Range staticness
2063    Forwarded                       Unconstrained array formals should not get subtype from actuals
2064    VASG-Approved                   Type conversion of unconstrained output in a port map
2065    Forwarded                       OTHERS in aggregates too restrictive
2066    Forwarded                       Multidimensional array in IEEE Std 1076.6-2004
2067    Forwarded                       Enhancement: Logical link interface abstraction 
2068    VASG-Approved                   Entity instantiation with space before the entity name
2069    VASG-Approved                   Visibility of generics in block configurations
2070    VASG-Approved                   Support for floating point denormal numbers
2071    VASG-Approved                   Indexed name in case expression
2072    Forwarded                       Allow static operations on "ranges"
2073    VASG-Approved                   Index constraints and discrete range conversions from universal_integer
2074    ISAC-Approved                   Problem with direct/select visibility in formal part
2075    VASG-Approved                   Arrays with numeric and enumeration index types are not closely related
2076    Forwarded                       A member attribute for records
2077    VASG-Approved                   Incorrect wording on some language constructs
2078    VASG-Approved                   Allow attribute declaration/specification in package body
2079    VASG-Approved                   Is TIME a locally static type?
2080    VASG-Approved                   Case expression should include parenthesized expression
2081    VASG-Approved                   The term ancestor is used where parent is meant
2082    ISAC-Approved                   Elaboration of unconstrained interface objects
2083    VASG-Approved                   Generate index specification should be of same subtype as generate parameter
2084    VASG-Approved                   A record "element" is not called a "field"
2085    ISAC-Approved                   What happens when a parameter of mode out is not assigned in a procedure?
2086    ISAC-Approved                   Incorrect description of type mark in disconnection specification
2087    VASG-Approved                   Ambiguous rule for type of an alias declaration
2088    forwarded                       Formatted I/O
2089    Forwarded                       Directional records
2090    VASG-Approved                   Signature in alias declaration for "not" wrong
2091    ISAC-Approved                   Translation between std_logic_vector based types and std_ulogic_vector
2092    ISAC-Approved                   Type conversions don't allow for null arrays
2093    ISAC-Approved                   Static type conversions and qualified expressions
2094    ISAC-Approved                   Attribute specifications of overloaded subprograms is limited
2095    ISAC-Approved                   What is the entity class of an enumeration literal?
Received on Mon Aug 7 12:36:48 2006

This archive was generated by hypermail 2.1.8 : Mon Aug 07 2006 - 12:36:49 PDT