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

Hi Anupam-
My interpretation of 9.2.2.2.1 was that expressions in assertions do contribute to the sensitivity list of an always_comb. Do others agree, or do we need a fix as suggested below?

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