-----Original Message-----
From: Francoise Martinolle
Sent: Friday, August 05, 2011 9:48 PM
To: francoise martinolle
Subject: RE: [sv-champions] Email vote ending August 1, 2011 - extended to the 5th
My votes:
1. 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)
The proposal was opposed by the Champion's in the email vote which
ended on April 8th, 2011. The proposal was updated based on the
Champion's feedback. The updated proposal seems to work-around the
problem that Dave saw with 1'b1 versus 2'01.
The amended proposal passed by voice vote 2011-07-19: 10y/0n/0a.
Approve __X Oppose __
2. 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 (6 pages with several small changes).
The proposal was opposed by the Champion's twice. This is the
third time it has gone to the Champion's. There was only one
objection from the most recent review.
The amended proposal was approved by email ballot 2011-07-18:
10y/0n/0a.
Approve __ Oppose _x_
I do not see why we need to introduce a new formal_port_identifier, port_identifier should be sufficient. It is currently used for denoting task and function formals.
3. 3015 <http://www.eda-twiki.org/svdb/view.php?id=3015> SV-AC Examples of
$fatal have bad arguments
There is a proposal (1 page)
This is the first time this short proposal has gone to the
Champion's.
Passed by voice vote 2011-07-19: 10y/0n/0a.
Approve _x_ Oppose __
4. 3459 <http://www.eda-twiki.org/svdb/view.php?id=3459> SV-CC DPI section
"H.6.6 Pure functions" is redundant and should be removed
There is a proposal (2 pages) - deletes a sub-clause.
This is the first time this proposal has gone to the Champion's.
On Apr-27-2011, the SV-CC PASSED this proposal (unanimous)
Approve _x_ Oppose __
5. 3272 <http://www.eda-twiki.org/svdb/view.php?id=3272> SV-CC two
cross-references are not hyperlinked
There is a proposal (3 pages).
This is the first time this proposal has gone to the Champion's.
On May-11-2011, the SV-CC PASSED this proposal (unanimous)
Approve _x_ Oppose __
6. 3522 <http://www.eda-twiki.org/svdb/view.php?id=3522> SV-CC
vpiStringConst, not vpiStringVal, as possible value of vpiConstType
There is a proposal (with a one word change).
This is the first time this proposal has gone to the Champion's.
On May-11-2011, the SV-CC PASSED this proposal (unanimous)
Approve _x_ Oppose __
7. 3118 <http://www.eda-twiki.org/svdb/view.php?id=3118> SV-CC Typo in
H.7.7 Canonical representation of packed arrays
There is a proposal (with a one word change).
This is the first time this proposal has gone to the Champion's.
On Jun-08-2011, the SV-CC PASSED this proposal (unanimous)
Approve _x_ Oppose __
8. 1352 <http://www.eda-twiki.org/svdb/view.php?id=1352> SV-CC VPI 27.37
"Multiclock sequence expression" error
There is a proposal (deletes one diagram and updates another)
This is the first time this proposal has gone to the Champion's.
On Jun-08-2011, the SV-CC PASSED this proposal (unanimous)
Approve _X_ Oppose __
9. 3599 <http://www.eda-twiki.org/svdb/view.php?id=3599> SV-CC svBitVecVal
as reference type is missing asterisk
There is a proposal (changes the font for one word and adds an *).
I found it very difficult to locate this update. It seems to me
that the Editor may miss it.
This is the first time this proposal has gone to the Champion's.
On Jun-22-2011, the SV-CC PASSED this proposal (unanimous)
Approve _x_ Oppose __
10. 3385 <http://www.eda-twiki.org/svdb/view.php?id=3385> SV-AC Possible
ambiguity when deferred assertion action block calls nested function
There is a proposal (2 pages) that adds new text.
This is the second time this proposal has gone to the Champion's.
Passed by voice vote 2011-07-12: 10y/0n/0a.
Approve _x_ Oppose __
11. 2412 <http://www.eda-twiki.org/svdb/view.php?id=2412> SV-AC Allow clock
inference in sequences
There is a proposal (5 pages)
This is the 4th time this proposal has gone to the Champions.
The amended proposal was approved by e-mail ballot on 6/28/2011:
8y/0n/0a
Approve _x_ Oppose __
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)
This is the first time this proposal has gone to the Champion's.
The proposal was approved by the SV-AC on 6/21/2011 6y, 0n, 0a
Approve _X_ Oppose __ Abstain __
13. 2794 <http://www.eda-twiki.org/svdb/view.php?id=2794> SV-EC Clarify
queue methods return status
There is a proposal (2 pages)
The champion's feedback of September 29th was addressed.
Proposal 2794-3a was unanimously approved by the sv-ec in the
conference call held on July 18, 2011.
Approve _x_ Oppose __
14. 2112 <http://www.eda-twiki.org/svdb/view.php?id=2112> SV-EC Remove
restrictions on NBA assignments to class members
There is a proposal (2 pages)
This is the first time this proposal has gone to the Champion's.
Version 4 of the proposal (2112 NBA v4) was unanimously approved
by the sv-ec in the conference call held on July 18, 2011.
Approve _x_ Oppose __
15. 2900 <http://www.eda-twiki.org/svdb/view.php?id=2900> SV-EC Associative
array should consider the context of an lvalue to create an entry
There is a proposal (1 page)
This is the first time this proposal has gone to the Champion's.
Version 4 of the proposal (2900 assoc lvalue v4) was unanimously
approved by the sv-ec in the conference call held on July 18, 2011.
Approve _x_ Oppose __
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Aug 5 19:20:33 2011
This archive was generated by hypermail 2.1.8 : Fri Aug 05 2011 - 19:20:35 PDT