[sv-ac] 1987 updated

Hi Folks:

I updated 1987 to make the following changes:

1. Re-clarify the note to the editor about the reference to 16.2.
2. Avoid using "checker" in the characterization of "assert".

I have uploaded 1987_verif_stmt_2008_02_26_b_jh.pdf to Mantis.

Please have a look.  We will voice vote this on 2008-02-28.

J.H.

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