Hi Champions, Our next conference call is scheduled for February 14th, 8-10am PST. Attached is the list of Mantis items for review. We have a full agenda. There are 30 Mantis items to review. Half of them are left over from the email vote which ended Feb 4th. Thursday February 14th, 2008 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 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. 1. 2181 SV-EC Ambiguity in implicit declaration of production variables in randsequence - Fixed - 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 ) - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 2. 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) - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 3. 1952 SV-CC "Null argument" to mean "omitted argument" may be confusing - Fixed - The SV-CC PASSED this on 12/17/2007 (unanimous). - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 4. 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). - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 5. 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. - Passed by e-mail ballot 2008-01-14, 9y/0n/1a - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 6. 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. - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 7. 1667 SV-AC Local variable arguments for sequences and properties. - Fixed - approved by voice vote in the meeting 2007-01-15, 7y/0n/0a - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 8. 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). - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 9. 0748 SV-CC vpiParent of var select can only be array var - Fixed - The SV-CC PASSED this on 01/16/2008 (unanimous). - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 10. 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). - The Champions email vote which ended on Feb 4th, 2008 did not have enough participation on this Mantis item to allow it to pass. 11. 1995 SV-AC Allow concurrent assertions and checkers in for loops - Fixed - The latest proposal contains updates based on feedback from the Champions. I placed the Mantis item into the feedback state since this latest proposal hasn't been approved by the sv-ac. - I would like to determine how much opposition there is to this Mantis item. In the email vote which ended Feb 4th, there was one no-vote. Please review the latest proposal, even though the Mantis is in the feedback state, so that we can provide any additional feedback to the sv-ac. - 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. 12. 1900 SV-AC Add new 'checker' construct to SVA - Fixed - 2008-01-21 Revision to address friendly amendments passed by e-mail vote, 6y/0n/4a. - The proposal failed in the Champions email vote which ended on Feb 4th, 2008. Failed with 2 no-votes - Dave - This proposal needs to be addressed when it can have the full attention of all the committees as effects every part of the language. Otherwise, I feel that this enhancement goes beyond the level of enhancements authorized by the P1800 PAR in embedding a new language with SV. The number of keywords and statements being introduced can not be thoroughly reviewed with the resources we have for the current par. A suggestion would be to call a join meeting to have the SV-AC present this proposal to members of all the other committies as part of a design review. - Shalom - Sent a lot of feedback to the sv-ac (in 5 parts). - I would like to discuss this in the Champions meeting to find out how much opposition there is to this proposal. 13. 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. Failed with 1 no-vote - Dave - Need to get consensus on this issue. 14. 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. Failed with 1 no-vote - Shalom - Superceded by 1826 15. 1728 SV-AC Introduce "let"statement - Fixed - Was sent back to the svac by the Champions The proposal was updated and approved by the sv-ac. - Unanimously passed by voice vote 12/04/07. - The proposal failed in the Champions email vote which ended on Feb 4th, 2008. Failed with 1 no-vote - Dave - It seems very odd that the let statement is allowed on an immediate assertion, which is no more complex than a 'if' statement, but not allowed in any Boolean expression. I understand the SV-AC rush to add features to the language and limiting those features to assertions, but limited this kind of feature to assertions does not serve the end user and the language very well. If there are issues preventing wider adoption of this feature, let then be flushed out now. - John - friendly amendment: p. 3, I think that there is a parenthesis mismatch (too many ")") in the let in the package pex_gen9_common_expressions. 16. 1447 SV-EC Contradictory stmts about unsized array dimensions (5.1 vs. 5.7 and 5.8) - Fixed - Failed in the Champions email vote that ended Feb 4th - The proposal was updated and approved by the sv-ec - The proposal was unanimously approved by the SV-EC in the February 4, 2008 conference call. 17. 2249 SV-BC 11.4.3.1 merge issue on net and variable types - Fixed - On February 4, 2008 the SV-BC unanimously approved the attached proposal. 18. 2233 SV-EC Allowed types for randc - Fixed - Unanimously approved by the sv-ec in the conference call of February 4, 2008. 19. 2229 SV-EC Clarify summary description for "inactive" random varaibles. - Fixed - Unanimously approved by the sv-ec in the conference call of February 4, 2008. 20. 2183 SV-EC Only simple identifiers allowed in solve-before constraint - Fixed - Unanimously approved by the sv-ec in the conference call of February 4, 2008. 21. 2106 SV-BC Clarifications needed for declaration before use of objects and type - Fixed - Has been bouncing back and forth between the Champions and the sv-bc Matt has confirmed that the latest uploaded proposal is the one that the Champions should review. - On February 4, 2008 the SV-BC unanimously approved the attached proposal. 22. 2091 SV-AC Need a clarification where concurrent assertions may appear - Fixed - 2008-01-29: Voice vote approved all friendly amendments, 8y/0n/0a. 23. 2005 SV-AC Solution for glitch problem in immediate assertions - Fixed - 2008-01-30: e-mail vote passed, 8y/0n/2a 24. 1827 SV-BC JEITA: 20.3.1 Update the OS Reference - Fixed - On February 4, 2008 the SV-BC unanimously approved the attached proposal. 25. 1772 V-1364 inconsistent timecheck/timestamp condition terminology - Fixed - On February 4, 2008 the SV-BC unanimously approved the attached proposal. 26. 1769 SV-AC Elaboration time user assertion and error reporting tasks - Fixed - 2008-01-29: Voice vote approved revised proposal that addresses all friendly amendments, 8y/0n/0a. 27. 1758 SV-AC Boolean implication -> and equivalence <-> - Fixed - Was sent to svbc for review by Champions. SV-BC requested a few changes. SV-AC made and approved the requested changes - 2008-02-05: The changes requested by SV-BC have been made and approved by voice vote, 9y/0n/0a. 28. 1648 SV-AC Default reset for assertions - Fixed - Sent back to the committee from the Champions The proposal was updated and approved by the committee. - Was sent to the sv-ec for review by the Working Group The sv-ec chose to take no action at this point in time. - Was sent back to the svac from the champions The proposal was updated and approved by the svac. - 2008-02-05: voice vote to approve the proposal dated 2008-01-31. 8y/0n/0a. 29. 1601 SV-AC new keyword for untyped formal arguments - Fixed - Feedack was provided by the svbc - Sent back to the committee by the Champions Was updated and approved by the svac. - Failed to pass in the Champions email vote Updated and approved by the committee - Was sent to the sv-ec for review by the Champions The svec chose not to take any action at this point in time. 30. 0675 SV-BC Ballot Feedback Issue 203: Packed unions shall not be restricted to equal length items. - No change required - On January 21, 2008 the SV-BC unanimously approved resolution of this issue with no further actionReceived on Sat Feb 9 20:22:51 2008
This archive was generated by hypermail 2.1.8 : Sat Feb 09 2008 - 20:22:53 PST