RE: [sv-ac] Review of Latest 1550 proposal

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Mon Sep 10 2007 - 13:36:05 PDT
Hi all,

Following Tom's comments I am depositing the original Ed's version.
Though the same reference there is repeated three times in different
fragments, the fragments are not continuous. Better suggestions are
welcome.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Thomas Thatcher
Sent: Tuesday, September 04, 2007 11:23 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] Review of Latest 1550 proposal

Hello Everyone,

I have reviewed the latest proposal for 1550  (file
Sampled1550_070904_dk.doc).

I have only one comment.  On page 322, in the second new paragraph, the
text
was changed as follows:

From:

    The value of an expression sampled in the preponed region
corresponding to
    time 0 is the result of evaluating the expression using the initial
values
    of the variables comprising the expression.

To:
    The value of an expression sampled in the Preponed region
corresponding
    to time 0 is the result of evaluating the expression using the
initial
    sampled values of the variables - the initial values of the
variables
    comprising the expression.

(With "initial sampled values" in italics)

I think I liked the original wording better.  In the new proposal, it
appears
that a new term "initial sampled values" is being defined, but it is
never
used anywhere else in the text, so why define it?  Is "initial sampled
value"
different in some way from the "initial value"?  I think adding the
cross
references later in this paragraph was sufficient.

Tom
-- 
------------------
Thomas J. Thatcher
Sun Microsystems
408-616-5589
------------------


-- 
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.


Received on Mon Sep 10 13:37:42 2007

This archive was generated by hypermail 2.1.8 : Mon Sep 10 2007 - 13:38:18 PDT