[sv-cc] SV-CC Meeting Minutes for 09/26/2007

Minutes of 09/26/2007 SV-CC Meeting.

ATTENDEES
00000000000000000000000000000
77777777777777777777666666666
00000000000000000000111110000
99888876655443322111221009988
21221012020212121310200212131
62925180639518484173068517306
xxxxxx-xxx-xxxxxx-xxxxxxxxxxx Charles Dawson
xxxxx-xxxxxxxx-xxxxxxx-x-xxxx Ralph Duncan
xxx--xxxxxxxxxxxxxxxxxxxxxxxx Jim Vellenga
xx-xxxxxxxxxxxxxxxx-xxx-x-xxx Andrzej Litwiniuk
xx---xx--xxxxx-xxxx--xxxxxx-x Michael Rohleder
xxxxxxxxxxxxxxx-xxxxxxxxxxxxx Chuck Berking
x-xx--xx-xxxxxxxxxxxxxx-xxxxx Bassam Tabbara
x-xxxxxxxxxxx-xx-xx-x-xxxxxxx Francoise Martinolle
xxx---xxxxxxxxxxx-xxxxxxxxxx- Ghassan Khoory
xxx-----xxxxxxx-xxxxx-xxxxxxx Abigail Moorhouse
xxxx--xxxx------------------- Pankaj Pal
xxxx--xxxx------------------- Anil Arora
x-x----xx-------------------- Arjinder Vasir
x-----xxx-x--x--xxxx----xx-xx Amit Kohli
-------------x--------------- Stu Sutherland
-----------x----------------- Gord Vreugdenhil
----------x-----xx----------- Steve Dovich
---x------------------------- Neil Korpusik


1.  Reviewed Patent information

   - Chas reviewed the patent information which can be
     found at http://standards.ieee.org/board/pat/pat-slideset.ppt


2.  Reviewed minutes for 09/12/2007

   - Ralph/Chuck.  ACCEPTED (unanimous).


3.  Liaisons

   - Francoise reported on the face to face with BC and EC on Monday.
     Discussed name lookup and fixing the LRM to accurately reflect name
     resolution.  Pack Refs, $unit, ...etc. are broken.

     There may be an enhancement for typed parameters.  Will probably
     take a month to resolve, and then we will need to update the VPI
     model for this.  Francoise noted that we don't have a decent model
     for what exists already.

   - Chas invited John Havlicek to the meeting, and he said he would join.

   - No other meetings to report on.


4.  New business

   - Discuss schedule and outstanding Mantis items.

     Jim thinks we need to fix cross specialization.  Jim hopes to post
     a proposal on this in the next week or so.  In general, we may need
     some significant changes for this.

     Chas pointed out the typed parameter issue.

     Abi pointed out that dynamic handle lifetime/validity has not really been
     resolved yet.  We've discussed, and come up with some ideas but
     haven't turned them into proposals.

     Jim pointed out that callbacks haven't been handled yet.  Unpacked structs
     callbacks.  Callbacks for dynamic objects.  Existing callbacks and maybe
     we need some new ones (like one that tells the application that a dynamic
     object is going away).

     Chas suggested we should do something about put value with delay on dynamic
     objects.

     Can VPI create dynamic objects?  No, but we should say that.

     Expressions that have side effects - can we do things like get the size?
     Should that be allowed?

     Chas polled people, and we had consensus that these would not all be resolved
     within our alloted timeslot.  Chas to report back to the P1800 committee.

   - Discuss deprecating the Read API, Item 2054

     Jim does not think that anyone has stepped up to resolve it.  Several people
     expressed a desire to have the API, but no one to clean it up.  Bassam thinks
     that it was reviewed.  Bassam thinks it needs to be better incorporated into
     the rest of the VPI, like what is happening with assertions.  Chas pointed out
     that no one but him actually reviewed it last time, so the fact that it was part
     of the approved standard holds no weight with him.  Abi agreed with that.
     Chas has attempted to fix several of the open Items in the past and each time
     gave up with the feeling that the chapter needed to be completely rewritten.
     Francoise pointed out that it is less important than the rest of the LRM.  No
     one has implemented it yet. Bassam and Ghassan to prioritize the current set of
     open items.

   - Abi's question about the vpiStrength0 and vpiStrength1 properties

     Nets have strength properties and Abi wanted to know if it was the part of the
     cont assign, duplicating the info from the cont assign page.  Strength is
     interesting for supply and tran nets.  Abi will add a Mantis Item requesting
     clarification.  Chas will see if he can figure out how it got there in the first
     place.

   - Item 1648

     Jim ask a question on this, and Bassam thinks the answer is yes.  He had a proposal
     to fix it at some point, but it got lost.  Bassam will fix this in the proposal and
     add a fix to 36.43 (in draft 3a).  Should point to an expr and a distribution.  Fix
     all disable distributions in VPI diagrams.  Bassam will ask Jim's question in the
     SV-AC.

Motion to adjourn.  Francoise/Abi. Meeting adjourned at 1:05pm.


5.  Reviewed items with proposals

6.  Reviewed SV-CC items with proposals (Straw poll only)

7.  Old Business

8.  Action items

   - Francoise and Bassam to continue work on assignment patterns.
   - Francoise to champion adding support for typed parameters to the
     typespec diagrams.
   - Abi to champion adding support for parameterized classes.
   - Abi/JimV to champion improving the ability to compare objects.
   - Steve to send out exact text on referring to a prior version.
   - Chas to take a look for questions from Editor in these sections
     and either answer them himself or parcel them out to other
     committee members as appropriate.
   - JimV to test that the fix for Item 1865 will not cause compilation warnings.
   - Francoise and Bassam to figure out what should happen when you get the
     size of a string constant.
   - Bassam to get reasoning behind changes in Item 1361.
   - Chas, JimV, Chuck, and Ralph to update their already passed proposals to
     reference Draft 3A.
   - Michael to comment on the user impact to the change in proposal for Item 1865.
   - JimV to update proposal for Item 1952.
   - Chas to update proposal for Item 1837.
   - JimV to update proposal for Item 1696.
   - Chas to add Mantis Item for deprecating database read API.
   - Chas to ask John Havlicek questions about the SV-AC issues.
   - Bassam and Ghassan to prioritize list of issues with Read API.

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

   - Item 1361 need a way to control execution of action blocks
   - Item 2009 HDL example shown in detail 3 section 36.14 (Reference objects) has errors.
   - Item 1751 Clarify vpiParent for part selects
   - Item 1741 1800-2005 Section 27.50 Issues with foreach diagram
   - Item 2054 Draft 3A, Section 40 - Deprecate Data Read API
   - Item 1952 "Null Argument" to mean "omitted Argument" may be confusing

10. Next meeting

    The next SV-CC meeting will be on 10/10/2007.
    The next P1800 meeting will be on 10/04/2007.



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.