[sv-cc] SV-CC Meeting minutes for 10/06/2004

Minutes of 10/06/2004 SV-CC Meeting.

ATTENDEES
00000
44444
10000
09999
02211
69250
-xxxx Ghassan Khoory
xxxxx Francoise Martinolle
xxxxx Doug Warmke
x-xxx Bassam Tabbara
xxxxx Andrzej Litwiniuk
xxxxx Joao Geada
xxxxx Charles Dawson
x-xxx Jim Vellenga
xxxx- Ralph Duncan
--x-- Rob Slater
x-x-- Sachchidananda Patel
xxx-- Michael Rohleder
xxx-- John Stickley
xx-x- Jim Garnett
x--x- Steven Dovich
----x Swapnajit Mitra
----x Karen Pieper
--x-- Angshuman Saha

1. Reviewed Patent information.

   - Charles Dawson read the patent information.

2. Reviewed minutes of the 9/29/04 Meeting.

   - Chas received comments that Doug Warmke attended the
     meeting.
   - Ralph believed that the comment I attributed to him did not
     accurately reflect his position:

       Ralph commented that this would not be binary compatible,
       only source compatible, but a step towards that.

     and asked that that comment be stricken.

   - Joao/Andrzej. ACCEPTED as amended.

3. Liaisons

   - Nothing to report.

4. New business

   - "SystemVerilog Database Operating Procedures" doc from Karen.

     Someone was unclear where the templates for writing proposals
     are. They are at: http://www.eda.org/sv/ at the bottom of the
     section titled "Working Documents".

     We will likely need editable forms of the diagrams, and that it
     may be problematic to cut/paste diagrams into the templates.

     We will need to add files containing the proposals for all of the
     already resolved items.

     Chas reported that Karen would be sending the document out for a
     wide review shortly.

   - Item 205: Clarify size relationship of packed type canonical/vendor formats.

     Ralph proposed that we postpone our discussion until next week on
     this issue, since so much information had come out in the past 48
     hours. Joao second. proposal to postpone ACCEPTED.

5. Review of items with proposals

   - Item 202: Fix 1 erroneous cross-ref, 1 grammar error.

     Discussed. JimV/Joao PASSED.

   - Item 160: Multiple packed dimensions (agree on interpretation), fix cross-ref & text.

     Does not have a formal proposal. Ralph will add one. Andrzej asked
     if there was a description of how it is linearized. Long discussion
     on various possible links to such a description, including sections
     E.6.6, E.6.1, section 3, and section 4.3. Joao thinks that the
     basic language group should define linearization as side effect of
     something being packed. Joao and Francoise to file new SV-BC item or
     find already existing text if possible.

   - Item 049: Decide on semantics: require import fn return value data type, add sentence.

     Ralph believes that the grammar is clear and cannot derive an empty string.
     Joao agrees. Andrzej thinks it can default to reg. Joao thinks this should
     be brought up in SV-BC. Chas doesn't like the default being something that
     C cannot naturally return, as this will be a common type of error. Joao and
     Andrzej thinks we should be consistent with the rest of the language. Joao
     asked Francoise to check with SV-BC on the default return value of functions.

   - Item 048: Fix obsolete text on imported task return type.

     Discussed. Michael/Joao PASSED.

6. Old Business

   - Chas to see if everyone can be set to developer for accessing
     the database.

     Chas reported that everyone who did not already have a developer
     account should have received email with a new account name/password.
     If you believe you still do not have an account properly setup, please
     let Chas know. DONE.

   - Chas to ask Steve Dovich to comment on Item 205.

     Steve has commented on this item. DONE.

   - Andrzej to put together examples to illustrate his position
     Item 205.

     Andrzej has provided examples. DONE.

Motion to adjourn by Ralph/JimG.

Meeting ended at 1:00pm (EDT)

7. Action items

   - Everyone to send the set of items that they will be working on.
   - Everyone to send the set of items to which they have already
     made proposals.
   - Chas to get the database updated to reflect the previous meetings.
   - Francoise to ask Peter Ashenden what was done to improve
     printing from Rational Rose.
   - Francoise to inquire about the feasibility of third parties
     shipping the UML for the diagrams.
   - JimV to resubmit a proposal for Item 123.
   - Joao/Francoise to file SV-BC item asking to define linearization.
   - Francoise to check with SV-BC on default return type of functions.

8. Items for consideration at the next meeting (they already have
      proposals):

   - Item 205: Clarify size relationship of packed type canonical/vendor formats.
   - Item 047: Fix 3 erroneous cross-references.
   - Item 046: Fix 1 typo and 1 grammar error.
   - Item 156: Jeita 31: In Index, issue with blocking and DPI imports
   - Item 198: Add unions to list of supported unpacked aggregate types for DPI arguments
   - Item 199: More detail needed for DPI treatment of dynamic array arguments
   - Item 200: Clarifications needed in DPI Annex E.6, "Data Types"
   - Item 201: More details needed on DPI string argument handling
   - Item 123: Clarify meaning of "member typespec" in VPI
   - Item 160: Multiple packed dimensions (agree on interpretation), fix cross-ref & text.
   - Item 049: Decide on semantics: require import fn return value data type, add sentence.

--
Charles Dawson
Senior Engineering Manager
NC-Verilog Team
Cadence Design Systems, Inc.
270 Billerica Road
Chelmsford, MA  01824
(978) 262 - 6273
chas@cadence.com