[sv-ac] RE: New version of 3213 uploaded

Hi Dmitry,

some minor comments:

in Motivation, 4th par: $static what is it? Should be $sampled?

later in Motivation: a4 is the same as a3. Doe not match the text.

and should a6 be instead
for (int i = 0; i < 8; i++)

a6: assert #0 (en(i) -> sig[i] == $sampled(sig[i]); ??

16.9.3, middle of change: When sampled value functions refer to a past or a future timestep ... Postponed
16.9.3: $stable(s.triggered) will change value depending whether it is called in the active or observed region. Is it not a race between the update of s.triggered and the use of it? Should there be a sentence that says something about ordering the evaluations?

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Thursday, May 19, 2011 10:41 AM
To: 'sv-ac@eda-stds.org'
Subject: [sv-ac] New version of 3213 uploaded

Hi all,

I uploaded the new version of 3213 http://www.eda-stds.org/mantis/file_download.php?file_id=5053&type=bug following Scott's and Anupam's comments.

Thanks,
Dmitry
---------------------------------------------------------------------
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<http://www.mailscanner.info/>, and is
believed to be clean.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.