Minutes of 10/26/2004 SV-CC Meeting.
ATTENDEES
00000000
44444444
11110000
00009999
22102211
60369250
xxxxxxxx Charles Dawson
xxxxxxxx Francoise Martinolle
xxxxxxxx Doug Warmke
xxxx-xxx Bassam Tabbara
xxxxxxxx Andrzej Litwiniuk
xxxxxxxx Joao Geada
xxxx-xxx Jim Vellenga
xxxxxxx- Ralph Duncan
xxx--x-- Rob Slater
xxxx-x-- Sachchidananda Patel
xxxxxx-- Michael Rohleder
xx-xxx-- John Stickley
xxxxx-x- Jim Garnett
xxxx--x- Steven Dovich
-------x Swapnajit Mitra
-------x Karen Pieper
-----x-- Angshuman Saha
-x------ Kevin Cameron
--x-xxxx Ghassan Khoory
1. Reviewed Patent information.
- Charles Dawson read the patent information.
2. Reviewed minutes of the 10/20/04 Meeting.
- JimV/Michael. Minutes accepted.
3. Liaisons
- No other meetings were reported on.
4. New business
- No new business was brought up.
5. Reviewed of items with proposals.
- Item 125: "typespec", not "type spec" in VPI variables object model
Discussed. JimV/Ralph. PASSED (unanimous)
- Item 066: Error in VPI assertion traversal examples
Francoise noted that it looks as if section 28 was added prior to the
data model for the rest of the VPI model. We should eliminate the
redundant information in section 28. Francoise thinks these two
sections are inconsistent and need to be reconciled. Francoise took
an action to work with Bassam to reconcile sections 28 and 31.
Skipped 66, 67, 68, 69, 264, 265 for now.
- Item 266: sv_vpi_user.h has an unused vpiSequenceSpec
Was for the same as seq decl? Should be deleted.
Bassam asked to postpone decision until next week.
- Item 044: var bit vs. vpiVarBitVar in VPI
Proposal to take a straw poll. JimV/Steve. ACCEPTED.
- A motion was made to declare 121 and 122 as duplicates of 123, since
the proposal for 123 will resolve these issues as well. ACCEPTED.
- Item 205: Binary compatibility for packed arrays as fields and as elements of unpacked arrays
After another lengthy discussion, it has become clear that all points
of view on this subject have been expressed. We decided that we will
wait until next week (the proposal had not been made in time to vote
this week anyway), and proceed to a vote on this at that time.
- Item 078: Handle type 'reg' as interchangeable with type 'logic'
Proposal to take a straw poll. Doug/Joao ACCEPTED.
- Item 156: Jeita 31: In Index, issue with blocking and DPI imports
Proposal to take a straw poll. Joao/Michael. ACCEPTED.
- Item 198: Add unions to list of supported unpacked aggregate types for DPI arguments
Proposal to take a straw poll. Ralph/JimV. ACCEPTED.
- Item 200: Clarifications needed in DPI Annex E.6, "Data Types"
Discussed briefly before the end of the meeting. There was some
dissent on the issue. Will bring up again next week.
Meeting ended at 1:05pm (EDT)
6. Old Business
-
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.).
- Francoise and Bassam to reconcile sections 28 and 31.
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 205: Binary compatibility for packed arrays as fields and as elements of unpacked arrays
- Item 123: Clarify meaning of "member typespec" in VPI
- Item 050: Change DPI svLogicVec32 representation to match PLI/VPI aval/bval representation
- 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
-- 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 27 12:27:11 2004
This archive was generated by hypermail 2.1.8 : Wed Oct 27 2004 - 12:27:15 PDT