[sv-champions] Email vote ending September 20th

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

P1800 Champions,

We are conducting an email vote for mantis items that are in the resolved
state. There are 27 mantis items ready for the Champions. I have put 
16 of them into this email vote. Four of these mantis items are duplicates,
all of the others have proposals. 

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

Neil

1. 2506 SV-EC Non-trivial coverage space shapes and joint conditions are difficult to specify with covergroups
   There is a proposal (20 pages)
   The proposal was opposed by the Champions in the email vote ending on June 11, 2011. The feedback was addressed.
   The proposal (version 9) was unanimously approved by the sv-ec in the conference call of August 29th, 2011. This version addresses the Champion's feedback.
   
   Approve __ Oppose __>

   
   

2. 3398 SV-DC User defined nets and resolution functions
   There is a proposal (8 pages)
   The proposal was opposed by the Champions in the email vote which ended July 1, 2011.
   Approved v22 by voice vote in the SV-DC meeting on 2011-09-07. This version addresses the Champions feedback. 10y:0n:1a
   
   Approve __ Oppose __>

   
   

3. 1251 SV-BC 9.7.6 does not explicitly say what happens if "wait" condition is 'x' or 'z'
   There is a proposal (1 page).
   A relatively small set of changes.
   On August 29, 2011 the SV-BC unanimously approved the attached proposal.
   
   Approve __ Oppose __>

   
   

4. 3034 SV-AC Allow continuous and blocking assignments in checkers
   Duplicate of 3033
   Approved by voice vote 2011-09-06: 10y/0n/0a.
   
   Approve __ Oppose __>

   
   

5. 2809 SV-AC Checker instantiation in checkers' always procedure
   Duplicate of 3033
   Approved by voice vote 2011-09-06: 10y/0n/0a.
   
   Approve __ Oppose __>

   
   

6. 2897 SV-AC Allow $display in checkers
   Duplicate of 3033, 2743
   Approved by voice vote 2011-09-06: 10y/0n/0a.
   
   Approve __ Oppose __>

   
   

7. 2743 SV-AC Allow subroutine_call_statement in a checker
   Duplicate of 3033, 2897
   Approved by voice vote 2011-09-06: 10y/0n/0a.
   
   Approve __ Oppose __>

   
   

8. 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 __>

   
   

9. 3033 SV-AC Allow procedural control statements is checkers
   There is a proposal (19 pages)
   Passed in email ballot 2011-09-05: 8y/0n/0a.
   
   Approve __ Oppose __>

   
   

10. 2476 SV-AC Need clarification about system functions $onehot, etc
    There is a proposal (7 pages)
    This is the third time this proposal has reached the Champions.
    Amended proposal passed by voice vote 2011-08-30: 10y/0n/0a.
    
    Approve __ Oppose __>

    
    

11. 3113 SV-AC Add port_identifier to constant_primary BNF for sequences, properties and checkers
    There is a proposal (7 pages)
    This is the 4th time this proposal has reached the Champions.
    Passed by voice vote 2011-08-30: 10y/0n/0a.
    
    Approve __ Oppose __>

    
    

12. 2578 SV-AC Vacuity definition
    There is a proposal (2 pages). A relatively small set of changes.
    Passed by the voice vote 2011-08-30: 10y/0n/0a.
    
    Approve __ Oppose __>

    
    

13. 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 __>

    
    

14. 3069 SV-AC Relax rules for $global_clock resolution
    There is a proposal (6 pages)
    This is the second time this proposal has gone to the champions.
    The amended proposal passed by voice vote 2011-08-23: 7y/0n/0a.
    
    Approve __ Oppose __>

    
    

15. 3233 SV-BC implicit wire declarations should occur in instantiations of programs/interfaces also
    There is a proposal (1 page)
    This is the second time the proposal has reached the Champions.
    On August 15, 2011 the SV-BC unanimously approved the attached proposal.
    
    Approve __ Oppose __>

    
    

16. 1504 SV-BC introduce parameterized structures
    There is a proposal (1 page)
    On August 15, 2011 the SV-BC unanimously approved the attached proposal.
    
    Approve __ Oppose __>