Champions meeting minutes of November 17, 2011 Attendees: ---------- 1. - Brad Pierce 2. - Francoise Martinolle 3. - Shalom Bresticker 4. - Dave Rich 5. - Stu Sutherland 6. - Surrendra Dudani 7. - Neil Korpusik Review IEEE patent policy ------------------------- ref: http://standards.ieee.org/board/pat/pat-slideset.ppt Move: xxx, xxx - assume the patent policy was read Passed unanimously List of Mantis items ready for review: ------------------------------------- 1. 3608 SV-BC Resolution of dotted names needs to mention parameters and nets There is a proposal (1 page - minor changes) On September 26, 2011 the SV-BC unanimously approved the attached proposal. Wasn't resolved until Oct 25. Francoise - 2. 1231 SV-CC Wrong cross reference in DPI Clause 26.2.2 No change required On Apr-27-2011, the SV-CC voted to declare this as 'no change required' (unanimous). Francoise - 3. 2506 SV-EC Non-trivial coverage space shapes and joint conditions are There is a proposal (20 pages) Has been through a Champion's vote before June 11, 2011 - Brad, Shalom were opposed Sep 20, 2011 - Shalom opposed Version 14 was unanimously approved in the sv-ec email vote which ended on November 1, 2011 (13 yes). Francoise - 4. 1356 SV-EC Multiple inheritancej There is a proposal (15 pages) Has been through a Champions vote before Oct 02, 2011 - a quorum wasn't reached Oct 17, 2011 - Shalom opposed The proposal was unanimously approved by the sv-ec in the November 7, 2011 conference call. (14 people with voting rights were on the call). Rev 16 is currently being prepared (addressing Shalom's feedback) Francoise - 5. 3278 SV-EC virtual method type rules There is a proposal (2 pages) Has been through a Champions vote before Jul 01, 2011 - Shalom opposed (no technical issues) The proposal was unanimously approved by the sv-ec in the November 7, 2011 conference call. (14 people with voting rights were on the call). Francoise - 6. 2505 SV-EC class select: what is allowed after the dot? There is a proposal (2 pages) Has been through a Champions vote before. Feb 07,2011 - Brad was opposed The proposal was unanimously approved by the sv-ec in the November 7, 2011 conference call. (14 people with voting rights were on the call). A new version was updated since the sv-ec voted to fix some editorial issues that Shalom flagged. Francoise - 7. 3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an There is a proposal (2 pages) Has been through a Champions vote before. Oct 07, 2011 - Stu was opposed The amended proposal passed by email vote 2011-11-07: 8y/0n/0a. Francoise - 8. 2328 SV-AC Review and relax restrictions on data types in assertions There is a proposal (9 pages) Has been through a Champions vote before Sep 20, 2011 - Some champions needed more time for review Oct 31, 2011 - the vote didn't reach quorum Francoise - 9. 3033 SV-AC Enhance checker modeling capabilities There is a propsal (19 pages) Has been through a Champions vote before Sep 20, 2011 - Some champions needed more time for review Oct 31, 2011 - The vote didn't reach quorum Francoise - 10. 3213 SV-AC Update definition of sampled value There is a propsal (11 pages) Has been through a Champions vote before June (?) - Shalom was opposed Oct 02, 2011 - Stu was opposed Oct 31, 2011 - The vote didn't reach quorum The proposal amended following Stu's comments was accepted by the voice vote 2011-10-11: 8y/0n/0a. Francoise - 11. 2845 SV-EC virtual interface type checking versus interface type that had There is a proposal (1 page - a small number of changes) Has been through a Champions vote before Oct 31, 2011 - The vote didn't reach quorum Francoise - 12. 2987 SV-EC Soft Constraints There is a proposal (5 pages) Has been through a Champions vote before Oct 17, 2011 - Brad, Francoise, Dave, Stu, Shalom all opposed The proposal was unanimously approved in the sv-ec email vote which ended on November 1, 2011 (13 yes). Francoise - 2. Summary of remaining mantis items that might come back to th Champions Mantis items that are now ready for the next Champions vote 13. 3206 SV-AC 14. 3113 SV-AC 15. 3145 SV-AC (20. 3022 SV-CC - svcc wants to make a change to it - was in Approved state) The following are currently in the feedback state (on the allowed list) 16. 3069 SV-AC 17. 3295 SV-AC 18. 3423 SV-CC 3. List of remaining mantis items on the Working Group allowed list None of these are expected to come back to the Champions The following has already been approved by the Champions 19. 3230 SV-BC - procedural update required The following are in the Approved state 20. 3022 SV-CC - svcc wants to make a change to it 21. 3772 SV-CC 22. 3192 SV-CC 23. 1352 SV-CC 24. 1067 SV-BC 25. 2093 SV-AC 26. 3028 SV-EC 27. 2476 SV-AC The following are closed 28. 1653 SV-CC 29. 1649 SV-CC How did the following get on the list? 1231 SV-CC - was approved by sv-cc in April, not resolved until Nov 8th No change required 3230 SV-BC - was originally shown as an SV-EC issue (on the allowed list) Reolved issues that are not on Working Group allowed list 3035 SV-AC - duplicate - resolved 11/16 (late) 3. Schedule Nov 23 - Technical Committees done responding to Champions Nov 30 - Last Champions vote (Wednesday) Dec 1 - Working Group meets