[sv-ac] Email ballot result (Due 14 February)

Below are the results of the email ballot:

2412 3113 3135

Ashok Bhatt

Yes Yes Yes Laurence Bisht

Yes Yes Yes Eduard Cerny

Yes Yes Yes Ben Cohen

Yes Yes Yes Tapan Kapoor

Yes Yes Yes Scott Little

Yes Yes Yes Manisha Kulshrestha

Yes Yes Yes Anupam Prabhakar

Yes Yes Yes Erik Seligman

Yes Yes Yes Samik Sengupta

Yes Yes Yes Tom Thatcher

All issues passed: 10y/0n/0a

Friendly amendments

Erik
For 3135, a friendly amendment: in the three instances of this long sentence, I think we should replace the work "then" with a comma:

When the nexttime property is evaluated in a time step that is not a tick of the clock of the nexttime property then an alignment to the tick of the clock of the nexttime property should be applied before the above description.

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

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