SvScMeetingMinutes20080812 < P1800

P1800 Web>SystemVerilogSpecialCommittee>SvScMeetingMinutes>SvScMeetingMinutes20080812 (2008-08-13, ErikSeligman) (raw view)EditAttach
<verbatim>
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.

</verbatim>


-- Main.ErikSeligman - 13 Aug 2008
Topic revision: r1 - 2008-08-13 - 16:35:31 - ErikSeligman
P1800