Minutes of ISAC meeting held via telecon on 21 July 2008 Present: Peter Ashenden, Chuck Swart, Ajay Verikat Absent: Jim Lewis, Larry Soule, Lance Thompson Next meeting: Wednesday, July 23, 2008, 7 am Pacific Daylight time (Wednesday, July 23, 2008, 2 pm GMT) TOPIC: Verified Bugzilla Issues The following issues were verified against LRM version 4.3: (Some have status such as INVALID or WON'T FIX so no changes to the LRM were needed. Items with status LATER are verified against 4.3 and will be reopened against the next version.) 206 What exactly does FINISH do? Can it be used? 207 Input values for STOP 209 Line numbers don't align 210 ?? for STD_ULOGIC still listed in table in 9.2.9 211 Confusing rules for object aliases. 214 Semantics of some READ procedures are not complete 215 Problem with deallocation of lines in textio. 217 Confusing/contradictory requirements for viewport objects 218 Permitted access into encrypted code unclear 219 What directives can appear in encrypted source text and ... 220 Inconsistent use of vhpiIntT and int 221 Unclear descriptions of VHPI_SENS_ISSET and VHPI_SENS_FIRST 222 condition expression should be boolean 223 Contradictory statements about normative status of 1164 b... 224 In glossary, some references are out of order. 225 Glossary description of complete context is no longer cor... 226 glossary entry for "design unit" is no longer correct 227 glossary entry for expanded name has incorrect reference 228 Glossary entry for floating-point type is incorrect 229 Is type vhpiIntT signed or unsigned? 230 float_pkg 231 process( all ) -- compiler cannot infer the sensitivity list 232 force and release must be reserved words 233 Vhpi_user.h requires enum types contents update/completion 234 Backward incompatibility for std_logic_textio selected names 235 Error in name of property of foreignf class 236 Wrong case for specName property of blockConfig class 237 Representation of negative time values with vhpiTimeT 238 What is vhpiBootstrapFctT for in vhpi_user.h? 242 Simple typo in D4.2 243 PSL-specific reserved words 244 Ballot response: Make VHPI optional 245 References in both normative section and bibliography 247 Use of "bit" vs. "element" 250 Extension of generate statements makes language too complex 251 New introduction needed 252 Typo in 24.1.1 253 Confusing terminology in 24.1.1 ACTION:Chuck to contact VHPI about Issue 233 and verification of UML. TOPIC: Resolved, not verified issues THE following issues still have problems in D4.3 and will be resolved against D4.3a: 195 Missing rule for base type of an external name "of of" should be "of" 208 D4.2 simple typos Some instances of BOOLEAN still have wrong case 212 Inconsistent treatment for PSL declarations "it is is" should be "it is" "it it" should be "it is" 213 Can a force signal assignment update ports of mode IN? D4.3 annotated p106 Note 8: "a port of mode in may by updated" "by" should be "be" 216 Clause title on VHDL-87 is out of date. OK but index has entry(s) "compatibility with IEEE std 1076-1987" this should probably conform with new wording. 246 Typos "by concatenating to left" should be "by concatenating to the left" 248 Wrong case for TRUE Lots of missed TRUEs and FALSEs in Annex G 249 Ballot comments from Alex Zamfirescu correctly replaced "if and only if" by "if" for falling edge, but missed subsequent same change for rising edge, also for falling and rising edge for type BIT. ACTION: Peter to issue LRM version 4.3a to ISAC before Wednesday meeting. TOPIC: IEEE VHDL approval It is anticipated that the LRM review will be completed by Wednesday and will then be ready for a recirculation ballot. ACTION: Chuck to communicate with VASG chair (Jim).