[Fwd: [sv-champions] Email vote ending October 17]

Reminder,

Today is the last day for this Champion's email vote.

Neil

-------- Original Message --------
Subject: [sv-champions] Email vote ending October 17
Date: Fri, 07 Oct 2011 10:38:00 -0700
From: Neil Korpusik <neil.korpusik@oracle.com>
Reply-To: neil.korpusik@oracle.com
To: sv-champions@eda.org <sv-champions@eda.org>

P1800 Champions,

We are conducting an email vote for mantis items that are in the resolved
state. There are 15 mantis items ready for the Champions. I have put 10
of them into this email vote.

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

Neil

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
-- 
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 15 mantis items ready for the Champions. I have put 10 
of them into this email vote. 

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

Neil

1. 3564 SV-AC Sec 9.2.2.2.1 needs to clarify whether variables read in an assertion contribute to the sensitivity of an always_comb
   There is a proposal (1 page)
   Approved by voice vote 2011-09-27: 12y/0n/0a.
   
   Approve __ Oppose __

   
   

2. 3145 SV-AC Need to clearly define "maximal property"
   There is a proposal (1 page)
   Approved by voice vote 2011-09-27: 12y/0n/0a.
   
   Approve __ Oppose __

   
   

3. 3046 SV-EC Dotted names within inlined constraints
   There is a proposal (1 page)
   Approved in sv-ec meeting 8/15/2011:proposal 3046_inline_dotted_names_rev3.pdf 1 No vote, 0 abstain.
   
   Approve __ Oppose __

   
   

4. 1091 SV-EC Jeda verification enhancements
   No change required
   Unanimously voted in sv-ec email vote 9/26/2011 to be CLOSED as already implemented in SystemVerilog.
   
   Approve __ Oppose __

   
   

5. 3001 SV-EC Proper Polymorphic behavior of instantiation
   There is a proposal (2 pages)
   unanimously approved in email vote 9/26/2011
   
   Approve __ Oppose __

   
   

6. 1523 SV-BC How is ?: defined for non-integral data types?
   There is a proposal (2 pages)
   On September 26, 2011 the SV-BC unanimously approved the revised proposal, 1523_rev5_shalom.pdf.
   
   Approve __ Oppose __

   
   

7. 2987 SV-EC Soft Constraints
   There is a proposal (5 pages)
   Approved in sv-ec meeting, 9/26/2011, the proposal Mantis2987_SoftConstraintsProposal_v5.pdf. 8 yes, 4 abstain, 1 no
   
   Approve __ Oppose __

   
   

8. 3724 SV-DC Allow generic interconnect for "typeless" connections
   There is a proposal (10 pages)
   Passed in e-mail vote that ended on 2011-09-30. 9y/0n/0a
   
   Approve __ Oppose __

   
   

9. 2476 SV-AC Need clarification about system functions $onehot, etc
   There is a proposal (7 pages)
   Amended proposal passed by voice vote 2011-08-30: 10y/0n/0a.
   This was part of the Champion's email vote which ended on Sept 20, 2011. At that time, some of the Champions needed more time to review it.
   
   Approve __ Oppose __

   
   

10. 1356 SV-EC Multiple inheritance
    There is a proposal (11 pages)
    Proposal 1356_Interface_Classes_rev12.pdf was uanimously approved in sv-ec 9/12/2011 meeting.
    This was part of the Champion's email vote which ended on Oct 2nd, 2011. At that time, some of
    
    Approve __ Oppose __

    
    

    The following set was up for a previous vote, some Champions needed more time. These will be part of another vote. I am listing these so that you are aware that they still need attention.
    

    
    

11. 3033 SV-AC Allow procedural control statements is checkers
    There is a proposal (19 pages)
    
    
12. 3069 SV-AC Relax rules for $global_clock resolution
    There is a proposal (6 pages)
    
    
13. 2328 SV-AC Review and relax restrictions on data types in assertions
    There is a proposal (9 pages)
    
    
14. 3113 SV-AC Add port_identifier to constant_primary BNF for sequences, properties and checkers
    There is a proposal (7 pages)
    
    
15. 3206 SV-AC Deferred assertions are sensitive to glitches
    There is a proposal (6 pages)