Re: [sv-cc] SV-CC Meeting Minutes for 10/10/2007 -- 1599

Proposal is updated and posted on mantis.

THX. 
-Bassam

----- Original Message -----
From: owner-sv-cc@eda.org <owner-sv-cc@eda.org>
To: sv-cc@eda.org <sv-cc@eda.org>
Sent: Fri Oct 19 12:36:10 2007
Subject: [sv-cc] SV-CC Meeting Minutes for 10/10/2007

Minutes of 10/10/2007 SV-CC Meeting.

ATTENDEES
000000000000000000000000000000
777777777777777777777666666666
100000000000000000000111110000
099888876655443322111221009988
121221012020212121310200212131
062925180639518484173068517306
xxxxxxx-xxx-xxxxxx-xxxxxxxxxxx Charles Dawson
-xxxxx-xxxxxxxx-xxxxxxx-x-xxxx Ralph Duncan
xxxx--xxxxxxxxxxxxxxxxxxxxxxxx Jim Vellenga
-xx-xxxxxxxxxxxxxxxx-xxx-x-xxx Andrzej Litwiniuk
xxx---xx--xxxxx-xxxx--xxxxxx-x Michael Rohleder
xxxxxxxxxxxxxxxx-xxxxxxxxxxxxx Chuck Berking
xx-xx--xx-xxxxxxxxxxxxxx-xxxxx Bassam Tabbara
xx-xxxxxxxxxxx-xx-xx-x-xxxxxxx Francoise Martinolle
xxxx---xxxxxxxxxxx-xxxxxxxxxx- Ghassan Khoory
xxxx-----xxxxxxx-xxxxx-xxxxxxx Abigail Moorhouse
-xxxx--xxxx------------------- Pankaj Pal
xxxxx--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
x----------------------------- John Havlicek

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/26/2007
     Item 1751 was approved in 9/12 minutes.
     Cross specialization should be class specialization.
   - Chuck/Vellenga.  ACCEPTED (unanimous) as amended


3.  Liaisons

   - Francoise went to face-to-face to talk about name resolution and
     type parameters.  Asked P1800 for an extension.
   - SV-BC discussed deprecating the Read API.  They agreed with going
     ahead, but relying on us to do the right thing.
   - Chas reported on the schedule information.
     The P1800 committee has asked us for timelines/milestones for each
     of the items we want to address.  We will try to put together this info at
     our next meeting.  Everyone who has items on their plate should be prepared to
     discuss when a proposal should be available for the issue at our next meeting.


4.  New business

   - Discuss SV-AC related Items (John Havlicek will be joining us) 1599 and 1648

     Item 1599 discussion

     iff was changed in the way it was handled in assertions (item 805)  The assertion
     could only be at the top level of the assertion.  Disable is no longer considered
     a success or fail.  Vacuous success was only defined for implication properties,
     when antecedent is false.  Extended the notion.  If you have nested implication
     operators succeeding, then it is considered a vacuous success.  Users want to
     see non-vacuous success for an assert.  Disable was main change to assertions.
     Other things were added because they were found during review.

     Abi noted that this is dynamic information, and in the past vpi_get() used to
     return only static information.  Jim and Chuck pointed out some other places
     where this is true - size of dynamic objects, vpiValid.

     We noted some procedural issues that should be corrected.  The numbers for
     vpiAssertVacuousSuccessCovered and vpiAssertDisableCovered should be chosen by
     the editor.  Need note to that effect.  The proposal should be in terms of
     "replace"/"with".  Need to fix the colors.  Should be a PDF instead of HTML.
     Bassam to update proposal.

     Item 1648 discussion

     Provides a condition in which the assertion can be aborted.  For example, a reset.
     Don't need to pollute the structure of the assertion to deal with the disable
     condition.

     Long discussion on the semantics that would cause a distribution to appear within
     multiple places in the assertion diagrams.  Jim will file a clarification request
     with the SV-AC on how this is used inside a disable.  Jim came up with reasonable
     answer having to do with a distribution to be the condition part of a "disable iff"
     construct.  See Item 2095 for more details.

     JimV moves to provide feedback to SV-AC that we are okay with the proposal.  Bassam
     seconds.  ACCEPTED.  Chas to send email to SV-AC to that effect.

   - Chas noted that we will have to update our proposals to reflect draft 4 section
     numbers.

   - JimV sent out a proposal for class specialization.  Please review.  It is against
     draft 3a.  JimV will update for next time.


5.  Reviewed items with proposals

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

   - Item 2063 Three minor typos in sections 36.15, 36.21 and 36.25
     JimV/Chuck.  PASSED (unanimous)

Motion to adjourn.  Chuck/Abi. Meeting adjourned at 1:00pm.

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.
   - Bassam to update proposal for Item 1599.
   - Chas to send email to SV-EC on Item 1648.

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/24/2007.
    The next P1800 meeting will be on 11/15/2007.




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


-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.