[sv-cc] SV-CC Meeting minutes for 11/17/2004

Minutes of 11/17/2004 SV-CC Meeting.

ATTENDEES
00000000000
44444444444
11111110000
11100009999
11022102211
60360369250
xxxxxxxxxxx Charles Dawson
xxxxxxxxxxx Francoise Martinolle
xxxxxxxxxxx Doug Warmke
xxxxxxx-xxx Bassam Tabbara
xxxxxxxxxxx Andrzej Litwiniuk
xxxxxxxxxxx Joao Geada
xxxxxxx-xxx Jim Vellenga
xxxxxxxxxx- Ralph Duncan
xxxxxx--x-- Rob Slater
xxxxxxx-x-- Sachchidananda Patel
xxxxxxxxx-- Michael Rohleder
xxxxx-xxx-- John Stickley
xxxxxxxx-x- Jim Garnett
xxxxxxx--x- Steven Dovich
xxxx-x-xxxx Ghassan Khoory
----------x Swapnajit Mitra
----------x Karen Pieper
--------x-- Angshuman Saha
----x------ Kevin Cameron
--x-------- Amit Kohli
-x--------- Surrendra Dudani

1. Reviewed Patent information.

   - Charles Dawson read the patent information.

2. Reviewed minutes of the 11/10/04 Meeting.

   - JimV pointed out that, the group clarified that
     for a task or function with multiple statements (issue
     #284), VPI should treat them as being embedded in an
     implicit begin ... end.
   - Ralph/JimV. Minutes accepted as amended.

3. Liaisons

   - SV-BC

     - is working on types on wires. This will have an
       impact on us. The don't seem to have any proposal for VPI
       yet. We will need to address this.
     - Are integer types the same as packed arrays? Will effect
       DPI and VPI.
     - What do we do when we get last minute changes from other
       committees? Chas to bring up at 1800 meeting.

   - No other meetings were reported on.

4. New business

   - Once we go to ballot, can we still meet?

     Yes, can continue on errata. When is the best time to open
     a new par? Chas to ask the IEEE 1800 committee next week (or get
     Victor to).

   - Finalize straw polls for 280, 281, 283

     PASSED without further comment.

   - Item 297 is a duplicate of 276?

     Proposal to make 297 duplicate of 276.
     Joao/JimV. PASSED.

   - Item 267

     vpiQualifier defined by SystemVerilog. Long discussion on when a tagged
     case item is. Francoise thinks current definitions are not adequate.
     Francoise will make new proposal.

   - Item 201

     Doug wanted to talk about this one.
     Not defined in VPI at all. Francoise to add Items for this.
     Straw poll: Doug/Michael. Rob does not like this.
     Opposed: Rob
     Abstain: Ralph, Steve, fm
     Favor: Doug, Bassam, Andrzej, Joao, JimV, Sachi, Michael, John, JimG, Ghassan

   - PTF items in a poor state

     After a brief discussion, we decided to reopen these. We will use
     out current process for getting them resolved.

   - Item 301

     Breaking backward compatibility. Francoise thinks we had actually
     decided that was okay. Chas and Joao confirmed that this was intentionally
     done. In that case, Jim has added proposal.

5. Reviewed of items with proposals.

   - Item 265 sv_vpi_user.h has redundancy

     Postponed until next week.

   - Item 061 Meaning of vpiMultiArray depends on 1364 but is in conflict with it

     Francoise suggested a change. JimV to make new proposal.

   - Item 065 Note 19 in section 31.10 is wrong

     JimG/JimV. PASSED (unanimous)

   - Item 058 type of vpiTagged property in 31.12 is wrong

     Francoise asked if JimG had verified it is bool in header. Yes.
     Ralph/Francoise. PASSED (unanimous)

   - Item 072 LRM specifies number references for vpi defines, only to be done in annex

     Chas pointed out a precedent for this in the include file. Is already there.
     Joao thinks as long as actual numbers are not in the LRM, then it's okay.
     Chas asked that Michael take the comment text out of the proposal.
     Michael/JimV. PASSED (unanimous)

Chas asked for a volunteer to run the next meeting should he have technical
difficulties running it from somewhere other than where he usually does (since
he's going to be on vacation). Rob volunteered.

Meeting ended at 1:05pm (EDT)

   - Item 288 Use a proper typedef for 32-bit values instead of 'unsigned int'

6. Old Business

   -

Meeting ended at 1:05pm (EDT)

7. Action items

   SV-CC action items:
   - 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.
   - 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.
   - Everyone to review outstanding items to make sure high priority ones
     are resolved prior to 12/1/2004
   - Chas to ask P1800 committee what we will do if we get last minute
     requests from other committees.
   - Chas to ask P1800 what schedule we have for future work.

   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.
   - Francoise to lookup wording for PTF 524 in VHPI.
   - 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 288 Use a proper typedef for 32-bit values instead of 'unsigned int'
   - Item 295 Is "var bit typespec" superfluous in VPI?
   - Item 265 sv_vpi_user.h has redundancy
   - Item 301 Is every unpacked array a VPI array var?
   - Item 284 Should taskfunc have multiple statements
   - Item 282 VPI string value for reg vs. logic var
   - Item 079 Clarify TRUE/true and FALSE/false values for VPI object model
   - Item 303 PTF 342: Deprecate the PLI 1.0 sections
   - Item 299 typo: Memory should be memories
   - Item 300 typo: Memory should be memories, primitive should be primitives

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