ISAC: Proposed agenda for ISAC meeting November 10 NOTE time changes due to Daylight Savings

From: Chuck Swart <cswart_at_.....>
Date: Fri Nov 04 2005 - 16:45:05 PST
Next Meeting: Thursday November 10, 2005, 6 pm Pacific Standard Time
              (Friday November 11, 2005, 2 am GMT)

telecom info (NOTE NEW NUMBERS)
US 800-637-5822
Other +1 647-723-3937
Access Code 6850821

1. New ISAC Issues:

2075    Submitted                       Arrays with numeric and 
enumeration index types are not closely related
2076    Submitted                       A member attribute for records

2.  Open ISAC Issues:

2038    Submitted                       Minor semantic errors
2054    Submitted       Larry       Individual assoc. rules for array 
formal are not valid
2070    Analyzed        Chuck      Support for floating point denormal 
numbers
2071    Submitted                       Indexed name in case expression
2072    Submitted                       Allow static operations on "ranges"
2073    Analyzed        Chuck       Index constraints and discrete range 
conversions from universal_integer
2074    Analyzed        Chuck & Ajay    Problem with direct/select 
visibility in formal part

3. Categorization of Old IRs:

Currently done:

Status

1002    Open     Ambiguity as to when parameter subtype indications are 
elaborated.
1003    Open     Non-commutative and non-associative resolution 
functions are a source of non-determinism
1004    Enhancement-Analysis needed Are deferred constants still 
deferred after their full declaration?
1008    Resolved Function NOW is undefined during static elaboration.
1009    Open     Unclear context of evaluation for formal part of block 
map aspects.
1013    Open     Reference to a generate loop parameter in a 
configuration is unclear
1014    Open     The LENGTH attribute is ill-defined.
1017    Open     Why must a name in a wait stmt. sens. list be static?
1019    ??Compare with 2028 The signal updating steps of the simulation 
cycle is incorrect.
1024    Open     VPI Issue 20 -- Primary units with same name

4. Status of Web Based IR System









Revised 04 November 2005

Number  Status          Responsible     Description     Notes

Active IRs

2038    Submitted                       Minor semantic errors
2054    Submitted       Larry           Individual assoc. rules for array formal are not valid
2070    Analyzed        Chuck           Support for floating point denormal numbers
2071    Submitted                       Indexed name in case expression
2072    Submitted                       Allow static operations on "ranges"
2073    Analyzed        Chuck           Index constraints and discrete range conversions from universal_integer
2074    Analyzed        Chuck & Ajay    Problem with direct/select visibility in formal part
2075    Submitted                       Arrays with numeric and enumeration index types are not closely related
2076    Submitted                       A member attribute for records

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    ISAC-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    ISAC-Approved                   Clarify simulation cycle.
2029    ISAC-Approved                   Non-relevant words and paragraph.
2030    VASG-Approved                   What signature does a method have
2031    ISAC-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
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    ISAC-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    ISAC-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    ISAC-Approved                   Minor Typos in VHDL 2002 part 2
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    ISAC-Approved                   Upper/lower case character mapping is not clear
2060    Forwarded                       Include truth table for multi-input/multi-output logic.
2061    ISAC-Approved                   Default actions on severity flags is different between simulators
2062    ISAC-Approved                   Range staticness
2064    ISAC-Approved                   Type conversion of unconstrained output in a port map
2063    Forwarded                       Unconstrained array formals should not get subtype from actuals
2065    ISAC-Approved                   OTHERS in aggregates too restrictive
2066    Forwarded                       Multidimensional array in IEEE Std 1076.6-2004
2067    Forwarded                       Enhancement: Logical link interface abstraction 
2068    ISAC-Approved                   Entity instantiation with space before the entity name
2069    ISAC-Approved                   Visibility of generics in block configurations
Received on Fri Nov 4 16:45:09 2005

This archive was generated by hypermail 2.1.8 : Fri Nov 04 2005 - 16:45:11 PST