SvScMeetingMinutes20080805 < P1800

P1800 Web>SystemVerilogSpecialCommittee>SvScMeetingMinutes>SvScMeetingMinutes20080805 (2008-08-11, ErikSeligman) (raw view)EditAttach
<verbatim>
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
</verbatim>



-- Main.ErikSeligman - 11 Aug 2008
Topic revision: r1 - 2008-08-11 - 16:40:39 - ErikSeligman
P1800