P1800 Champions,

We are conducting an email vote for mantis items that are in the resolved
state. There are 17 mantis items ready for the Champions. I have put all 17
of them into this email vote. Some of the Champions requested more time to
review several of these from previous email votes. I am hoping that those
reviews will now be completed. There are notes mentioning which mantis items 
had Champion's requesting more time for review. 
 
Several of these were just recently moved to the resolved state. I placed
the short proposals at the top of the list. Please review those first, since
there is more likelihood of those passing. 

Mark your votes as being either Approve or Oppose. If you Oppose, please
specify a reason.  You have until October 31, midnight (PST) to cast your
votes.

Neil

1. 1653 SV-CC Cannot get to class defn from VPI class typespec
   No change required
   On Sep-28-2011, the SV-CC voted to resolve this issue as 'no change required'. (unanimous)
   
   Approve __ Oppose __

   
   

2. 1649 SV-CC Undefined possibly redundant VPI constraint object types
   No change required
   On Sep-28-2011, the SV-CC voted to resolve this issue as 'no change required'. (unanimous)
   
   Approve __ Oppose __

   
   

3. 3772 SV-CC vpiParameter label is missing in first diagram in "37.2 Parameter, spec param...."
   There is a proposal (1 page) - very minor change
   On Sep-28-2011, the SV-CC PASSED this proposal. (unanimous)
   
   Approve __ Oppose __

   
   

4. 3192 SV-CC 37.8 section has wrong value definitions for vpiAccessType
   There is a proposal (1 page) - minor changes
   On Sep-28-2011, the SV-CC PASSED this proposal. (unanimous)
   
   Approve __ Oppose __

   
   

5. 3230 SV-EC task should be function in definition of static functions
   There is a proposal (1 page)
   On November 8, 2010 the SV-BC unanimously approved the attached proposal.
   
   Approve __ Oppose __

   
   

6. 2845 SV-EC virtual interface type checking versus interface type that had been defparam'ed
   There is a proposal (1 page)
   

       approved in Jan17 2011 sv-ec meeting:
       Move: Francoise accept 2845-v3.pdf proposal for this mantis
     Second: Jonathan
    Abstain: Gord, Arturo
             [no inherent objection, but this could potentially complicate sv-bc changes] 
   	  [no inherent objection, this has to do with a deprecated syntax/feature] 
    Opposed: 
    Aapproved [13 people were on line at the time of the vote]
   

   
   Approve __ Oppose __

   
   

7. 1352 SV-CC VPI 27.37 "Multiclock sequence expression" error
   There is a proposal (2 pages)
   On Aug-17-2011, the SV-CC voted to re-submit the proposal to the Champions based upon the comments by Bassam and Shalom. (unanimous)
   Approve __ Oppose __

   
   

8. 3022 SV-CC Annex I import/export reversals
   There is a proposal (2 pages) - minor changes
   On Aug-31-2011, the SV-CC PASSED this proposal. (unanimous)
   
   Approve __ Oppose __

   
   

9. 1067 SV-BC out-of-range or x/z index to array of reals
   There is a proposal (3 pages)
   On September 26, 2011 the SV-BC unanimously approved the attached proposal.
   
   Approve __ Oppose __

   
   

10. 2093 SV-AC Checker construct should permit output arguments
    There is a proposal (6 pages)
    The proposal was updated based on Champion's feedback.
    
    Approve __ Oppose __

    
    

11. 3069 SV-AC Relax rules for $global_clock resolution
    There is a proposal (6 pages)
    The amended proposal passed by voice vote 2011-08-23: 7y/0n/0a.
    
    Approve __ Oppose __

    
    

12. 3113 SV-AC Add port_identifier to constant_primary BNF for sequences, properties and checkers
    There is a proposal (7 pages)
    Passed by voice vote 2011-08-30: 10y/0n/0a.
    
    Approve __ Oppose __

    
    

13. 3206 SV-AC Deferred assertions are sensitive to glitches
    There is a proposal (6 pages)
    Amended proposal approved by voice vote 2011-09-06: 10y/0n/0a.
    
    Approve __ Oppose __

    
    

14. 2328 SV-AC Review and relax restrictions on data types in assertions
    There is a proposal (9 pages)
    Passed by email ballot 2011-08-22: 9y/0n/0a.
    
    Approve __ Oppose __

    
    

15. 3295 SV-AC need a way to control only asserts/covers/assume directives
    There is a proposal (11 pages)
    Amended proposal passed by voice vote 2011-08-16: 9y/0n/0a.
    
    Approve __ Oppose __

    
    

16. 3213 SV-AC Update definition of sampled value
    There is a proposal (11 pages)
    The proposal amended following Stu's comments was accepted by the voice vote 2011-10-11: 8y/0n/0a.
    
    Approve __ Oppose __

    
    

17. 3033 SV-AC Enhance checker modeling capabilities
    There is a proposal (19 pages)
    Some of the Champions needed more time to review the proposal.
    Changed the proposal summary to "Enhance checker modeling capabilities" following Shalom's request. This change was approved by the SV-AC voice vote 2011-10-11: 8y/0n/0a.
    
    Approve __ Oppose __