[sv-ac] comments on SV-AC items

Hi Folks:

Below are my comments from my review of SV-AC items 
for the Champions review meeting on 2008-01-17.  

These are my own comments and were not, for the most
part, communicated at the Champions meeting.

Nevertheless, I think that it will be good to consider 
these comments and possibly addressing them in revising
any of these proposals.

J.H.

 1. 1648 SV-AC  Default reset for assertions

    - I noticed that "Any signals" is used when discussing scopes.  This
      should probably be more general. 

 2. 1682 SV-AC  Future value functions

    - p. 1, "global clocking past sampled value functions can be defined" --
      maybe this should just be "are defined".
    - p. 1, There is a font mistake:  "v" roman should be "v" courier in
      "sampled value of v at the next global clocking tick".
    - p. 3, font mistake on "rst" in Example 3.  It is roman and should be 
      courier.

 4. 1987 SV-AC  "verification statement" should be italicized and added to 
                glossary

    - p. 1, "Assertions appear as a verification statement" should be aligned
      in number:  "An assertion appears as a verification statement".
    - p. 2, the glossary definition is awkward.
    - p. 2, there is a coloring mistake at the bottom -- "When" should be blue.

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