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) 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