[sv-cc] Meeting minutes for 06/20/2007

Minutes of 06/20/2007 SV-CC Meeting.

ATTENDEES
0000000000000000000000
7777777777777666666666
0000000000000111110000
6655443322111221009988
2020212121310200212131
0639518484173068517306
xxx-xxxxxx-xxxxxxxxxxx Charles Dawson
xxxxxxx-xxxxxxx-x-xxxx Ralph Duncan
xxxxxxxxxxxxxxxxxxxxxx Jim Vellenga
xxxxxxxxxxxx-xxx-x-xxx Andrzej Litwiniuk
-xxxxxxx-xxxxx-xxxxxxx Abigail Moorhouse
--xxxxx-xxxx--xxxxxx-x Michael Rohleder
xxxxxxxx-xxxxxxxxxxxxx Chuck Berking
x-xxxxxxxxxxxxxx-xxxxx Bassam Tabbara
xxxxxx-xx-xx-x-xxxxxxx Francoise Martinolle
xxxxxxxxxx-xxxxxxxxxx- Ghassan Khoory
xxx------------------- Pankaj Pal
xxx------------------- Anil Arora
xx-------------------- Arjinder Vasir
xx-x--x--xxxx----xx-xx Amit Kohli
------x--------------- Stu Sutherland
----x----------------- Gord Vreugdenhil
---x-----xx----------- Steve Dovich

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 of the 06/06/2007 Meeting
     - Ralph/Chuck.  ACCEPTED (unanimous)


3.  Liaisons
   - Francoise reports that there is nothing of interests to the
     SV-CC at this time.


4.  New business
   - Definition of `s_vpi_vecval' in `svdpi.h' and `vpi_user.h' (Item 1864)
     Item 1864 - Doug submitted this.  We will take a straw poll on this later.
   - Chas pointed out that our next regularly scheduled meeting is on 07/04.
     Chas asked if we should cancel it.  Hearing no objections, SV-CC will
     meet next on 07/18.

5.  Reviewed items with proposals

   - Item 1726 Clarify meaning of vpiConstantSelect
     Long discussion on this.  Dynamic objects cause lots of problem.
     What we want is that the object exists through out the simulation
     and that the object itself is not changing (it's value changes but
     not the object).  Discussion suspended again.

   - Item 1385 Please document compatibility issues between 1364 and 1800 VPI
     Friendly amendment that Chuck modify the changes to the include file to
     use the standard approach for explaining the edit to the editor.
     Chuck/Ralph.  PASSED (unanimous) Chuck to update proposal.

   - Item 1837 Wrong outline for net in VPI generate diagram
     Chas hasn't had time to rework the proposal.  Postponed again.

   - Item 1699 1800-2005+ draft 3 sections 36.34 and 36.68 problem with vpiReturn
     Will probably cause a compatibility issue between 2005 and 2008.
     Chuck/JimV.  PASSED (unanimous)

   - Item 0793 29.4.3 has vpiAssertVacuousSuccessCovered but missing in include file
     Francoise moves that 793 is duplicate of 1599.  Chuck seconds.
     PASSED (unanimous)

     Francoise moves that SV-CC direct the chair to request that SV-AC move 1599
     to SV-CC once they feel they are ready.  Ralph.  Jim thinks that they have
     put a lot of effort into it and they probably understand it better.  Bassam
     mentioned that there are a couple of other assertion related items that effect
     VPI.  Francoise says that as long as it comes back to the SV-CC before it ends
     up in the LRM.  This is already a split of Item 805.  ACCEPTED.  Chas to
     write a note to that effect.


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

   - Item 1865 Inconsistent field definitions for s_vpi_vecval in svdpi.h and vpi_user.h
     Will this cause lint warnings or compiler warnings or errors?  No one knows
     off hand.  We should do some tests.  Jim pointed out that the annex references
     are wrong in the proposal.  That needs to be fixed.  Should be updated to
     reflect draft 3A too.

   - Item 1859 Redundant DPI imports/exports section
     Ralph/JimV.  PASSED (unanimous)


Motion to adjourn Chuck/Andrzej.  Meeting ended at 1:02pm.

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.
   - All to verify their Acknowledged Mantis Items.
   - Steve to send out exact text on referring to a prior version.
   - Chas to gather a list of all SV-CC approved mantis items which have
     not been incorporated into draft 2.
   - Francoise, with Chuck's help, to put few questions together and send it
     to Michael on deprecation of the term memory.
   - Francoise to inquire from SV-BC on the current thinking regarding
     deprecation of the term memory.
   - Francoise to ask Stu from user perspective on need for callbacks in the
     pre and post observed regions.
   - Michael to provide user perspective on need for callbacks in the pre and
     post observed regions
   - Ralph to work on a proposal to solve Stu's DPI issue.
   - All to review xrefs in draft 3.
   - Chas to send a request to SV-BC committee to consider language in the LRM
     to require implementations to have a mapping file which will bind names
     to $units objects.
   - 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.
   - Chas to send a request to SV-AC to transfer Item 1599.


9.  Items for consideration at the next meeting (they already have proposals)
   - Item 1726 Clarify meaning of vpiConstantSelect
   - Item 1837 Wrong outline for net in VPI generate diagram
   - Item 1865 Inconsistent field definitions for s_vpi_vecval in svdpi.h and vpi_user.h


10. Next meeting
    The next SV-CC meeting will be on 07/18/2007.
    The next P1800 meeting will be on 07/12/2007.

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