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

Hi Neil,

Here are my votes - Appove all except 2987

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 _X_ Oppose __

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 _X_ Oppose __

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 _X_ Oppose __

Françoise's comment should be another mantis.

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 _X_ Oppose __

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

Approve _X_ Oppose __

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 _X_ Oppose __

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 _X_
Since it appears this will go back the the SV-EC anyways, I would like to see wider consensus on this proposal.

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 _X_ Oppose __

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 _X_ Oppose __

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 _X_ Oppose __

I believe all the comments so far have been editoral.

- Dave
Mentor Graphics

-----Original Message-----
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Neil Korpusik
Sent: Friday, October 07, 2011 10:38 AM
To: sv-champions@eda.org
Subject: [sv-champions] Email vote ending October 17

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.