[sv-ac] Friendly amendments to mantis 2412

Hi Anupam,

I have the following friendly amendments to your proposal:

In the code snippet

// Illegal use in a disable condition, e4 is not explicitly clocked.
a5: assert property (@(posedge clk_a) disable iff (e4.triggered) a |=> b);

* disable iff should be typeset as bold

* Remove the period after "clocked" - there are no periods in the rest of the comments

* I suggest to rename a5 to a5_illegal to stress its non-validity. This is the common style in the LRM.

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, and is
believed to be clean.