ISAC: Minutes from meeting July 21 2008

From: Chuck Swart - MTI <cswart_at_.....>
Date: Mon Jul 21 2008 - 13:23:46 PDT
These are also available at the website.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


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).
Received on Mon Jul 21 13:24:23 2008

This archive was generated by hypermail 2.1.8 : Mon Jul 21 2008 - 13:24:27 PDT