[sv-ac] No definition of "declarative assertion"

Annex F.3.3.1 (draft 4) uses the term "declarative assertion".  I could not
find any definition of this term.  My suggestion is that the first sentence
of 16.14.4 be changed,

FROM:
  "A concurrent assertion statement can be used outside of a procedural
context. It can be used..."

TO:
  "A concurrent assertion statement can be used outside of a procedural
context. This usage is referred to as a declarative assertion.  It
Declarative assertions can be used..."


Note that the "It" in red, above, should be in a strike-through font, but my
e-mail program did not provide a quick-and-easy way to do that.


Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
Sutherland HDL, Inc.
stuart@sutherland-hdl.com
503-692-0898



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