[sv-ac] RE: Call to vote: Due May 16

Hi Anupam,

Please, see my comments below.

Thanks,
Dmitry

From: Prabhakar, Anupam [mailto:anupam_prabhakar@mentor.com]
Sent: Tuesday, May 17, 2011 00:30
To: Korchemny, Dmitry; 'sv-ac@eda-stds.org'
Subject: RE: Call to vote: Due May 16

Mantis 3213 ____ Yes __X__ No

http://www.eda-stds.org/mantis/view.php?id=3213
http://www.eda-stds.org/mantis/file_download.php?file_id=5003&type=bug

'Expressions in concurrent assertions, except for disable conditions (see 16.13), are sampled, as explained in 16.5.1.'
I think this should read as
'Expressions in concurrent assertions, except for disable conditions (see 16.13), use sampled values, as explained in 16.5.1.'
[Korchemny, Dmitry] I changed this to:
Concurrent assertions use the sampled values of their expressions except for disable conditions (see 16.13) and clocking events. Expression sampling is explained in 16.5.1. The concurrent assertions are evaluated in the Observed region.

This sounds confusing to me too
'When sampled value functions refer a past or a future timestep, they always take the final sampled value from that timestep, namely, the sampled value of an expression evaluated in the Postpone region of that timestep.'
Maybe it should read
'....., they take the value of the expression evaluated in the Postponed region using sampled values'

[Korchemny, Dmitry] Put it as:
When sampled value functions refer a past or a future timestep, they take the sampled value of an expression evaluated in the Postpone region of that timestep.

Mantis 3385 __X__ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=3385
http://www.eda-stds.org/mantis/file_download.php?file_id=4999&type=bug

Friendly amendment for 3385 - in the example always_comb just has two deferred assert statements - does the expression in a deferred (or immediate) assert contribute to the sensitivity of always_comb ? If not then we should add '...' to denote that there are other statements inside the always_comb which will cause always_comb to trigger.

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