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

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

   102210021020220 Day
   259258147306817
   000000000000000 Month
   887777766655444
   000000000000000 Year
   888888888888888

--[--------------a]   Arturo Salz          - Synopsys
vv[aaaaaa-aaaa-aa-]   Abigail Morehouse    - Mentor
--[--------------a]   Bassam Tabbara       - Synopsys
--[--------------a]   Brad Pierce          - Synopsys
--[----------a-aaa]   Cliff Cummings       - Sunburst Design
vv[a-aaa--a--aaaaa]   Dave Rich            - Mentor Graphics
vv[-a-aaaaaaaaa-aa]   Dmitry Korchemny     - Intel
--[----------a-aa-]   Don Mills            -
--[----------aaaaa]   Eduard Cerny         - Synopsys
tt[aaaaaaaaaaaaaaa]   Erik Seligman        - Intel (chair)
vv[aaaa-a-aaaaaaaa]   Francoise Martinolle - Cadence
vv[--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
vv[aaaaa-aaaaaaaaa]   Lisa Piper           - Cadence
vv[a-aaaaa-aaaaaaa]   Manisha Kulshrestha  - Mentor Graphics
vv[aaaaaaaaaaaaaaa]   Mark Hartoog         - Synopsys
--[---------aaaaaa]   Mehdi Mohtashemi     - Synopsys
vv[aaaaaaaaaaaa...]   Michael Burns        - Freescale
--[a--aaa---aaaaaa]   Mirek Forczek        - Aldec
vv[aa-aaaa--aaaaaa]   Neil Korpusik        - Sun Microsystems
--[-------------a-]   Ray Ryan             - Mentor
--[-------------aa]   Shalom Bresticker    - Intel
vv[aaaaaa-aaaaaaaa]   Steven Sharp         - Cadence
--[------------aaa]   Stu Sutherland       - Sutherland HDL
--[-------------aa]   Surrendra Dudani     - Synopsys
vv[aaa-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/SvScMeetingMinutes20080805
   3.  Review of Mantis item updates from Champions, voice votes on new changes
          * 2434: Self-determined Types
          * 2396: edge clk
          * 2398: Procedural Concurrent Assertions
          * 1900: Checkers 
   4.  Opens? 

====================Summary==============================
1.  Voice voted to approve changes to the following Mantis items in 
    response to Champions feedback:
   2434:  Self-determined Types
   2396:  edge clk
   2398:  Procedural Concurrent Assertions
   1900:  Checkers

====================Notes==============================

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

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


2.  Approve Minutes
    Posted at:
   http://www.eda.org/twiki/bin/view.cgi/P1800/SvScMeetingMinutes20080805

   Move: Mike :  Approve minutes from last meeting
   Second: Lisa
   Unanimously approved

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

    1.  2434:  Self-determined types.
   Stu wanted a more complete example.
   Champions edited the example.  Any objections?
   Mike:  I reviewed it and it looks OK.
   No other objections

    2.  2396:  edge clk
   Move:   Tom:   MOve to accept
   Second:   Mike:
   Unanimously approved.
   
   Neil:   Did he get the requested change on page 5?
      Yes, it's there.

   Manisha: Is last example correct?
   Tom:   Example is correct.  the "&&& !mode" is not necessary to
      illustrate the point.
   Neil:   Would suggest not making a change.  Should only consider changes
      requested by champions.

    3.  2398:  Procedural Concurrent Assertions
   Erik:   "Else" clause of "if 1900 passes"

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

    4.  1900:  Checkers
   Part 1:
   Tom:  Made two fixes:  1.  In BNF, changed an "=" to bold red type.
      2.  Added "A generate block" to list of places where a
          concurrent assertion may appear.

   Part2:
Erik:   Fix #1:  Fix example by making variable automatic
   Fix #2   p. 13:  Added explanation of assume set.
   Fix #3   Counting error:  failure occurs six cycles later, not five.
   Fix #4   17.6.3:  deleted a sentence.  It was just a arepeat of 
      sampling section for concurrent assertions
   Editorial stuff.
   Fix #5   Page 2:  Added text to restrictions on escaping references.
   Fransoise:  Is this explained?
   Erik:    It's clear to me.
   Fix #6   Removed duplicate list of where checkers may occur.
   Issue:  Cross-references may be confusing to editor.
   Neil:   Specify an ordering to implementing Mantis items.
   Page 5  Added "Immediate and Concurrent" to 
   Erik:   This makes the text incorrect.
   Mike:   Added this because one champion was confused whether immediate
      assertions were allowed inside of a checker.
   Erik:   Will update paragraph to separate treatment of immediate, & 
      concurrent.
   Page 6:  In example, changed last argument to be a legal argument.
      Ticks were the wrong type.  Fixed now by removing const cast.
   Page 8:  17.5  "event control statement"  ->  "procedural timing
      control"
   17.5:   Struck the entire sentence "monitored only on first clock"
   Page 9: 17.6  "any point in time" to "any timestep"
   Erik:   Can we just delete the entire sentence?  
   Neil:   Agree


   Move:   Mike:  Accept changes to 1900
   Second:   Tom
   Abstain:  Steven:  still feels that 1900 proposal has not had enough
      review.
   Approved.

4.  Opens
    Remember to check cross references.
    Neil:  Draft 7 will be the ballot draft.
   We may not be able to fix problems before balloting.
   May need to fix problems through balloting process.


Next meeting:

Tenatively plan for meeting next Tuesday: 8/19/2008 in case more amendments
are requested by the working group.

-- ErikSeligman - 13 Aug 2008