Minutes of 09/29/04 SV-CC Meeting.
ATTENDEES
0000
4444
0000
9999
2211
9250
xxxx Ghassan Khoory
xxxx Francoise Martinolle
-xxx Doug Warmke
-xxx Bassam Tabbara
xxxx Andrzej Litwiniuk
xxxx Joao Geada
xxxx Charles Dawson
-xxx Jim Vellenga
xxx- Ralph Duncan
-x-- Rob Slater
-x-- Sachchidananda Patel
xx-- Michael Rohleder
xx-- John Stickley
x-x- Jim Garnett
--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/22/04 Meeting.
- Chas received comments that Angshuman Saha attended the
meeting and that Jim Vellenga's name was spelled incorrectly.
- Francoise moves that we accept the minutes.
Doug seconds. No opposed. No abstentions. Passed as amended.
3. Liaisons
- Nothing to report.
4. New business
- Last chance for previous straw polled items: 162 and 124.
No objections. These two items are now considered PASSED.
Chas will update the database.
- Chas to ask Karen to write up the process for resolving any
given database item.
Chas reported that he met with Karen this week, and she has
been working on a draft of a document describing the process.
She hopes to send out for review later this week.
Chas believes the database has most of the fields/states that
we need with one notable exception: There is no "proposed"
state, to indicate that a proposal has been made. Karen will
look into getting this state added. In the mean time, we need
to keep track of these ourselves.
Karen's proposal says that we should use the file attaching
mechanism to add proposals, not to add them as bugnotes. There
are templates for helping with this at:
at the bottom of the "Working Documents" section. Some
expressed a desire to still make proposals as text. Karen's
proposed process would not preclude that.
- Chas to see if everyone can be set to developer for accessing
the database.
Chas knows how to go about doing this, but was not sure who
should be added. After discussion, it was agreed that those
who have attended this meeting so far would be added initially.
After that, we will add people on a case by case basis.
- Chas to get the database updated to reflect the 8/11 meeting.
Chas has begun working on this, but it is dependent on the
previous action item being completed.
- Chas to make sure everyone is on the SV-CC email list.
DONE.
- JimV and Francoise to work on a cohesive solution for Item 122
and Item 80.
JimV and Francoise discussed and determined that they are not
connected. JimV has already made a proposal for 122 and
Francoise is working on the proposal for 80.
5. Review of items with proposals
- Item 077: VPI diagram for instances shouldn't refer to reg objects
This one was determined to not have a formal proposal yet.
Removed from the proposal list until a formal proposal is
written.
- Item 205: Clarify size relationship of packed type canonical/vendor formats.
Doug commented that the goal of this proposal was to make
programing easier and more intuitive. Francoise agreed that
it did that. Ralph commented that the include files would
still be there? Francoise commented that the way the data
would be packaged when moving to C would be in the simulator's
format. Michael was unclear on what Francoise meant. Ralph
commented that proposal only says that the size would be the
same. Ralph commented that this would not be binary compatible,
only source compatible, but a step towards that. Michael said
that he would like to see binary compatibility whenever possible.
Joao still had concerns about the proposal overly constraining
the simulators. Andrzej was concerned that we would be putting
constraints on that would adversely effect simulators when they
move to 64 bit. Ralph commented that no restrictions on the
simulator would add undue burden on the application developer.
Andrzej expressed concern that restricting the simulator would
adversely effect simulation performance. Andrzej wanted an
agreement that we are trading off binary compatibility for
pain in implementation/simulation. Ralph said that we've been
agreement of that for a while. Doug thought that we have
three options:
- Settle on one form, such as in the proposal.
- Do two forms, one for 32 bit and one for 64 bit.
- Come up with a mechanism that does not restrict the
simulators.
Andrzej thought there was really only two. What do you do for
types that did not naturally fit in C? Several asked Andrzej
to put together an example(s) to illustrate his points. Chas
also thought Steve Dovich would want to contribute on this
issue. Francoise had already talked with him, and asked that
Chas ask Steve to write up his thoughts on the issue.
Ran out of time before discussion was over. Chas will make
this the first item for discussion at the next meeting.
Motion to adjourn by Ralph/Joao.
Meeting ended at 1:05pm (EDT)
6. Old Business
-
7. Action items
- Chas to see if everyone can be set to developer for accessing
the database.
- 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 8/11 meeting.
- 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.
- Andrzej to put together examples to illustrate his position
Item 205.
- Chas to ask Steve Dovich to comment on Item 205.
8. Items for consideration at the next meeting (they already have
proposals):
- Item 205: Clarify size relationship of packed type canonical/vendor formats.
- Item 202: Fix 1 erroneous cross-ref, 1 grammar error.
- 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.
- Item 048: Fix obsolete text on imported task return type.
- 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
-- Charles Dawson Senior Engineering Manager NC-Verilog Team Cadence Design Systems, Inc. 270 Billerica Road Chelmsford, MA 01824 (978) 262 - 6273 chas@cadence.comReceived on Fri Oct 1 13:32:30 2004
This archive was generated by hypermail 2.1.8 : Fri Oct 01 2004 - 13:32:37 PDT