SV-XC Committee meeting Monday July 09, 2012 Attendees 0000 7665 0212 9511 1. AAAA Dave Rich y Mentor 2. AAAA Neil Korpusik y Oracle 3. AAAA Dmitry Korchemny y Intel 4. AAAA Shalom Bresticker y Intel 5. AAAA Matt Maidment y Intel 6. A--A Stu Sutherland Editor-IEEE 7. AAAA Francoise Martinolle y Cadence 8. AAAA Surrendra Dudani y Synopsys 9. ---A Dana Fisman Synopsys 10. ---A Ghassan Khoory Synopsys 11. ---A Yatin Trivedi Synopsys 12. AAAA Brad Pierce y Synopsys 13. ---A Arturo Salz Synopsys 14. --AA Ed Cerny Synopsys 15. --A- Brandon Tipp Intel 16. AAA- Steven Sharp y Cadence 17. AAA- Mark Hartoog y Synopsys 18. -AA- Jim Vellenga y Cadence 19. --A- Chuck Berking Cadence 20. --A- Jonathan Bromley Accellera 21. AA-- Kaiming Ho y Fraunhofer 22. -A-- Anupam Prabhakar Mentor We have had three meetings, the 2-out-of-3 rule now applies. 12 people will have voting rights at the next meeting. 1. Review IEEE patent policy ------------------------------------------------------ http://standards.ieee.org/board/pat/pat-slideset.ppt The chair brought everyone's attention to the patent policy. 2. Approve minutes of June 25th meeting http://www.eda-twiki.org/sv-xc/hm/0283.html Shalom, Matt - Approve the minutes. Unanimously approved 3. Review the Agenda and ask if there is any other business. None added. Dave - proposals that have passed were moved to resolved. - deleted old proposals for items where the minutes mentioned they should be removed. AI/Dave - 4126, 3879 The minutes show these as having passed, but not yet in resolved. 4. Editor update Stu - looked at all of the editorial comments, no problems noticed. - questions could still arise when they are applied. 5. Review and re-vote failed proposals from E-mail ballot due July 9th A few abstains were noted. Dave - all 4 of the items on the ballot were approved. (1) mantis 4012 - approved Stu - asked about shalom's comments about the use of the word "shall" Neil - Dmitry has uploaded a proposal that contains these updates. Dmitry - the comments relate to the original text, not the proposal. - both of these are editorial in nature. Shalom - one of these is actually a functional change. It was not an intention to make it a language requirement. Stu - agrees with the suggested changes. Shalom - has an additional comment on first line of the same paragraph. "not necessary boolean values" should be "not necessarily boolean values" AI/Shalom - add a bug note for the last comment (Stu will implement it) (2) mantis 4076 - approved (3) mantis 4141 - approved (4) mantis 4146 - approved 6. Review the list of Mantis items with no assigned owners. Dave - move mantis items with proposals to the immediate state. 7. Review and vote on the list of Mantis items with proposals available. 3659 - svec Francoise - Cadence was on shut-down last week. 3525 - svac Dmitry - was approved by the svac. It wasn't an official vote, but it was unanimous (7-8 votes) Shalom - was approved by the svac. Suggests an email vote for this one. 4129 - svec Brad - contains a note for precedence of "matches" "The matches operator shall have higher precedence than the && and || operators." Shalom - is that backwards? - wasn't sure that matches could be followed by anything. Brad - "matches" is like "with" Steven - is matches even an operator? Brad - matches is a clause - Neil objected earlier to using () all the time. Shalom - maybe it doesn't make sense to allow this. First calculate the expression and then do the matches. That seem to imply the expression is done first. Brad - it is only an issue if when parens aren't used. Shalom - can you have a select expression with a matches clause followed by another select expression? - the example in question may not actually be allowed. The BNF allows it, but does it make sense? Brad - select_expression uses matches in two different ways. There is only an example for one of those. Dave - it sounds like this one requires more discussion. Brad - Shalom suggests the BNF doesn't describe the intent. Dave - start a discussion on the svec on this. Shalom - Scott Little should be involved in the discussion. AI/Brad - will send email to the svec. 2867 - svec Shalom - adds 1) bnf support for pure virtual method prototypes. 2) noted one spot where a ';' was missing. Shalom, Matt - approve the proposal for 2867 Abstain - stu (can't see the proposal - no voting rights...) Passes unanimously 4128 - svec Shalom, Matt - approve the proposal for 4128 Approved unanimously 8. General review of outstanding Mantis items needing further discussion. 4132 - svcc 4130 - svcc Francoise - the svcc should be meeting again this week. Dave - will be added to the next email vote after the svcc approves. 3030 3032 Dmitry - these will not be resolved for this ballot. Dave - we will get the proper wording for that from the WG. 3474 Dmitry - there was some disagreement in the svac Suggested we go ahead and vote in the ballot review group. Dave - Suggests that we have a discussion in the next meeting on this. - Some assertion experts will be invited to attend. 9. Next Meeting Neil - WG meets on Aug 9th Dave - Aug 6th, our last possible meeting. July 23rd, 9am-11am (PDT) Neil will not be at this meeting - someone else will need to take minutes. Shalom will be out for several days, will be back for the July 23rd meeting. 10. Adjourn 10:30am