[sv-ac] 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.'

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'

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.

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