Re: E-mail vote due 7/23

Votes for this draft:
   4144: YES

   3659: YES, with the following comment:
     The explicitly listed examples:
       1100 1101 1110 1111
     are missing the base (e.g., 4'b1101, 4'b1101 ...)

   4252: YES
   4129: YES
   3474: YES

Votes to defer:
   3030: YES
   3032: YES
   2182: YES, very reluctantly. This mantis was opened in 2007.

kaiming

On 17.07.2012 09:20, Rich, Dave wrote:
> This e-mail vote is due Monday July 23 at 8:00am PDT, one hour before our next scheduled meeting. This e-mail vote
> represents all remaining unresolved ballot comments. If I have missed any, please let me know. The WG asked that 4252 be
> added to the list of LRM changes to the next draft
>
> The following have proposals ready to be reviewed.
>
> *ID <http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2&print=1>***
>
>
>
> *Category <http://www.eda-twiki.org/svdb/view_all_set.php?sort=category&dir=DESC&type=2&print=1>***
>
>
>
> *Summary <http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1>***
>
> *0004144 <http://www.eda-twiki.org/svdb/view.php?id=4144>***
>
>
>
> SV-EC
>
>
>
> 2012 Ballot comments 16 & 17. Probability in 18.5.10 not correct
>
> *0003659 <http://www.eda-twiki.org/svdb/view.php?id=3659>***
>
>
>
> SV-EC
>
>
>
> 2012 Ballot comment 25: Wildcard bin expansion/naming mechanism
>
> *0004252 <http://www.eda-twiki.org/svdb/view.php?id=4252>***
>
>
>
> SV-AC
>
>
>
> Inconsistency related to use of automatic variables in sampled value functions
>
> *0004129 <http://www.eda-twiki.org/svdb/view.php?id=4129>***
>
>
>
> SV-EC
>
>
>
> 2012 Ballot comment 50: Need to clarify ambiguous binding of matches operator
>
> *0003030 <http://www.eda-twiki.org/svdb/view.php?id=3030>***
>
>
>
> SV-AC
>
>
>
> 2012 Ballot comment 45: Allow checker instantiation in functions and tasks
>
> *0003474 <http://www.eda-twiki.org/svdb/view.php?id=3474>***
>
>
>
> SV-AC
>
>
>
> 2012 Ballot comment 54: Extend assertion control to apply to 'violation reports' for unique/priority case
>
> The WG asked that we vote on the following issues to be left unresolved in the current PAR standard. The WG will provide
> the appropriate ballot responses as required by the IEEE. The subcommittees may continue to work on any unresolved
> issues for the next PAR, including drafting proposals; they just can’t take any binding votes.
>
> *ID <http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2&print=1>***
>
>
>
> *Category <http://www.eda-twiki.org/svdb/view_all_set.php?sort=category&dir=DESC&type=2&print=1>***
>
>
>
> *Summary <http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2&print=1>***
>
> *0003030 <http://www.eda-twiki.org/svdb/view.php?id=3030>***
>
>
>
> SV-AC
>
>
>
> 2012 Ballot comment 45: Allow checker instantiation in functions and tasks
>
> *0003032 <http://www.eda-twiki.org/svdb/view.php?id=3032>***
>
>
>
> SV-AC
>
>
>
> 2012 Ballot comment 44: Allow forcing in checkers
>
> *0002182 <http://www.eda-twiki.org/svdb/view.php?id=2182>***
>
>
>
> SV-CC
>
>
>
> 2012 Ballot comment 56: Elaborate VPI diagrams for checkers
>
> Thank you all for your time and effort. If we can get all these issues resolved by the meeting on the 23^rd , it will be
> our last meeting.
>
> Dave Rich
> Verification Technologist
> Mentor Graphics Corporation**
>
> *Description: Description: Twitter-32* <http://www.twitter.com/dave_59>***Description: Description: Technorati-32*
> <http://go.mentor.com/drich>
>

-- 
Kaiming Ho
Fraunhofer-Institut für Integrierte Schaltungen IIS
Am Wolfsmantel 33
91058 Erlangen
Telefon  +49 (0) 9131 / 776-4716
Fax      +49 (0) 9131 / 776-4499
E-Mail   kaiming.ho@iis.fraunhofer.de
Internet www.iis.fraunhofer.de