Re: Email vote due Monday July 16th

2559: YES

4144: NO
       As Steven has pointed out, the first paragraph is now wrong.
       There are 1+2**32 legal value combinations of {s,d}. In the
       second paragraph, as Brad has pointed out, 'nearly 50%' is
       misleading, since it is actually a bit more, at 1/2 * (1+1/2**32).
         I would like to see the exact probabilities worked out.

3525: YES, but with the following friendly comment, similar to what
       Steven has pointed out.
          p5, Annex A.2.10, Insert after the end of property_expr definition:
        In the BNF for 'property_case_item', the comma (,) should be red.
        Same goes for p4, Clause 16.12.16.

4128: YES

3879: YES

kaiming

On 10.07.2012 18:59, Rich, Dave wrote:
> Please respond by Monday, July 16^th at 9:00am PDT
>
> ID <http://www.eda-twiki.org/svdb/view_all_set.php?sort=id&dir=DESC&type=2>
>
>
>
> Type <http://www.eda-twiki.org/svdb/view_all_set.php?sort=custom_Type&dir=DESC&type=2>
>
>
>
> Category <http://www.eda-twiki.org/svdb/view_all_set.php?sort=category&dir=DESC&type=2>
>
>
>
> Summary <http://www.eda-twiki.org/svdb/view_all_set.php?sort=summary&dir=DESC&type=2>
>
> 0002559 <http://www.eda-twiki.org/svdb/view.php?id=2559>
>
>
>
> Errata
>
>
>
> SV-EC
>
>
>
> 2012 Ballot comments 22,33: Wrong LRM example in section 9.7
>
> 0004144 <http://www.eda-twiki.org/svdb/view.php?id=4144>
>
>
>
> Errata
>
>
>
> SV-EC
>
>
>
> 2012 Ballot comments 16 & 17. Probability in 18.5.10 not correct
>
> 0003525 <http://www.eda-twiki.org/svdb/view.php?id=3525>
>
>
>
> Errata
>
>
>
> SV-AC
>
>
>
> 2012 Ballot comment 41: property_statement should not be part of property_expr
>
> 0004128 <http://www.eda-twiki.org/svdb/view.php?id=4128>
>
>
>
> Errata
>
>
>
> SV-EC
>
>
>
> 2012 Ballot comment 49: Global constants should be allowed as variables in a covergroup_expression
>
> 0003879 <http://www.eda-twiki.org/svdb/view.php?id=3879>
>
>
>
> Clarification
>
>
>
> SV-AC
>
>
>
> 2012 Ballot comment 40: Return value of sequence methods should be well-defined
>
> 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