[sv-champions] Minutes of the Aug 21st conference call

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


    Champions  August 21, 2008  Conference call
                    Thursday 8-10am PDT

Attendees:
----------
1. - Stu Sutherland
2. - Surrendra Dudani
3. * Brad Pierce
4. - Francoise Martinolle
5. * Shalom Bresticker
6. * John Havlicek
7. * Dave Rich    
8. * Neil Korpusik


1. Review IEEE patent policy

   ref:  http://standards.ieee.org/board/pat/pat-slideset.ppt
   Move: Brad, Shalom - assume the patent policy was read
   Passed unanimously

2. List of Mantis items for review

2.1  1900  SV-SC  Add new 'checker' construct to SVA
    - fixed
    - 2008-01-15: Passed by e-mail vote, 7y/0n/3a.
    - The proposal failed in the Champions email vote which ended on
      Feb 4th, 2008.  Failed with 2 no-votes
    - Was moved to the sv-sc
    - The Champions feedback was addressed
    - Passed voice vote at SV-SC meeting, 2008-07-22, conditional on some
      specific minor edits (implemented in version posted by Erik Seligman
      on 2008-07-23).  9y/0n/3a

      Neil and Francoise abstained due to not enough time to review.
      Steven Sharp abstained because he believes it is under-researched and
      too many changes have been made too quickly, though he has not actually
      spotted any specific problems.
    - Part2 was sent back to TC by Champions - Aug 7th
      It was updated by the TC
    - Half of part2 was then up for a Champions email vote - ending Aug 13th
      (2y,3n,0a)
    - Updates were made by the svsc and passed unanimously Aug 19th

    Note: There are two proposal to review (part1 and part2). 
	  Part1 the 8/12 version, part2 the 8/19 version

    John - all of his issues were resolved

      Move: Brad - approve the proposal for Mantis 1900
    Second: John
   Abstain: Dave - Fundamentally opposed to adding this to the current PAR.
		 - Can't do an adequate technical job for something that 
		   has not been implemented.
     Passed with one abstain


2.2   2226 SV-CC  VPI Handle behavior for HDL objects of dynamic lifetime is 
                  not defined 
    - fixed 
    - The proposal was sent back to the SV-CC by the Champions in the 
      April 10th, 2008 conference call.
    - The SV-CC passed the latest proposal 07/30/2008 (unanimous).
    - failed in Champions email vote ending Aug 13
    - The svcc will work with the Editor to bring the proposal into alignment
      with draft 7.  (due 9/25 -- as agreed to in the Working Group meeting 8/14)
    - It has actually already been passed by the Working Group (Aug 14th)
    <note: there are 5 parts, totaling ~80 pages>

      Move: Brad - approve the proposal for Mantis 2226
    Second: Dave 
     Passed Unanimously

     Note: by voting in favor of the proposal, the Champions are relying on 
	   the technical expertise of the sv-cc to ensure that this proposal
	   is correct.


2.3   2398 SV-SC More consistent semantics for concurrent assertions in 
                 procedural code
    - fixed
    - The proposal was approved by the champions on July 31st with several 
      friendly amendments. 
      Those changes were made and approved by the sv-sc.
    - In the last Champions meeting (Aug 7), while reviewing other Mantis items
      there were a couple of issues noted with 2398.

      1. page 8, example, the declaration assignment needs to be added back in.

	 Otherwise, the value of the variable is not right, when the first pass
	 of the loop occurs at a time other than time 0.

      2. page 2, in the "else portion" of the text

	 It shouldn't be talking about free checker variables.
    - Both of these issues were addressed and approved by the svsc (Aug 19th)


     Shalom - there was an additional change, p14, the code example
	    - there was a missing 'end' in the example (two places)
      John  - his requested changes were implemented correctly


      Move: Brad - approve the proposal for Mantis 2398
    Second: John  
     Passed Unanimously


3. Next Meeting:

   This concludes the Champion's work for producing draft 7 (the Ballot draft)
   The only committee that is currently doing any work is the sv-cc, which will
   be aligning the proposal for Mantis 2226 with draft 7 so that the Editor 
   will be able to deal with it in an efficient manner. When draft 7 becomes
   available, the committees will have about one month to complete 
   their reviews.

   October 30   // for any Editorial changes required to draft 7


Neil