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

Hi Ed,

Thank you for your comments. Please, see below.

Dmitry

From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
Sent: Thursday, May 19, 2011 23:13
To: Korchemny, Dmitry; 'sv-ac@eda-stds.org'
Subject: RE: New version of 3213 uploaded

Hi Dmitry,

some minor comments:

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

[Korchemny, Dmitry] Fixed.

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

[Korchemny, Dmitry] Fixed.

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

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

[Korchemny, Dmitry] Fixed.

16.9.3, middle of change: When sampled value functions refer to a past or a future timestep ... Postponed

[Korchemny, Dmitry] Fixed.

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?
[Korchemny, Dmitry] I will add a sentence about its evaluation in the Active and the Observed region. In the Observed region the situation should be the same as using s.triggered without $stable - there is an implicit assumption that in the Observed region the fresh value of triggered is used. If this requires more clarification I would suggest to open a separate Mantis item for this, since it is not directly related to 3213. I also added an example.

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