SV-EC Committee Meeting Tuesday January 22 2008 11:00am - 1:00pm PST [ http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_January_22_2008_Minutes.txt ] With the new calculations for voting rights below (rounded)... 3/4 rule = 0.75 * 36 = 27 Meeting number: ---------------------------------------- 00000000000000000000000000000000000000 00000000011111111112222222222333333333 12345678901234567890123456789012334456 Meeting Days: -------------------------------------------- (12120202010202010131120202010121201102) Day (48159360488250595604159360671592630772) (00001111110000000000000000001111111100) Month (88990011221122334445667788990001122211) (00000000000000000000000000000000000000) Year (66666666667777777777777777777777777788) ------ Attendees ---------------------------- (-AAAAAAAAAAAAAAAAA-AAAA-A--AAAAA*AA*AA) Arturo Salz 31 (--AAA-AAAAAAA-AAAAAAAAAA--A-A-AAA*A*AA) Cliff Cummings 28 (AAAAAAA-AAAAAAAAAAAAAAAAAAAAAAAAA*A*AA) Dave Rich 35 (AA-A-AAA-AAAAAAA---AAAAAAAAAAAAAA*A*AA) Francoise Martinolle 30 (-AAAAAAAAAAAAAAAAAAA-AAAAAAAAA-AA*A*AA) Mehdi Mohtashemi 33 (AAAAAAAAAAAAAAAAAAAAAA-AAAAAAAAAA*A*AA) Neil Korpusik 35 (AAAAAAAAAA-AAAAAAAAAAAAAAAAAAAAAA*A*AA) Ray Ryan 35 (AAAAAAAAAAAA-AAA---AAA-AAAAAAAAAA*A*A-) Gordon Vreugdenhil 30 (AAAAAA--AAAAA-A--AAAAAAAAA-AAAAAA**AAA) Steven Sharp 30 (--AAAA-A-------------------------*-*--) Phil Moorby 05 - Non-voting (---AA-AAA-AAAA-AA-A--------------*-*--) Doug Warmke 12 - Non-voting (AAAAAAA---AA-A-AAAAAAA---AAAAAAAA**AA-) Stu Sutherland 27 (-AAAA--AAAA-A-AAAAA-AAAA-AAAAAAAA*A*-A) Heath Chambers 28 (-AAAAAA-A----AAAAAAAAA--AAAAAAA-A*A*AA) Don Mills 27 (--AA--A---A-AAA--A-AAAA-A-A--A--A*-*AA) Jonathan Bromley 18 - (2 of last 3) (--A------------------------------*-*--) Logie Ramachandran 01 - Non-voting (----AAA--------------------------*-*--) Melvin Cardoza 03 - Non-votings (-----A-AAAAAA-AAAAAAAAAAAAAAAAAAA*A*AA) Mark Hartoog 29 (-------A-------------A-----------*-*--) Satia (from Intel) 02 - Non-voting (--------AAA----------------------*-*--) Rob Slater 03 - Non-votings (-------------A-------------------*-*--) Alex Gran - Mentor 01 - Non-voting (---------------A-AAA-AAAAA--A-AA-*A*A-) Mike Mintz 14 - (2 of last 3) (------------------AAAAAAAAAAAA-A-*-*--) Geoffrey Coram 13 - Non-voting (-------------------AAAAAAAAAA-AAA*A*AA) David Scott - Mentor 16 - (2 of last 3) (------------------------A--------*-*--) Benjamin Chen - Cisco 01 - Non-votings (---------------------------AAAAAA*A*-A) Mike Burns - Freescale 08 (2 of last 3) (----------------------------------*A--) Harry King - Cisco 01 - Non-voting on January/22/2008 [for next meeting] 16 people (other than the chair) currently have voting rights ** Minutes taken by Neil Korpusik and Mehdi Mohtashemi ////////////////// January 22, 2008 ///////////////////////// Agenda: ------- 1. Review IEEE patent policy ------------------------- ref: http://standards.ieee.org/board/pat/pat-slideset.ppt Move: Cliff - Assume that the patent policy was read Second: Mark Abstain: None Opposed: None Passed unanimously 2. Review minutes of previous meetings ------------------------------------------ http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_December_3_2007_Minutes.txt http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_December_10_2007_Minutes.txt http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_December_17_2007_Minutes.txt http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_January_7_2008_Minutes.txt Move: Cliff - approve the meeting minutes of December 3, 2007 December 10, 2007 December 17, 2007 January 7, 2008 Second: Dave Rich Abstain: None Opposed: None Passed unanimously 3. Updates from 1800 WG and Champions discussions: ---------------------------------------------------- From Neil's posting to the alias, December 22 2007, http://www.eda-stds.org/sv-ec/hm/5410.html 12/17/07 SV-BC and SV-EC deadline for completing items from their Mantis list. This deadline was extended for sv-bc and sv-ec (used to be 12/15/07). Past this date they are only authorized to work on - LRM merge issues - Editing issues - Champions feedback - 2005 ballot issues (see list of Mantis items below) - Jeita issues (see list of Mantis items below) - Mantis 1648 - svec (was originally in svac) - Mantis 2008 - svbc (related to svac 2005) - Mantis 1982 - svbc to review this svac mantis item - Mantis 966 - svbc to review this svac mantis item 01/31/08 SV-BC and SV-EC complete work that could impact the SV-CC 01/31/08 SV-BC and SV-EC complete work that could impact the SV-CC 02/15/08 SV-CC deadline for completing items from its Mantis list. Past this date they are only authorized to work on - LRM merge issues - Editing issues - Champions feedback - 2005 ballot issues (see list of Mantis items below) - Jeita issues (see list of Mantis items below) - Mantis item 1648 (including any updates made by the svec) 02/28/08 SV-AC and SV-CC freeze SV-AC does not get any leeway for merge, editing nor champions issues. Neil: The WG meeting is on 1/31/2008. Karen still is still the DR for accelera. From Champions meeting of 1/17/08: Mantis items 1702, 2137 - passed unanimously Mantis item 1336 - passed unanimously - note to editor on bolding of word 'new' Mantis items 2181, 1447, 958, 2227 - were not discussed (we ran out of time) The next Champion's meeting will be held Feb 14, 2008. There might be one additional meeting or an email vote as well. svcc - has asked a formal request for extension, dvcon f2f - they had to do something to make progress. 4. Immediate issues to review and 1/31/2008 sv-ec deadline ----------------------------------------------------------- Mantis items in REVIEW state: Mantis 888 Neil - we need to decide if the proposal needs to be updated or a note to the Editor is sufficient. Dave - a note to the Editor should suffice Move: Heath -- to place this in the editor state with the note for freindly amendment to the editor Second: Neil Abstain: None Opposed: None Passed unanimously Mantis 1655 Neil - we need to decide if the proposal needs to be updated AI:Neil - update the bug note - this was done already, move to Editor state Mantis 1787 Jonathan: is editor look at the last note. Neil: usually the last note is the editor note, clearly identified. Move: Neil -- to place this in the editor state with the note for freindly amendment to the editor Second: Heath Abstain: None Opposed: None Passed unanimously Mantis items in FEEDBACK state: mantis 1612 Neil - Stu placed it into the Feedback state. Dave - thinks that we should update the proposal (22-3, 23-1) - it should have gone to Review AI: Mehdi - add a note mentioning the sections flagged by the Editor do not need to be changed and place into closed state. Move: Neil -- add a note to the Editor, no additional changed required. place into Closed state. Second: Heath Abstain: None Opposed: None Passed unanimously Mantis items updated: Mantis 1858 Arturo - has reviewed the merged proposal Francoise - still has a concern about the redundancy issue. Ray - parenthesized scope - it won't look inside the class. Jonathan - don't have access to this or super with the () list. - the parenthesized list approach is less verbose. Francoise - what about current users? Ray - no backward compatibility issue with the parenthesized list. Steve - this, super not allowed in list today but could be an enhancement done at a later date. Jonathan - the local:: clears up the complexity, and now there is a non-verbose version. Don't want to leave it as is. Dave - local:: doesn't resolve all situations. Steven - Gord's issue was with macros. Mike B. - thought that we already agreed to the merge. Mehdi - voting that the combined doc is what we voted on. Move: Dave - approve the proposal for Mantis 1858 (combined proposal) [ 1858-combined.pdf ] Second: Arturo Abstain: None Opposed: Francoise -- redundancny, have not reached consensus on two things in-line constraints are already complex. prefers to have only local:: Steven -- redundancy, same reason as Francoise. Passed 2 No votes. Mantis 520 Jonathan: the changes in 520 are all consistent with what was already approved in 1720, 1447 - the proposal is against draft 4. - some of these examples created confusion with persistence of refs Arutro: why the change in the example in 6.4.23 - that section is with respect to bit stream casts (not queues) Jonathan: thought it was less controvercial. - due to questions about persistence of references. Dave: thinks that another Mantis item touches some of this text. - should add a note to the Editor Move: Jonathan - approve the proposal for 520 Second: Dave Abstain: None Opposed: None Passed unanimously Mantis 1601 Dave: too late to do anything on this 1601, related to untyped mailbox - looked at reusing untyped for mailboxes. - doesn't think that the sv-ac will need to make any changes if the sv-ec decides to use it later. Neil: it will go back to resolve state and the category of sv-ac, but sv-ac does not need to review it again. Move: Dave - no action required by the SV-EC on 1601 Second: Heath Abstain: None Opposed: None Passed unanimously AI:Neil - reset category to sv-ac and put in resolved state, add a bug note. 2087 was done. Ray's latest requests: 2183 2229 2233 Neil: where we are not to do any more work, it is a false assumption. Ray: Neil: proposal is there and mantis 2003 incomplete fix for 1457 Mehdi - mantis 2003 - Shalom Steven - there is one statement that mentions you can use foreach on a wildcard index. Neil - related to 1457 (incomplete fix) Move: Neil - approve proposal for mantis item 2003 (1457 had an incomplete fix) Second: Steven Abstain: None Opposed: None Passed unanimously Mantis 2229: Ray : if really ignored, shouldn't ever cause a failure. - proposal is repeating a sentence from elsewhere here. - proposal clarifies that they are state variables. Neil: the editor items are more related to editor's notes, here we are trying to classify as a clarification Arturo - what else could they be? Mike - otherwise could end up with values in an object which don't satisfy the constraints, that would be weird. Dave - some people are having trouble with the sv model of randomization - propose to change as an Editorial change. Neil - we aren't allowed to vote on it. mantis 2233: Ray : randc - 17.4.2 Neil : why not also make that change for rand? Ray thinks that somewhere rand is already described as being for 2-state values. mantis 2183: Ray: solve before constraints. Heath: expression_identifier_list should be expression identifier list expression_list Jonathan - also in the text there should be a change for this. - he is happy if the constraint solver experts are ok with it. Ray - there is an html problem (at least for Heath) AI:Neil - mantis 2233, 2229, 2183 - request from WG for permission to do. - no impact expected for sv-cc. 5. Next meetings in 2008 ---------------------- Monday February 4 2008 [beyond the 1/31/08 deadline] AI/Neil - clarification on drop dead date for svec. (working group)