P1800 Working Group, Below are the results of the most recent Champion's conference calls and email votes. Feb 04, 2008 an 8.5 day email vote concluded (only 4 Champions voted) Feb 14, 2008 conference call (all 8 of the 8 Champions were on-line) Feb 25, 2008 this will be a continuation of the Feb 14 conference call We would like to get approval for those Mantis items that have been approved by both the Technical Committees and the Champions. A summary of the Mantis items is shown below. 25 Mantis items have been approved by the Champions. Neil -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. List of Mantis items unanimously approved by both the TCs and the Champions --------------------------------------------------------------------------- (22 mantis items) 1. 2016 SV-CC vpiClassType should apply to class typespec rather than to class defn - Duplicate - SV-CC voted to declare this a duplicate of 2094 on 01/16/2008 (unanimous) - Passed unanimously in the Champions Feb 14th conference call. 2. 1952 SV-CC "Null argument" to mean "omitted argument" may be confusing - Fixed - The SV-CC PASSED this on 12/17/2007 (unanimous). - Passed unanimously in the Champions Feb 14th conference call. 3. 1741 SV-CC 1800-2005 Section 27.50 Issues with foreach diagram - Fixed - Was sent back to the sv-cc for input from the sv-bc Brad sent input that was incorporated. - The SV-CC PASSED this on 12/19/2007 (unanimous). - Passed unanimously in the Champions Feb 14th conference call. 4. 1729 SV-AC Introduce immediate assume and cover statements - Fixed - Was sent back to the sv-ac from the Champions The proposal was updated and approved by the sv-ac. - SV-AC Passed by e-mail ballot 2008-01-14, 9y/0n/1a - Passed unanimously in the Champions Feb 14th conference call. 5. 1668 SV-AC Local variable initializers. - Fixed - There was feedback from the Champions. The proposal was updated and approved by the sv-ac. - 2007-11-13 Changes to address Champions' feedback approved by voice vote, 9y/0n/0a. - Passed unanimously in the Champions Feb 14th conference call. John - he can work with the Editor if there are issues with the symbols shown in the changes for Annex F. 6. 1667 SV-AC Local variable arguments for sequences and properties. - Fixed - SV-AC approved by voice vote in the meeting 2007-01-15, 7y/0n/0a - Passed unanimously in the Champions Feb 14th conference call. 7. 1456 SV-CC Clarify, circumscribe restrictions on use of DPI context utilities - Fixed - The SV-CC voted on 11/07/2007 to accept the new change (unanimous). - Passed unanimously in the Champions Feb 14th conference call. 8. 0748 SV-CC vpiParent of var select can only be array var - Fixed - The SV-CC PASSED this on 01/16/2008 (unanimous). - Passed unanimously in the Champions Feb 14th conference call. 9. 2009 SV-CC HDL example shown in detail 3 section 36.14 (Reference objects) has errors. - Fixed - The SV-CC PASSED this on 11/07/2007 (unanimous). - Passed unanimously in the Champions Feb 14th conference call. 10. 1846 SV-BC D3 21.13: add 1800-2008 to `begin_keywords - No change required - On January 7, 2008, the SV-BC unanimously moved that the resolution of this issue is superceded by resolution of issue 1826 and that no action is required to resolve 1846. - The proposal failed in the Champions email vote which ended on Feb 4th, 2008 - with 1 not vote. - Shalom - it is superceded by 1826 - Passed unanimously in the Champions Feb 14th conference call. Note: the Champions view it as a duplicate of 1826 (versus "no change required" specified by the technical committtee) 11. 2227 SV-EC Incorrect comparison of $random and $urandom - fixed - SV-EC Approved on December 15, 2007 unanimously by email vote. - Passed in the Champions email vote ending on Feb 4th. 12. 0958 SV-EC dynamic array size method unclear when empty - fixed - SV-EC Approved on December 15, 2007 unanimously by email vote. - Passed in the Champions email vote ending on Feb 4th. 13. 0520 SV-EC examples of queues assignments are not legal array - fixed - Unanimously approved by SV-EC in the January 22, 2008 conference call. - Passed in the Champions email vote ending on Feb 4th. 14. 2003 SV-EC Old statement on foreach for wildcard indexed associative - fixed - Unanimously approved by SV-EC in the January 22, 2008 conference call. - Passed in the Champions email vote ending on Feb 4th. 15. 2221 SV-BC "unpacked array reference" is ambiguous - no change required - January 7, 2008, the SV-BC unanimously approved resolving this issue with no action as it is superceded by the resolutino of 2097 - Passed in the Champions email vote ending on Feb 4th. 16. 2193 SV-CC Need to clarify vpiValid flag - duplicate - SV-CC voted to declare this a duplicate of 2226 on 12/19/2007 (unanimous). - Passed in the Champions email vote ending on Feb 4th. 17. 2190 SV-CC Standard does not say what should happen when putting value - duplicate - SV-CC voted to declare this a duplicate of 2154 on 12/05/2007 (unanimous) - Passed in the Champions email vote ending on Feb 4th. 18. 2086 SV-CC Deprecated vpiArray still used with vpi_register_cb() - duplicate - SV-CC voted to declare this a duplicate of 1942 on 12/05/2007 (unanimous) - Passed in the Champions email vote ending on Feb 4th. 19. 2063 SV-CC Three minor typos in sections 36.15, 36.21 and 36.25 - fixed - The SV-CC PASSED this on 10/10/2007 (unanimous). - Passed in the Champions email vote ending on Feb 4th. 20. 1826 SV-BC JEITA: Annex B Add keyword list by LRM version - fixed - January 7, 2008 the SV-BC unanimously approved the attached proposal - Passed in the Champions email vote ending on Feb 4th. 21. 1711 SV-BC Rules for unique case evaluation - duplicate - January 7, 2008 the SV-BC unanimously approved to resolve this issue as addressed by resolution of 1345 - Passed in the Champions email vote ending on Feb 4th. 22. 1549 SV-AC add missing formal argument types - fixed - Was sent back to the sv-ac by the Champions, Nov 8, 2007 - 2007-11-13: Changes to address Champions' feedback approved by voice vote, 9y/0n/0a. - Passed in the Champions email vote ending on Feb 4th. List of Mantis items approved by the TC, but not unanimously ------------------------------------------------------------ (1 mantis item) 23. 2181 SV-EC Ambiguity in implicit declaration of production variables in randsequence - Fixed - SV-EC approved on December 17, 2007 with 2 abstain votes. Abstain: Mike burns - no time to review Steven - not happy about inability to return multiple values (Ray - it would require creating backward compatibility issues to fix that ) - Passed unanimously in the Champions Feb 14th conference call. List of Mantis items unanimously approved by the TC but some Champions abstained -------------------------------------------------------------------------------- (1 mantis item) 24. 1995 SV-AC Allow concurrent assertions and checkers in for loops - Fixed - The latest proposal contains updates based on feedback from the Champions. - In the email vote which ended Feb 4th, there was one no-vote. - The one no-vote from the Champions: Dave - This proposal is essentially creating a generate block within a procedural context. I'm fine with limiting this to assertion statements for now, but that does alleviate addressing all the issues surrounding generated code. For example each assertion statement is replicated in the loop (including nested loops) and a generate block label needs to be created for every instance of each. The loop iterator should be treated as a genvar constant within each instance of the assertion statement. - Passed in the Champions Feb 14th conference call, with 3 abstains. Move: Brad - approve the proposal for Mantis item 1995 Second: Shalom Abstain: Dave - see above for his reasons Francoise - seems problematic - extra rules being added Stu - concerned that the proposal is not clear enough - implementations could diverge. Passed with 3 abstain (4 approved) List of Mantis items approved by the TC but some Champions opposed ------------------------------------------------------------------ (1 mantis item) 25. 1858 SV-EC Name binding in inline constraints - Fixed - The proposal was approved by the SV-EC in the conference call held January 22, 2008. There were two people opposed. Opposed: Francoise - redundancy issue. The proposal specifies two ways to do the same thing. - Inline constraints are already complex. - prefers having just local:: Steven - same reason. Passed with 2 no votes, 11 were in favor of the proposal - The proposal failed in the Champions email vote which ended on Feb 4th, 2008 with 1 no-vote. - Dave - Need to get consensus on this issue. - Passed in the Champions Feb 14th conference call, with 1 opposed. Oppose: Francoise - doesn't like the redundancyReceived on Sat Feb 16 20:06:56 2008
This archive was generated by hypermail 2.1.8 : Sat Feb 16 2008 - 20:07:00 PST