[sv-ac] Draft 1 review

Hi Neil,

SV-AC has reviewed the changes made in Draft 1. Correctly implemented Mantis items have been closed. Editorial issues have been set to Editor status, several new Mantis items have been opened and also set to Editor status.

The following Mantis items describe SV-AC editorial issues:

2485 terminology related to immediate and deferred assertions
3573 Typesetting issue in 16.13 Declaring properties
3565 Typos in 16.15.8 Nonvacuous evaluations
2452 No vacuity information about synchronous aborts
3020 Recursive property Restriction 4 is not consistent between Clause 16.13.17 and Annex F.7
2934 Precedence and associativity of case operator is not shown in the
2732 Clarify timing diagram in Figure 16-4. Future value change
2955 Checker example is wrong
3556 Typo in 16.10 Local variables
2722 Errors in Figures 16-14, 16-15, and 16-16
2552 Confusing comments regarding nexttime operator
2551 trivial example error

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