Minutes of the sv-sc sub-committee meeting, August 5, 2008

=================Attendance=============================

   02210021020220 Day
   59258147306817
   00000000000000 Month
   87777766655444
   00000000000000 Year
   88888888888888

--[-------------a]   Arturo Salz          - Synopsys
-v[aaaaa-aaaa-aa-]   Abigail Morehouse    - Mentor
--[-------------a]   Bassam Tabbara       - Synopsys
--[-------------a]   Brad Pierce          - Synopsys
--[---------a-aaa]   Cliff Cummings       - Sunburst Design
-v[-aaa--a--aaaaa]   Dave Rich            - Mentor Graphics
-v[a-aaaaaaaaa-aa]   Dmitry Korchemny     - Intel
--[---------a-aa-]   Don Mills            -
--[---------aaaaa]   Eduard Cerny         - Synopsys
-t[aaaaaaaaaaaaaa]   Erik Seligman        - Intel (chair)
-v[aaa-a-aaaaaaaa]   Francoise Martinolle - Cadence
-v[-aaaaaaaaaaaaa]   Gordon Vreugdenhil   - Mentor Graphics
-v[-aaaaaa-aaaaa-]   Jin Yang             - Intel
--[--------aaaaaa]   John Havlicek        - Freescale
--[-------------a]   Jonathan Bromley     - Doulas
--[--------a--a-a]   Karen Pieper         - Accellera
-v[aaaa-aaaaaaaaa]   Lisa Piper           - Cadence
-v[-aaaaa-aaaaaaa]   Manisha Kulshrestha  - Mentor Graphics
-v[aaaaaaaaaaaaaa]   Mark Hartoog         - Synopsys
--[--------aaaaaa]   Mehdi Mohtashemi     - Synopsys
-v[aaaaaaaaaaa...]   Michael Burns        - Freescale
-v[--aaa---aaaaaa]   Mirek Forczek        - Aldec
-v[a-aaaa--aaaaaa]   Neil Korpusik        - Sun Microsystems
--[------------a-]   Ray Ryan             - Mentor
--[------------aa]   Shalom Bresticker    - Intel
-v[aaaaa-aaaaaaaa]   Steven Sharp         - Cadence
--[-----------aaa]   Stu Sutherland       - Sutherland HDL
--[------------aa]   Surrendra Dudani     - Synopsys
-v[aa-aaaaaaaaaaa]   Tom Thatcher         - Sun Microsystems (co-chair)
||
||---- Voting eligibility for current meeting
|------Voting eligibility for next meeting


====================Agenda==============================

Agenda:

   1.  Review the patent policy
   ref:  http://standards.ieee.org/board/pat/pat-slideset.ppt
   2.  Approve the minutes from the last meeting, available at
       http://www.eda.org/twiki/bin/view.cgi/P1800/SvScMeetingMinutes20080722
   3.  Review of Mantis item updates from Champions, voice votes on new changes
          * 1728: Let
          * 2434: Self-determined Types
          * 2088: Covergroups in Checkers
          * 2396: edge clk
          * 2414: Let VPI
          * 2398: Procedural Concurrent Assertions 
   4.  Opens? 
 

====================Summary==============================
1.  Voice voted to approve changes to the following Mantis items:
   1728:  Let
   2088:  Covergroups in checkers
   2396:  edge clk
   2414:  Let VPI
   2398:  Procedural Concurrent Assertions

2.  Gord is on vacation:  Mike will look at 2434 to see if he can put in a
    change to resolve John's concern.
====================Notes==============================

1 Patent policy
   ref:  http://standards.ieee.org/board/pat/pat-slideset.ppt

   Move:  Mark :  Accept patent policy as reviewed
   Second: Mike
   Unanimously approved.


2.  Approve Minutes
   Move: Mike :  Approve minutes from last meeting with amendment,
   Second: Dmitry
   Unanimously approved

3.  Review of Mantis item updates from Champions, voice votes on new changes

    1.  1728: Let
   Dmitry:  Comment from Shalom--Changed a sentence.
   Move:  Tom:  Approve change
   Second:  Mike
   Unanimously approved.

    2.  2434:  Self-determined types.
   Gord on vacation
   Mike Burns will volunteer to look at this proposal.  He will try to 
   post a correction
   We won't be able to vote on this before Champions meeting.
   Neil will put on Champions agenda, just to see that they have no
   other issues.  But no gurarantee that they will get to it because of
   the long agenda.

    3.  2088:  Covergroups
   Tom:   Removed a restriction that the covergroup sampling event could
      not reference a checker variable.

   Move:   Neil:  Approve this change to 2088
   Second:   Fransoise
   Unanimously approved

    4.  2396:  edge clk
   Tom:   Shalom had pointed out that there was no text in the SDF 
      annotation section describing how to annotate to an edge
      timing check.  Jin added changes to that section showing
      how SDF would be annotated to a timing check containing
      and edge specifier

   Dmitry: not comfortable about voting on this because he has no
      experience in this area.
   Neil:   Shalom had said that the change did resolve his concern.

   Move:   Tom:   Approve change to 2396
   Second: Steven, Abi
   Unanimously approved.

   Dmitry: Wishes it to be noted that his yes vote is based on Shalom's
      opinion.  He doesn't have expertise in this area.

    5.  2414:  Let VPI
   Abi:   All changes are minor editorial  Bold/not bold, etc

   Move:   Abi:   Approve changes to 2414
   Second: Fransoise
   Unanimously approved

    6.  2398:  Procedural Concurrent Assertions
   Erik:   Lots of editorial issues. 
      Shalom reviewed these changes, and said that all his concerns
      were resolved.

   Move:   Neil:  Approve changes to 2398
   Second:   Tom
   Unanimously approved

4.  Open Issues?

5.  Procedures:
    Champions will meet on Thursday.
    We'll schedule a meeting next tuesday to vote on any friendly amendments.
    Champions don't meet again before the working group meeting.
    If things don't get completed,  we'll need to address this in the working
    group.
    CC the champions e-mail list when responding to Champions feedback.


Next meeting Tuesday, August 12

-- ErikSeligman - 11 Aug 2008