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

Reminder,

This email vote ends on Monday. Thanks to those
that have already provided input.

Neil

On 10/07/11 10:38, Neil Korpusik wrote:
> 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
>
>
> ------------------------------------------------------------------------
>
> 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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=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 <http://www.eda-twiki.org/svdb/view.php?id=3033> SV-AC Allow
> procedural control statements is checkers
> There is a proposal (19 pages)
>
> 12. 3069 <http://www.eda-twiki.org/svdb/view.php?id=3069> SV-AC Relax rules
> for $global_clock resolution
> There is a proposal (6 pages)
>
> 13. 2328 <http://www.eda-twiki.org/svdb/view.php?id=2328> SV-AC Review and
> relax restrictions on data types in assertions
> There is a proposal (9 pages)
>
> 14. 3113 <http://www.eda-twiki.org/svdb/view.php?id=3113> SV-AC Add
> port_identifier to constant_primary BNF for sequences, properties
> and checkers
> There is a proposal (7 pages)
>
> 15. 3206 <http://www.eda-twiki.org/svdb/view.php?id=3206> SV-AC Deferred
> assertions are sensitive to glitches
> There is a proposal (6 pages)
>

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