Minutes of 10/20/2004 SV-CC Meeting.
ATTENDEES
0000000
4444444
1110000
0009999
2102211
0369250
-x-xxxx Ghassan Khoory
xxxxxxx Francoise Martinolle
xxxxxxx Doug Warmke
xxx-xxx Bassam Tabbara
xxxxxxx Andrzej Litwiniuk
xxxxxxx Joao Geada
xxxxxxx Charles Dawson
xxx-xxx Jim Vellenga
xxxxxx- Ralph Duncan
xx--x-- Rob Slater
xxx-x-- Sachchidananda Patel
xxxxx-- Michael Rohleder
x-xxx-- John Stickley
xxxx-x- Jim Garnett
xxx--x- Steven Dovich
------x Swapnajit Mitra
------x Karen Pieper
----x-- Angshuman Saha
x------ Kevin Cameron
1. Reviewed Patent information.
- Charles Dawson read the patent information.
2. Reviewed minutes of the 10/13/04 Meeting.
- Andrzej was at the last meeting.
- Rob/Andrzej. ACCEPTED as amended.
3. Liaisons
- Chas to report on the PTF meeting that occurred on 10/18/2004.
- The PTF decided they would prefer to use the SVDB going forward:
- Will allow them to use the approved process for resolving issues.
- Will allow them to add files to items.
- SV-CC committee won't need to learn the 1364 database.
Chas is working on setting it up.
- Meeting time
Everyone except Stu could make the Wednesday time, and Stu was not
attending many PTF meetings.
- No other meetings were reported on.
4. New business
- Issues 5, 78, 121, and 125.
- 5 was re-opened and assigned to Joao.
- 78 was re-opened and assigned to Ralph.
- 121 was re-assigned to JimV.
- 125 was re-opened. To vote on it again next week.
- Finding owners for remaining items.
- JimV will take those that he submitted.
- Chas will assign remainder to those who do not already
have ones assigned to them.
- Further discussion on Item 205.
- A lengthy discussion on this item again. Ralph has a write-up on
his position which he will mail out shortly.
- Discussion will continue via email this coming week.
5. Review of items with proposals
- Item 080: vpiTypedef property issues
- Ralph/JimV. PASSED (unanimous)
6. Old Business
- Joao/Francoise to file SV-BC item asking to define linearization.
Another lengthy discussion of this issue. Ralph thought we
had three options:
- Leave it as is.
- Get SV-BC committee to define linearization.
- Define linearization ourselves.
It was generally agreed that this should be defined by the SV-BC.
So, we are back to Joao and Francoise opening an SV-BC item.
Ralph believes that the specific issue in Item 160 can be
addressed and a reference to the definition of linearization
added later. Ralph will formalize a proposal.
Meeting ended at 1:05pm (EDT)
7. Action items
SV-CC action items:
- Chas to assign remaining Items to those without open ones now.
- 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.
- Chas to ask Karen about updating the diagrams (does not fit well
with approved process).
- Andrzej to make sure the LRM says that for the C layer of DPI,
representations of a type are always the same regardless of where
it is (packed struct, member of array, ...etc.).
PTF action items:
- Steve to compare BNF with the access available
for attributes to see if they match
- Francoise to remove "+" from tags in UML diagrams and
add vpi prefix where appropriate.
- Francoise to send out HTML for 1364-2001 diagrams, using
something other than JPG for importing diagrams into frame.
- Stu to write proposal for PTF 368.
- Francoise to write proposals for PTF 373, 374, and 396.
- Steve to write proposals for PTF 311, and 495.
- Sachi to write proposals for PTF 307, 312, and 313.
- All to review Generates proposal from ETF committee.
- Francoise, et all to review BTF generates proposal
for the upcoming vote, with particular emphasis on
how we will address generates in VPI.
- Stu to enter new PTF item for save/restart/reset issue.
- JimG to write proposals for PTF 517, 533, and 534.
- Chas to write proposal for PTF 296.
- Stu to write an addition to the proposal for PTF 342.
This will cover that PLI 1.0 was deprecated in section 20
and include some of the stuff currently in section 21
(like the descriptions for the checktf and calltf).
- Francoise to lookup wording for PTF 524 in VHPI.
- JimV to try to rework proposal for PTF 530 to address other
issues we found in 26.6.17.
- Francoise will open a new PTF issue to look for situations like 25.6.15,
where multiple methods are used access the same object enclosure
- Chas to reword proposal for PTF 525.
- Draft a straw man proposal using a clean slate with no concern for
existing PLI/VPI on the best way to represent all Verilog and
SystemVerilog kinds and types. This straw man will then be used as a
basis for discussing backward compatibility with the existing reg, net,
variables, functions, and parameter diagrams. It may be decided that
full backward compatibility is not possible, or is not the best approach
moving forward.
- Sachi will file a PTF item for the clarification of what can be done
at ROsync time and putting values in future times.
- Francoise to file a PTF item that asks to specify the order that iteration
occur in, when the order is important.
- Steve to add ETF item for Annex C to remove the Informative label, but
still allow the contents to be optional.
8. Items for consideration at the next meeting (they already have
proposals):
- Item 125: "typespec", not "type spec" in VPI variables object model
- Item 066: Error in VPI assertion traversal examples
- Item 067: Add vpiAssertionType to enumerations
-- 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 Wed Oct 20 11:29:21 2004
This archive was generated by hypermail 2.1.8 : Wed Oct 20 2004 - 11:29:27 PDT