[sv-champions] Mantis items for Champions meeting of Jan 17th

Hi Champions,

Attached is the list of Mantis items for review.
The meeting is scheduled for 8-10am PST. Jan 17, 2008.


Neil


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


Champions agenda for the January 17th meeting:

As of today (Jan 12th) there are 53 Mantis items in the  state.
25 of these are ready for review by the Champions. 

 1. 1648 SV-AC  Default reset for assertions
    - Fixed 
    - Voice vote approved the latest change on 12/4.
    - Was sent to the SV-EC by the Working Group
    - SV-EC chose to not make any changes at this time.
 2. 1682 SV-AC  Future value functions
    - Fixed 
    - 2007-12-24: Passed by e-mail vote, 7y/0n/3a. 
 3. 1336 SV-EC  Rules for allowed statements in a function
    - Fixed
    - Problems flagged by Champions (Nov 28) were addressed.
    - Approved on January 7 2008, unanimously
 4. 1987 SV-AC  "verification statement" should be italicized and added to 
                glossary
    - Fixed
    - 2007-12-24: Passed by e-mail vote, 6y/0n/4a
 5. 2037 SV-BC  Setting parameters in Configurations
    - Fixed
    - Approved unanimously by SV-BC on Jan. 7, 2008.
 6. 2102 SV-BC  Unnecessary difference between packed and unpacked objects
    - Fixed
    - It wasn't clear to the Champions which proposal to review last time around
    - On December 17, 2007 the SV-BC unanimously approved Shalom's proposal 
      (uploaded on December 18, 2007).
 7. 1863 SV-BC  Add $system
    - Fixed
    - On December 17, 2007 the SV-BC unanimously approved the attached proposal.
 8. 2131 SV-BC  Parallel_case equivalent needed for case and if statements
    - Fixed
    - On December 17, 2007 the SV-BC unanimously approved the attached proposal.
 9. 1984 SV-BC  22.2.2.3: bad example?
    - Fixed
    - On December 17, 2007 the SV-BC approved with one abstain
      Brad (should address ballot issue 228 and make current text legal)
10. 1602 SV-BC  12.4.3: behavior of task/function inout arg with default is 
                ambiguous
    - Fixed
    - On December 17, 2007 the SV-BC unanimously approved the attached proposal.
11. 1809 SV-BC  forward references into $unit package
    - Fixed
    - The attached proposal was approved by the SV-BC on December 17, 2007.
	Opposed: Brad (not suitable to send to champions)
		 Shalom (to which scopes does the algorithm apply?)
		 Gord (language is not correct for LRM. Concerns
                about impact of proposal to interactions with $unit)
12. 2097 SV-BC  release/deassign with variables driven by continuous assignments
    - Fixed
    - The SV-BC unanimously approved the attached proposal via e-mail vote
      that closed December 17, 2007.
13. 2106 SV-BC  Clarifications needed for declaration before use of objects 
                and type
    - Fixed
    - Sent back to the svbc by the Champions Dec 20th. 
      Shalom updated the proposal but it wasn't uploaded to Mantis
    - The SV-BC unanimously approved the attached proposal via e-mail vote
      that closed on December 17, 2007.
14. 2184 SV-BC  Data query and array query system functions allowed in constant 
                expressions
    - Fixed
    - On December 10, 2007 the SV-BC unanimously approved the attached proposal.
15. 1619 SV-BC  allow specification of default input values for module ports
    - Fixed
    - On December 10, 2007 the SV-BC approved the attached proposal.
     Opposed: Cliff - concerned that it removes important port connection checks
     Abstain: Mike (did not have time to follow details) 
16. 0997 V-1364 4.1.4 -- expression evaluation short circuiting
    - Fixed
    - On December 10, 2007 the SV-BC unanimously approved the attached proposal.
17. 2225 SV-BC  corrections to upwards hierarchical resolution
    - Fixed
    - On December 10, 2007 the SV-BC approved the attached proposal.
      Shalom abstained. He believes the proposal is an improvement, but he
      feels the text referring to hierarchical name in 22.8 should be
      combined with this.
18. 1683 SV-AC  Relax rules for building multiclocked properties
    - Fixed
    - 2007-12-24: Passed by e-mail ballot, 8y/0n/2a
19. 1702 SV-EC  queue syntax issues
    - Fixed
    - Approved unaniously Dec 10, 2007.
20. 2137 SV-EC  Some assertion contexts should be procedural
    - Fixed
    - Approved on December 17, 2007 unanimously.
21. 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 )
22. 1447 SV-EC  Contradictory stmts about unsized array dimensions 
                (5.1 vs. 5.7 and 5.8)
    - Fixed
    - Approved on December 17, 2007 unanimously.
23. 0958 SV-EC  dynamic array size method unclear when empty
    - Fixed
    - Approved on December 15, 2007 unanimously by email vote.
24. 2227 SV-EC  Incorrect comparison of $random and $urandom
    - Fixed
    - Approved on December 15, 2007 unanimously by email vote.
25. 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).
      1549 has since been approved.
    - Approved by voice vote, 9y/0n/0a