Champions, This is a reminder of our upcoming meeting. Decmeber 20th, 2007 8-10am PST Toll Free Dial In Number: (866)839-8145 Int'l Access/Caller Paid Dial In Number: (865)524-6352 ACCESS CODE: 9301228 Neil -------- Original Message -------- Subject: Agenda for December 20th meeting Date: Sat, 15 Dec 2007 20:29:02 -0800 From: Neil Korpusik <Neil.Korpusik@Sun.COM> Reply-To: Neil.Korpusik@Sun.COM To: Francoise Martinolle <fm@cadence.com>, Surrendra Dudani <Surrendra.Dudani@synopsys.com>, stuart@sutherland-hdl.com, Brad Pierce <Brad.Pierce@synopsys.com>, Shalom Bresticker <Shalom.Bresticker@intel.com>, john.havlicek@freescale.com, "Rich, Dave" <Dave_Rich@mentor.com> CC: Karen Pieper <Karen.Pieper@synopsys.com> References: <47448345.20308@Sun.COM> Champions, The next conference call for the Champions is scheduled for Thursday, December 20th, 8-10am. There are 36 Mantis items on the agenda. See the attachment for details. Neil -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. Champions agenda for the December 20th meeting: As of today (Dec 15th) there are 36 Mantis items in the Resolved state. 27 of these are ready for review by the Champions. A summary of the status of the remaining 9 is shown at the bottom of this summary. 1. 2222 SV-BC Completely incorrect statement in 6.5 about variable ports - No change required - Unanimously approved via e-mail vote closed December 10, 2007 2. 2217 SV-BC Name resolution - hierarchical and member select rules - Fixed - Approved on December 3, 2007 with one abstain. Abstain: Shalom (not completely satisfied with placement nor term "directly visible") 3. 2215 SV-EC LRM isn't clear enough on ways that a default specialization is constituted - Fixed - Unanimously approved by SV-EC in November 26th conference call 4. 2214 SV-EC Interaction of imports, $unit and bind are unclear - Fixed - Unanimously approved by SV-EC in November 26th conference call. 5. 2211 SV-EC typedefs are required for some type references - Fixed - Unanimously approved by SV-EC in November 26th conference call. 6. 2178 SV-BC BNF error in constant_primary - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 7. 2170 SV-BC 11.4.5 Description of equality operator is not complete - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 8. 2169 SV-BC part-select terminology fuzzy - Fixed - December 3, 2007 the SV-BC unanimously approved 9. 2164 SV-EC Use "base class" instead of "parent class" in 8.12 - Fixed - Unanimously approved by SV-EC in December 10th conference call. 10. 2163 SV-BC Clarify hierarchical scopes created (or not) by for and foreach loops - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 11. 2152 SV-BC Bogus statement re. force/release behavior in 6.5 "Nets and variables" needs rework - No change required - Unanimously approved resolve issue as already addressed via e-mail vote that closed December 3, 2007 12. 2149 SV-EC Covergroups sample method with arguments - Fixed - Unanimously approved by SV-EC in December 10th conference call. 13. 2113 SV-EC Inconsistancy in constraining assoc array size - Fixed - Unanimously approved by SV-EC in November 12th conference call. 14. 2106 SV-BC Clarifications needed for declaration before use of objects and type - Fixed - SV-BC approved the attached proposal on December 3, 2007 For: Francoise, Gord, Mike, Dave, Steven, Tom, Mark, Alex, Stu, Brad, Karen, Don Opposed: Shalom - wording unclear. Text is not ordered well. Abstain: Cliff - would like to review Shalom's objections. 15. 2102 SV-BC Unnecessary difference between packed and unpacked objects - Fixed - The SV-BC approved the attached proposal on December 3, 2007. For: Francoise, Gord, Mike, Dave, Steven, Tom, Mark, Alex, Stu, Brad, Karen, Don Opposed: Shalom - would like time to address issues with proposal that he raised Cliff - weak opposition - prefers to give Shalom time to address his concerns 16. 2033 SV-AC Explicitly mention generate blocks as sequence and property declaration scope - Fixed - Unanimously passed by voice vote 2007-11-27. 17. 1957 SV-BC Macros: ambiguous whether empty arguments can be used - Fixed - Champions email vote of Sept 17 - passed with friendly amendments Shalom made the updates - The SV-BC unanimously approved the attached proposal on December 3, 2007 18. 1898 SV-AC Describe the explicit mappings from assertion system tasks to callbacks - Fixed - 2007-11-20: e-mail ballot passed, 6y/0n/0a 19. 1857 SV-EC external method definitions and parameterized class types Unanimously approved by SV-EC in November 26th conference call. - Fixed - Approved on November/26/2007 unanimously 20. 1757 SV-AC Property resets: accepton(b) P, rejecton(b) P - Fixed - Unanimously passed by voice vote 12/04/07 21. 1648 SV-AC Default reset for assertions - Fixed - Was sent back to the Technical Committee by the Champions July 26th - Voice vote approved the latest change on Dec 4th 22. 1583 SV-BC Does an importing a symbol make it visible for hierachical referencing - Fixed - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 10, 2007. 23. 1571 SV-BC Add default values for macro arguments - Fixed - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 10, 2007. 24. 1533 SV-AC LRM not clear about types of local variables in properties and sequences - Duplicate - 2007-11-20: E-mail vote passed to change state to "resolved,duplicate" as subsumed by 1668, 5y/0n/0a. 25. 1345 SV-BC 10.4: "illegal" unique if/case issues - Fixed - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 10, 2007. 26. 1338 SV-BC clarify definition of `" character in macros - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. 27. 329 SV-BC Package imports in port lists - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. <-----------------< the following is just for your information >-----------> The following are in the resolved state but have been previously reviewed by the Champions. There are 2 held up in the working group and 6 that I need to update Mantis for. There is one other one that can now go to the Working Group (1548). 1645 - Held up in WG 1556 - Held up in WG 1548 - Now ready for the Working Group SV-BC 5.1.13: description of condition reversed - Fixed - Approved by Champions in Sept 17th email vote with friendly amendments Shalom explained that the issues were addressed by mantis 1035. Mantis 1035 has been approved by the Working Group. - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 3, 2007. 1837 SV-CC Wrong outline for net in VPI generate diagram - Was sent back to the svcc by Champions Oct 25th conference call 1758 SV-AC Boolean implication -> and equivalence <-> - Fixed - 2007-10-17, passed by e-mail vote, 9y/0n/1a - Champions sent back to svbc Nov 8th 1728 SV-AC Introduce "let"statement - Fixed - Unanimously passed by voice vote 12/04/07 - Sent back to svac - Champions conference call of Nov 8th 1549 SV-AC add missing formal argument types - Fixed - Was sent back to the SV-AC by Champions in Nov 8th meeting. - Unanimously passed by voice vote 2007-11-27 1668 SV-AC Local variable initializers. - Fixed - Was partially reviewed in Champions meeting of Nov 8th. There was a dependency on 1549 (which was sent back to the committee). - Approved by voice vote, 9y/0n/0a - Has a dependency on 1549 1651 SV-BC $psprintf - Duplicate - During the September 6, 2007 meeting, the SV-BC unanimously approved to resolve this with no action as it is a duplicate of SVDB 1589 - Champions rejected the resolution of "duplicate"Received on Wed Dec 19 14:40:40 2007
This archive was generated by hypermail 2.1.8 : Wed Dec 19 2007 - 14:40:43 PST