RE: [Fwd: Re: [sv-ac] Call to vote: Due June 13]

Hi Tom,

Please, see my comments below.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Thomas J Thatcher
Sent: Friday, June 10, 2011 21:55
To: sv-ac@eda.org
Subject: [Fwd: Re: [sv-ac] Call to vote: Due June 13]

Forgot to copy the AC mailing list.

-------- Original Message --------
Subject: Re: [sv-ac] Call to vote: Due June 13
Date: Fri, 10 Jun 2011 11:53:35 -0700
From: Thomas J Thatcher <thomas.thatcher@oracle.com>
Reply-To: thomas.thatcher@oracle.com
To: Korchemny, Dmitry <dmitry.korchemny@intel.com>
References:
<0C32E6E39ADBCF419011EA78AF6813E0021A4DC1B0@hasmsx504.ger.corp.intel.com>

My Vote:

>
> Mantis 3213 __x__ Yes ____ No
>
> http://www.eda-stds.org/mantis/view.php?id=3213
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=5135&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=5135&type=bu
> g>
>
>

How do we distinguish our term "sampled value" from the #1 sampling that occurs in clocking blocks?
We'll need to check if the term "sampled value" is ever used to refer to
#1 sampling in clocking blocks.

[Korchemny, Dmitry] I copied this statement from the existing LRM (see the beginning of 16.5). Sampled values is also referred to #step1 sampling in Clause 14 (see, for example, 14.3).

16.5.1 Sampling

        Bullet 2: Why do you need "at time 0" This bullet is referring
                to variables that are not static.
[Korchemny, Dmitry] Fixed.

        Also, should the default type be "1'bx" rather than "X"?
[Korchemny, Dmitry] Fixed.

        Maybe the sentence should be re-written, For example, the
        default sampled value of variable y of type logic is 1'bx"
[Korchemny, Dmitry] = previous two fixes.

        Bullet 4: How about re-writing it this way:
        "The default sampled value of an expression is defined
         recursively by evaluating the expression using the default
         sampled values of its component sub-expressions and variables.
[Korchemny, Dmitry] Done.

16.10
        Rephrase
        "A sampled value of a local variable coincides with it's current value"
        To
        The sampled value of a local variable is defined as the current value as explained in 16.5.1"

[Korchemny, Dmitry] Done.

16.14.6
        Rephrase
        "The sampled values of these methods coincide with their current
        values as explained in 16.5.1"
        The sampled values of these methods are defined as the current values as explained in 16.5.1"
[Korchemny, Dmitry] Done.

--
This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.