[sv-ac] verification statement

Hi Folks:

In reviewing 1932, I noticed that it uses "verification statement"
and also that it cites 1757, which also uses "verification statement".

In 1987 we are getting rid of "verification statement" (although the
job was not done completely).  I think that we need to replace 
the various occurrences of "verification statement" in these other 
proposals with something like "assertion statement", "concurrent
assertion", etc.  The context will determine what is appropriate.

J.H.

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