[sv-ac] updated proposal for 3564

Hi,

I have updated a new version of 3564 on mantis.

Dimitry, please call a vote on this proposal.

In this updated proposal, I have excluded concurrent assertions from implicitly extracting sensitivities. Although, we agreed to have clk contribute to sensitivity of always_comb, but after discussing it with Anupam, it looks like it is not a good idea as it will make always_comb trigger at every clock and it will no longer remain a combinational block. It will force users to never use a concurrent assertion in always_comb block.

Thanks.
Manisha

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