RE: [sv-champions] Email vote ending July 1, 2011

Dave Rich
Verification Technologist
Mentor Graphics Corporation
New Office Number:   510-354-7439
 

-----Original Message-----
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Neil Korpusik
Sent: Thursday, June 30, 2011 5:33 PM
To: sv-champions@eda.org
Subject: Re: [sv-champions] Email vote ending July 1, 2011

Reminder,

The email vote ends tomorrow.

Neil

On 06/22/11 12:31, Neil Korpusik wrote:
> P1800 Champions,
>
> We are conducting an email vote for mantis items that are in the
> resolved state. There are 8 mantis items ready for the Champions. I
> have put all
> 8 into this email vote. Three of these mantis items are for for no
> changes at all. Four of them have a significant amount of changes.
>
> Mark your votes as being either Approve or Oppose. If you Oppose,
> please specify a reason. You have until July 1, 6pm (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 8 mantis items ready for the Champions. I
> have put all 8 into this email vote. Three of these mantis items are
> for for no changes at all. Four of them have a significant amount of changes.
>
> Mark your votes as being either Approve or Oppose. If you Oppose,
> please specify a reason. You have until July 1, 6pm (PST) to cast your votes.
>
> Neil
>
>
> 1. 3398 <http://www.eda-twiki.org/svdb/view.php?id=3398> SV-DC User defined
> nets and resolution functions
> There is a proposal (6 pages of completely new text)
> Unanimous voice vote in SV-DC committee meeting on 2011-06-15.
>
> Approve __ Oppose _[DR] X_
[DR] I think most of Shalom's comments are editorial, but I do agree the use of atomic and user defined nets is unnecessarily complicated. I would just call everything user-defined and call the existing net types built-in definitions.

>
>
> 2. 3213 <http://www.eda-twiki.org/svdb/view.php?id=3213> SV-AC Update
> definition of sampled value
> There is a proposal (11 pages)
> Passed by voice vote 2011-06-14: 12y/0n/0a.
>
> Approve _[DR] X_ Oppose __
>
>
> 3. 3293 <http://www.eda-twiki.org/svdb/view.php?id=3293> SV-EC Clarify
> $cast behaviour on class handles
> There is a proposal (1 page - all new text)
> Unanimously approved in sv-ec meeting June 6 2011, proposal
> 3293-proposal-v4.pdf
>
> Approve [DR] X__ Oppose __[DR] Shalom's changes should all be editorial
>
>
> 4. 3279 <http://www.eda-twiki.org/svdb/view.php?id=3279> SV-EC Enhance
> method override rules to allow covariant typing
> Close as duplicate of 3278.
> Unanimously approved to CLOSE, already merged into 3278, in email
> vote, ended June 6 2011.
>
> Approve _[DR] X_ Oppose __
>
>
> 5. 3278 <http://www.eda-twiki.org/svdb/view.php?id=3278> SV-EC virtual
> method type rules
> There is a proposal (2 pages)
> Unamiously approved at sv-ec meeting, June 6 2011, proposal:
> 3278-v4.pdf
>
> Approve _[DR] X_ Oppose __
>
>
> 6. 0210 <http://www.eda-twiki.org/svdb/view.php?id=0210> SV-BC Allow use of
> generate in module port list
> No change required
> On May 23, 2011 the SV-BC unanimously voted to resolve this issue
> with no change as the committee was unable to find a solution that
> is technically sound and acceptable to users.
>
> Approve _[DR] X_ Oppose __
>
>
> 7. 2556 <http://www.eda-twiki.org/svdb/view.php?id=2556> SV-AC Explicit
> package scope indication is not allowed for checkers
> There is a proposal (2 pages - a small number of BNF changes)
> Passed by voice vote 2011-05-31: 11y/0n/0a.
>
> Approve _[DR] X_ Oppose __
>
>
> 8. 3036 <http://www.eda-twiki.org/svdb/view.php?id=3036> SV-AC Explicitly
> allow unpacked data types for arguments of assertion system functions
> Duplicate of 2476
> Approved by the voice vote 2011-01-17: 7y/0n/0a.
>
> Approve _[DR] X_ Oppose __
>

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