[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=bug>
>
>

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.

16.5.1 Sampling

        Bullet 2: Why do you need "at time 0" This bullet is referring
                to variables that are not static.
        Also, should the default type be "1'bx" rather than "X"?

        Maybe the sentence should be re-written, For example, the
        default sampled value of variable y of type logic is 1'bx"

        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.

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"

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"

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