I will not be able to attend most or all of the champions meeting. I have reviewed each proposal and here are my votes and comments 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 OK 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") OK - "directly visible" is clear if you read the next bullet 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 OK - friendly amendment has been uploaded 4. 2214 SV-EC Interaction of imports, $unit and bind are unclear - Fixed - Unanimously approved by SV-EC in November 26th conference call. OK 5. 2211 SV-EC typedefs are required for some type references - Fixed - Unanimously approved by SV-EC in November 26th conference call. OK 6. 2178 SV-BC BNF error in constant_primary - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 OK - proposal should say that inner braces should be red. It does say that in the simple description. 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 OK 8. 2169 SV-BC part-select terminology fuzzy - Fixed - December 3, 2007 the SV-BC unanimously approved Abstain. I'm not too happy with the term 'non-indexed' part select. It's really dual index or single index with a width 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. OK 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 No. The first added sentence is missing a word that changes the behavior of the paragraph. This creates an implicit begin-end block around the loop, containing declarations of the "loop" variables with automatic lifetime. "loop" is missing in the in the indicated position. It is correct in section 12.7.3. 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 OK 12. 2149 SV-EC Covergroups sample method with arguments - Fixed - Unanimously approved by SV-EC in December 10th conference call. OK 13. 2113 SV-EC Inconsistancy in constraining assoc array size - Fixed - Unanimously approved by SV-EC in November 12th conference call. OK 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. OK. I would like this passed, even though another proposal may overtake it. The objections are not strong enough to be rejected at the chapions lebvel. 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 OK. I would like this passed, even though another proposal may overtake it. The objections are not strong enough to be rejected at the chapions lebvel. 16. 2033 SV-AC Explicitly mention generate blocks as sequence and property declaration scope - Fixed - Unanimously passed by voice vote 2007-11-27. OK 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 OK 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 ? Is section 19 the right place to be explaining VPI behavior? 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 OK 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 No. The sv-ec needs time to review this before it can be approved. 22. 1583 SV-BC Does an importing a symbol make it visible for hierarchical referencing - Fixed - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 10, 2007. OK 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. No. I believe the magnitude of this enhancement goes beyond the PAR and should be implemented and donated before approving. 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. OK 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. OK - Note that 2036 has been superseded and close it at the same time if approved 26. 1338 SV-BC clarify definition of `" character in macros - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. OK - but it is difficult to see if anything in the example has changed 27. 329 SV-BC Package imports in port lists - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. OK -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Dec 19 23:44:44 2007
This archive was generated by hypermail 2.1.8 : Wed Dec 19 2007 - 23:44:46 PST