FW: [sv-champions] Email vote - Ending February 7th

+sv-champions

-----Original Message-----
From: Rich, Dave
Sent: Monday, February 07, 2011 10:37 PM
To: 'neil.korpusik@oracle.com'
Subject: RE: [sv-champions] Email vote - Ending February 7th

# 2359 Errata SV-CC Example (Traversing expressions) should use vpiType instead of vpiExpr
There is a proposal, for a one-line change.
On Nov-10-2010, the SV-CC PASSED this proposal (unanimous)

Approve _x_ Oppose __

# 3215 Errata SV-CC vpiConstraintItem should also be an iteration method
There is a proposal, changing the type of arrowhead in one diagram.
On Nov-10-2010, the SV-CC PASSED this proposal (unanimous)

Approve _x_ Oppose __

# 3270 Errata SV-CC 37.34 Constraint expression missing foreach constraint
Close as duplicate of 753
On Nov-10-2010, The SV-CC voted to declare this a duplicate of Item 0753 (unanimous).

Approve _x_ Oppose __

# 3123 Errata SV-CC Exact mapping between SV and C data types not clearly defined.
Close as "no change required"
On Dec-08-2011, the SV-CC voted to close this issues as 'Not a mistake' (unanimous)

Approve _x_ Oppose __

# 3289 Errata SV-CC Miscellaneous editorial errors relating to DPI text
There is a proposal - to fix broken hyperlinks and minor formatting problems.
On Jan-05-2011, the SV-CC PASSED this proposal (unanimous)

Approve _x_ Oppose __

# 3135 Clarification SV-AC Verbal explanation of nexttime and always is misleading for multiple clocks.
There is a proposal - adding two paragraphs.
The proposal was up for an email vote in the Champions (ending Dec. 13th). Brad had commented on part of the text, which had led me to believe that he was opposed to the proposal. The sv-ac has since gone back and updated the proposal based on Brad's feedback. I'm not sure if other changes were made or not. The old proposal has since been removed.
The proposal (Proposal+for+0003135_4.pdf) approved by the voice vote 2011-01-17: 7y/0n/0a.

Approve _X_ Oppose __

# 2557 Errata SV-AC Rules for passing automatic variables to sequence subroutines are not clear
There is a proposal - making a few changes to one paragraph.
The proposal was opposed by the Champions in the Dec 13th email vote.
The change suggested by Dave has been made and the reference to 6.24 that Shalom commented on has now been removed.
The proposal ( proposal_2557.pdf) approved by the voice vote 2011-01-17: 7y/0n/0a.

Approve _X_ Oppose __

# 2839 Errata SV-AC Contradictory statement of increment/decrement operators usage.
There is a proposal - changing one sentence.
The proposal was opposed by the Champions in the Dec 13th email vote.
The concern raised by Brad has been addressed in the new proposal.
The proposal (AutoIncDec2839_20110118.pdf) approved by the voice vote 2011-01-17: 7y/0n/0a.

Approve _X_ Oppose __ Friendly amendment 'must' -> 'shall'

# 3036 Clarification SV-AC Explicitly allow unpacked data types for arguments of assertion system functions
Close as duplicate of 2476
Approved by the voice vote 2011-01-17: 7y/0n/0a.

Approve __ Oppose _X_

I believe the last 2 sentences are redundant with 16.6 " If the function is used in an assertion then its argument shall be of a bit stream type legal in assertions. For example, $onehot0(A) shall not be used an assertion if A is a dynamic array."

What if we were to say: If the multiplication operator is used in assertion, then its operands shall be of a type legal in assertions". The LRM would explode.

# 1559 Errata SV-BC To which types can $countones be applied?
Close as duplicate of 2476
Approved by the voice vote 2011-01-17: 7y/0n/0a.

Approve _X_ Oppose __

# 2934 Errata SV-AC Precedence and associativity of case operator is not shown in the table
There is a proposal - updating one sentence.
The proposal was opposed by the Champions in the Dec 13th email vote.
A note was added to the mantis item explaining where the updated table can be located in the LRM.

Approve _X_ Oppose __

# 2505 Errata SV-EC class select: what is allowed after the dot?
There is a proposal - updating an example and adding/updating 3 paragraphs of text.
Unanimously approved in sv-ec meeting 12/6/2010, SV_LRM_Mantis2505v5.pdf is the proposal.

Approve _X_ Oppose __

# 2927 Clarification SV-AC Precedence between sequence/property operator and normal expression operator
There is a proposal - adds one sentence.
The objections raised by the Champions in the Oct 30th vote have been addressed.
Approved by voice vote 2010-11-30: 8y/0n/1a.
Abstained: Anupam. Danger of creating confusion by clarifying something that is already clear.

Approve _X_ Oppose __

# 2552 Clarification SV-AC Confusing comments regarding nexttime operator
There is a proposal - a 4-page proposal with many changes and additions.
The original proposal was opposed by the Champions in the Oct 30th email vote.
The original proposal was deleted, so I'm not sure if the objections have been addressed or not.

Approve _X_ Oppose __

# 2330 Errata SV-AC Clarify that number_of_ticks argument to $past must be compile-time constant
There is a proposal - updates one sentence.
The original proposal was opposed by the Champions in the Oct 30th email vote. The issues raised by the Champions have been addressed.

Approve _X_ Oppose __

# 1756 Clarification SV-AC The LRM does not indicate how the control tasks $asserton/off/kill affect verification statements in initial blocks
No change required
This mantis item was reviewed by the Champions in the Oct 30th email vote. At that time there wasn't quorum achieved for this mantis item. We have since heard back from the original submitter on his agreement with "no change required".
Approved by email ballot 2010-08-02: 10y/0n/0a

Approve __ Oppose __

# 2386 Errata SV-AC Rename 16.9 to "Local variables"?
There is a proposal - adds two sentences.
Approved by email ballot 2010-10-04: 10y/0n/0a.

Approve _X_ Oppose __

# 3008 Errata SV-AC In $past BNF, "expression" should be "expression1"
Duplicate of 2476
Passed by voice vote 2010-09-21: 12y/0n/0a.

Approve _X_ Oppose __

# 2452 Errata SV-AC No vacuity information about synchronous aborts
There is a proposal - adding two paragraphs.
Accepted by email vote 2010-09-13: 11y/0n/0a.

Approve _X_ Oppose __

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: Saturday, January 29, 2011 8:23 PM
To: sv-champions@eda.org
Subject: [sv-champions] Email vote - Ending February 7th

P1800 Champions,

We are conducting an email vote for mantis items that are in the resolved state. There are 19 mantis items ready for the Champions. I have put all 19 into this email vote. Several of these mantis items are for closing without any changes being required. Several of the others are very small changes. Only a few have a more extensive set of changes.

Mark your votes as being either Approve or Oppose. If you Oppose, please specify a reason. You have until February 7, 6pm (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.