[sv-ac] comments on 1648

From: John Havlicek <john.havlicek_at_.....>
Date: Tue Aug 28 2007 - 19:55:27 PDT
Hi Ed, Dmitry:

I looked briefly over the revised 1648.  I have just a few comments
below.

J.H.

2007-08-28
----------

. p. 1.  There is some confusion in the first few sentences with the use 
  of the phrase "default disable condition".  I recommend changing 

     A default disable condition may be declared  ... It provides a default
     disable condition to ...

  to 

     A default disable may be declared  ... It provides a default
     disable condition to ...

. p. 1, assume an cover property --> assume and cover property

. p. 1, program declaration, however, if --> program declaration.  However, if

. p. 1, does not extend into any instances of modules, interfaces and programs -->
  does not extend into any instances of modules, interfaces or programs

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Aug 28 19:55:51 2007

This archive was generated by hypermail 2.1.8 : Tue Aug 28 2007 - 19:56:03 PDT