[sv-ac] Q: verification statements

 
I've reviewed 1995 (concurrent assertions in loops) vs 1737 (fixing some
language in 16.14.5).  They don't touch the same part of the text, but I
had a question about some phrasing that I may need to sync up 1995 with.

1737 uses the term "verification statements".  I forget, did we agree
that this is the best general term describing assert, assume, and cover
statements?  In that case, rather than phrasing 1995 as "concurrent
assertions" in loops, I should probably modify the phrasing to
"concurrent verification statements".

But do we also need to change the title of section 16.14.5?  Right now
it's "Embedding concurrent assertions in procedural code".

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