ISAC: Proposed Agenda for ISAC meeting 11 January 2007

From: Chuck Swart <cswart_at_.....>
Date: Tue Jan 09 2007 - 16:05:04 PST
Next Meeting: Thursday December 11, 2007, 6 pm Pacific Standard Time
                      (Friday December 12, 2007, 2 am GMT)

telecom info (same as always)
US 800-637-5822
Other +1 647-723-3937
Access Code 6850821

0. Discussion of move to Bugzilla

1. New ISAC Issues:

2106    Submitted                       Desire preprocessor 
(macro/ifdef) support in VHDL
2107    Submitted                       Editorial process dropped a \ 
from extended identifier example
2108    Submitted                       Behavior of "wait" when 
condition is already true

2. Open ISAC Issues:

2099    Analyzed        Chuck           Alias declarations introduce 
homographs
2105    Analyzed        Chuck           Can't declare an alias of a 
character literal without using expanded name

3. review of IRs incorporated into D3.0 LRM:

2043    015 Larry
2048    019 Ajay
2049    020 Ajay
2050    021 Chuck (OK)
2051    022 Chuck (OK)
2052    022 Chuck (OK)
2053    023 Larry
2055    025 Larry
2056    026 Lance (OK)
2057    027 Lance (OK)

IR      LCS      reviewer

4. Review of pre-2002 IRs

1000   Peter ongoing
1016   Larry  (Open issues remain)
1022   Ajay
1025   Ajay
1026   Larry (all issues resolved)
1027   Larry (all issues resolved)
1030   Chuck  (Open issues remain)
1031   Chuck  (Open issues remain)
1032   Lance  (Open issues remain)
1033   Lance  (All issues resolved)

D3.0 IRs to be assigned:

2058   2006-028   2
2059   2006-029   1
2061   2006-030   1
2062   2006-031   1
2071   (FT25)2006-109   2
2073   2006-032   1
2074   2006-033   2
2075   2006-038   1
2077   2006-034   1
2078   2006-035   1
2079   2006-041   1
2080   2006-039   1
2081   2006-040   1
2082   2006-046   2
2083   2006-042   1
2084   2006-043   1
2086   2006-047   1
2087   2006-044   1
2090   2006-045   1
2092   2006-048   2
2093   2006-049   1
2094   2006-050   1
2095   2006-051   1

Pre-2002 IRs to be assigned/evaluated:

1035 Rules for non-local access to signals and variables in functions 
are too restrictive.
1036 Integer subtypes & operations
1040 Resolved composite signals are difficult to associate.
1041 Implicit signals are not objects.  Moreover, they may not be signals.
1042 Missing sentence for variable assignment aggregate target.
1043 User defined attribute on function name
1045 Qualified expressions lead to lexical ambiguity
1046 Unclear definition of "resolved signal."
1047 VPI Issue 10 -- Entity class type vs. subtype
1048 Deferred constant reference before complete definition.
1049 When is an entity bound to the library it references?
1050 Visibility outside of design units is not well-defined.
1051 Direct visibility rules for USE clauses are incomplete and confusing.
1052 Rules for others in aggregates are incomplete
1055 Reading predefined signal attributes of subprogram signal 
parameters within the subprograms.
1056 Certain error requirements are not well-defined.
1057 Expanded names are not allowed in extended regions.
1058 What use are LINKAGE ports?
1059 What is the allowed use of others in record aggregates?
1060 A'LEFT's result type is anomalously described.
1062 Can a resolution function return an unconstrained array?
1063 Scope and visibility rules for predefined attributes are unclear.
1064 Passiveness of processes is not analysis-time computable.
1066 Conversion function definition assumes different types.
1069 Mod and rem are ill-defined when they return zero.
1070 VPI Issue 14 -- Prefixes in USE clauses
1071 The bounds of array aggregates are ill-defined.
1072 Does the elaboration of a process statement create a process?
1074 Interpretation of overloaded name prefixes is unclear.
1075 Self-referential access types are not prohibited.
1076 Applicability of resolution functions is still unclear.
1077 Out ports cannot drive buffer ports.
1079 Conflicting rules for direction of concatenation
1081 Expression elaboration with impure functions
1082 Implicit conversion of a universal real expression
1085 "Staticness" of the predefined attribute INSTANCE_NAME
1086 Use of character literal or operator symbol in alias
1088 Problems with physical mapping of libraries
1089 Visibility problem with components and USE clauses
1090 Do library clauses extend from entities to architectures?
1091 Group constituent names cannot have signatures.
1092 Must a selected name in a use clause denote anything?
1093 Replacement characters (from Ada) complicate parsing.
1094 Bad wording for individual association for subprograms.
1095 Are time literals with real numeric parts exact?
1096 Entity aspect poorly defined for incremental binding.
1097 Why do primary unit names in secondary units differ?
1098 Can variable parameters be left unassociated or not?
1104 Inconsistent, overly restrictive subtype checks.
1105 The elaboration of group declarations is not defined.
1106 Accumulated problems with unclear wording.
1107 Postponed process behave illogically at initialization.
1108 The subtype of a deferred constant may not always be deduced during 
analysis time.
1109 The term "named entity" it not defined.
1110 The term "object" is not well-defined.
1111 Is a user-defined attribute an object?
1112 Need to disallow conversion function signal parameters.
1114 LRM wording doesn't account for separators.
1115 Should subtype and constraint checks really be made when the driver 
takes on the value of a signal?
1116 implicit signals in guard expression (via port maps)
1117 Problem with Composite Resolved Signal
1118 Group constituent can't be user-defined attribute name.
1119 LRM is not clear as to when the wait statement condition clause is 
evaluated in a postponed process.
1120 Inconsistency about the mode of formal parameters of class file.
1121 Meaning of a changed value for reals is not clear
1122 Default binding text and examples disagree
1123 Simulation cycle does not account for processes resuming after 
expiration of the timeout interval
1124 Are all actuals evaluated in incremental binding?




-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jan 9 16:05:44 2007

This archive was generated by hypermail 2.1.8 : Tue Jan 09 2007 - 16:05:46 PST