SV-EC Committee meeting Monday November 7, 2011 Meeting number: 75% = 22 out of 29 meetings attended --------------- 22222222221111111111000000000 98765432109876543210987654321 Meeting Days: ------------- (02212101202021211102021213101) Day (74629518063951844762851730629) (11000000000000000011111000000) Month (10998887665544332121100998887) (11111111111111111111111111111) Year (11111111111111111100000000000) ------ Attendees ---------------------------- Members: 1. (AAAAAAAAAAAAAAAAAAAAAAAAAAAAA) Arturo Salz 29 - y Synopsys 2. (AA-AAAAAAAAA-AAAAAAAAAAAAA-AA) Dave Rich 26 - y Mentor 3. (AAA-AAAAA-AAAAAAAAAAAA--AAAAA) Francoise Martinolle 25 - y Cadence 4. (-AAAAAAAAAAAA-AAAAAAAAAAAAAAA) Mehdi Mohtashemi 27 - y Synopsys 5. (AAAAAA-AAAAAAA-AAAAAAAAAAAAAA) Neil Korpusik 27 - y Oracle 6. (AAAAAAAAAAAAAAAAA-AAAAAAAAAAA) Ray Ryan 28 - y Mentor 7. (AAA-AAAAAA-AAAAAAAAAAA-AAAAAA) Gordon Vreugdenhil 26 - y Mentor 8. (AAAAAAAAAAAAAAAAAAA-AAAAAAAAA) Steven Sharp 28 - y Cadence 9. (AAAAAAAAAAAAAAAAAAAAAAAAAAAAA) Mark Hartoog 29 - y Synopsys 10. (AAAAA-A-A-AAA-AA-AAAAAAAAAA-A) Tom Alsop 23 - y Intel 11. (-AA-AAA-A-AAAAAAA-AA--AAAA--A) Neil S 20 - y Marvel 12. (-AAAAA-AAAAAAAA-A-AAAAAA-A--A) Alex Gran 22 - y Mentor 13. (AAAAAA-AAAAA----AAAA-A-------) Brandon Tipp 16 - y Intel 14. (-AA-AAAAA-AAAAAAAAAA---------) Scott Little 17 - y Freescale 15. (------------------------AAAAA) Swapnajit Chakraborti 5 Cadence 16. (--------------A--------------) Dennis Brophy 1 Mentor 17. (----AAA-AAAA--AAAA---A-AAAAAA) Daniel Schostak 18 ARM 18. (------------AA---------------) Mike Burns 2 Oracle 19. (-------------------A---------) John Havlicek 1 Freescale 20. (-A-AAAAA--AA-----------------) Stu Sutherland 8 Editor 21. (AA-AA-AAAAA-----AA-AAAAAAAAAA) Jonathan Bromley 21 - y Accellera 22. (AAAAAA-----------------------) Dhiraj 6 - y Synopsys 23. (-AA-A------------------------) Dhruba Kalita 3 - y Intel 24. (----A------------------------) Hassan Shehab 1 Intel 25. (--A--------------------------) Hillel 1 Freescale 26. (AA---------------------------) Jasvinder Singh 2 - y Synopsys 27. (-AAA-------A-AA-A-AAAA-------) Tony Tsai 11 - y Cisco 28. (-----------A-AA-A-A----------) Mark Strickland 5 Cisco 29. (AAAA-------------------------) Anatoli 4 - y Cisco Observers: Former participants: 1. (----------------A-AAA---A--AA) Heath Chambers 7 2. (----------------AA--AA----AAA) Don Mills 7 3. (----------------A-----A-AAAAA) Cliff Cummings 7 Sunburst 4. (----------------AA-AA-AAAA---) Linc Jepson 8 5. (------------------A----------) Dave Gates 1 AMD 20 people will have voting rights in the next meeting http://standards.ieee.org/develop/corpchan/mbrs1.html // IEEE-SA members 0. Approval of Agenda ------------------------------------------------------ Additions/modifications to the agenda. Neil - we should review the results from the recent email vote. Dave Rich conducted the meeting. Mehdi was unable to join. 1. Review IEEE patent policy ------------------------------------------------------ http://standards.ieee.org/board/pat/pat-slideset.ppt The chair directed everyone's attention to the patent policy. Gord, Mark - assume it was read Unanimous 2. Approval of previous meeting minutes: ------------------------------------------------------ They weren't available yet. 2.2 Review of the most recent email vote. Both proposals were approved. 13 Yes votes, zero No vote, Gord, Dhiraj, Jonathan, Scott, Brandon, Arturo, Tom, Ray, Francoise, Dave, Neil S., Alex, Mark Hartoog 2987: Mantis2987_SoftConstraintsProposal_v7.pdf 2506: Proposal for Mantis 2506_v14.pdf 3. Updates from P1800 WG - Meeting of 10/27/2011 --------------------------------------------------------- The following rigid schedule was put in place. Be aware that the US Thanksgiving Holiday falls into this time frame. The expectation from the Working Group is that the Technical Committees will be able to find a way to meet this new schedule. Nov 1 - Champions email vote ends Nov 11 - Technical Committees done responding to Champions Nov 16 - Champions vote done Nov 23 - Technical Committees done responding to Champions Nov 30 - Last Champions vote Dec 1 - Working Group meets The following 2 mantis items were approved by the Working Group 3046 - Dotted names within inlined constraints Brad and Mark thought there were still some ambiguities 3293 - Clarify $cast behaviour on class handles Brad had an issue with "ancestor" Dave - Stu has finished updating draft 3. It should be available soon. Dave - we can hold discussions on topics that go beyond the current PAR but can't vote on it. Neil - Cisco now has full membership rights. Those from Cisco that have attended the required number of meetings now have voting rights. 4a. Review and discussion issues from Champions: ------------------------------------------------------ [From Neil's email] 11/01/11 2845 virtual interface type checking versus interface type that had been Neil - There wasn't a quorum on this one in the last Champion's vote (only 2 champions voted on it) It is related to a deprecated feature (Brad). 3230 task should be function in definition of static functions Neil - this one is now back in the sv-bc 2505 class select: what is allowed after the dot? Neil - Neil S. updated the proposal (10/31). Gord, Jonathan - approve the new proposal. Unanimous 3278 virtual method type rules The Champions feedback was strictly editorial (from last svec meeting). Francoise - the proposal was updated (10/27/11) - there were a few items from Shalom's list that weren't done. The mantis notes reflect that. - some requests were to make words bold. It wasn't clear to her if all were correct. Gord - example 2. There is a line wrap problem. Francoise - uploaded a new version of the proposal to fix that line wrap. Francoise, Gord - approve the updated proposal Unanimous 2506 Non-trivial coverage space shapes and joint conditions are difficult Neil - it was approved in the email vote ending on November 1st. 2987 Soft Constraints Neil - was approved in the email vote ending on November 1st. 3028 constraints for unique array elements. Neil - Was approved by the Champions. Just requesting a syntax excerpt to be added. Jonathan - the syntax excerpt has been added to the proposal. Jonathan, Gord - approve the lastest proposal. Unanimous 1356 Multiple inheritance Neil - was opposed by the Champion's - we are Waiting for an updated proposal Tom - rev 13 was just posted (after the meeting started) Brandon - sec 11.4.11, more discussion was made on this. Gord - what was updated? Brandon - just some editorial changes beyond 11.4.11 Jonathan - noted a wording problem. Gord - another problem similar to the 11.4.5 problem. 11.4.5 and 11.4.6 (3 examples of same problem -- ie object) From: "class object and interface class object" To: "class handle and interface class handle" Tom - updated the proposal and it was voted on later in the meeting. Tom , Brandon - approve rev 14 of the proposal. Unanimous Arturo - there are some places where null isn't bold. Neil - the Editor typically takes care of that during the draft update The following were left open from the last PAR: These could probably be left "as-is". 2735 SV-EC Ballot Comment #48: Chaining of method calls 2737 SV-EC Ballot Comment #54: restricting access of local parameters inside 2694 SV-EC Ballot comment #140: virtual interfaces in interfaces 4b. Review of all changes in draft1 and draft2 (also draft 3) --------------------------------------------------------- Dave - the proposal writer's should review the updates. - put any with problems into the editor state Neil - close those that were applied properly. 5. Next meeting November 2011 ----------------------------------------------------- Monday November 21 2011 Regular biweekly Most of the people on the call should be able to make it, despite the Thanksgiving Holiday in the U.S.