Re: [sv-champions] Email vote ending September 20th

Reminder,

The email vote ends today.

Neil

On 09/10/11 20:42, Neil Korpusik wrote:
>
>
> ------------------------------------------------------------------------
>
> P1800 Champions,
>
> We are conducting an email vote for mantis items that are in the
> resolved state. There are 27 mantis items ready for the Champions. I
> have put 16 of them into this email vote. Four of these mantis items are
> duplicates, all of the others have proposals.
>
> Mark your votes as being either Approve or Oppose. If you Oppose, please
> specify a reason. You have until September 20, midnight (PST) to cast
> your votes.
>
> Neil
>
>
> 1. 2506 <http://www.eda-twiki.org/svdb/view.php?id=2506 > SV-EC Non-trivial
> coverage space shapes and joint conditions are difficult to
> specify with covergroups
> There is a proposal (20 pages)
> The proposal was opposed by the Champions in the email vote ending
> on June 11, 2011. The feedback was addressed.
> The proposal (version 9) was unanimously approved by the sv-ec in
> the conference call of August 29th, 2011. This version addresses
> the Champion's feedback.
>
> Approve __ Oppose __>
>
>
> 2. 3398 <http://www.eda-twiki.org/svdb/view.php?id=3398 > SV-DC User
> defined nets and resolution functions
> There is a proposal (8 pages)
> The proposal was opposed by the Champions in the email vote which
> ended July 1, 2011.
> Approved v22 by voice vote in the SV-DC meeting on 2011-09-07.
> This version addresses the Champions feedback. 10y:0n:1a
>
> Approve __ Oppose __>
>
>
> 3. 1251 <http://www.eda-twiki.org/svdb/view.php?id=1251 > SV-BC 9.7.6 does
> not explicitly say what happens if "wait" condition is 'x' or 'z'
> There is a proposal (1 page).
> A relatively small set of changes.
> On August 29, 2011 the SV-BC unanimously approved the attached
> proposal.
>
> Approve __ Oppose __>
>
>
> 4. 3034 <http://www.eda-twiki.org/svdb/view.php?id=3034 > SV-AC Allow
> continuous and blocking assignments in checkers
> Duplicate of 3033
> Approved by voice vote 2011-09-06: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 5. 2809 <http://www.eda-twiki.org/svdb/view.php?id=2809 > SV-AC Checker
> instantiation in checkers' always procedure
> Duplicate of 3033
> Approved by voice vote 2011-09-06: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 6. 2897 <http://www.eda-twiki.org/svdb/view.php?id=2897 > SV-AC Allow
> $display in checkers
> Duplicate of 3033, 2743
> Approved by voice vote 2011-09-06: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 7. 2743 <http://www.eda-twiki.org/svdb/view.php?id=2743 > SV-AC Allow
> subroutine_call_statement in a checker
> Duplicate of 3033, 2897
> Approved by voice vote 2011-09-06: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 8. 3206 <http://www.eda-twiki.org/svdb/view.php?id=3206 > SV-AC Deferred
> assertions are sensitive to glitches
> There is a proposal (6 pages)
> Amended proposal approved by voice vote 2011-09-06: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 9. 3033 <http://www.eda-twiki.org/svdb/view.php?id=3033 > SV-AC Allow
> procedural control statements is checkers
> There is a proposal (19 pages)
> Passed in email ballot 2011-09-05: 8y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 10. 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)
> This is the third time this proposal has reached the Champions.
> Amended proposal passed by voice vote 2011-08-30: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 11. 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 (7 pages)
> This is the 4th time this proposal has reached the Champions.
> Passed by voice vote 2011-08-30: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 12. 2578 <http://www.eda-twiki.org/svdb/view.php?id=2578 > SV-AC Vacuity
> definition
> There is a proposal (2 pages). A relatively small set of changes.
> Passed by the voice vote 2011-08-30: 10y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 13. 2328 <http://www.eda-twiki.org/svdb/view.php?id=2328 > SV-AC Review and
> relax restrictions on data types in assertions
> There is a proposal (9 pages)
> Passed by email ballot 2011-08-22: 9y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 14. 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 second time this proposal has gone to the champions.
> The amended proposal passed by voice vote 2011-08-23: 7y/0n/0a.
>
> Approve __ Oppose __>
>
>
> 15. 3233 <http://www.eda-twiki.org/svdb/view.php?id=3233 > SV-BC implicit
> wire declarations should occur in instantiations of
> programs/interfaces also
> There is a proposal (1 page)
> This is the second time the proposal has reached the Champions.
> On August 15, 2011 the SV-BC unanimously approved the attached
> proposal.
>
> Approve __ Oppose __>
>
>
> 16. 1504 <http://www.eda-twiki.org/svdb/view.php?id=1504 > SV-BC introduce
> parameterized structures
> There is a proposal (1 page)
> On August 15, 2011 the SV-BC unanimously approved the attached
> proposal.
>
> Approve __ Oppose __>
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.