[sv-champions] RE: My votes

Brad,
I refer to you expertise in this area since this is not my native language.
Francoise
       '

________________________________
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Brad Pierce
Sent: Monday, February 07, 2011 6:48 PM
To: sv-champions@eda.org
Subject: [sv-champions] RE: My votes

I think in British orthography there is often a hyphen after 'non", but in American orthography there is typically no hyphen after the prefix 'non'. So either "non-vacuous" or "nonvacuous" could be OK.

-- Brad

From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On Behalf Of Francoise Martinolle
Sent: Monday, February 07, 2011 3:40 PM
To: Neil.Korpusik@Sun.COM; sv-champions@eda.org
Subject: [sv-champions] My votes

Neil,

I have approved all mantis items, one of them with a comment (see the last one 2452, nonvacuous should be spelled in 2 words).

 1. 2359<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 3215<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 3270<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 3123<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 3289<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 3135<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2557<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2839<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 3036<http://www.eda-twiki.org/svdb/view.php?id=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 _X_ Oppose __

 1. 1559<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2934<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2505<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2927<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2552<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2330<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 1756<http://www.eda-twiki.org/svdb/view.php?id=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 _X_ Oppose __

 1. 2386<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 3008<http://www.eda-twiki.org/svdb/view.php?id=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 __

 1. 2452<http://www.eda-twiki.org/svdb/view.php?id=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 __ (nonvacuous should be 2 words)

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.