[sv-ac] RE: comments on 1648

Hi John,

Attached is the modified version. Uploaded to Mantis as well.

Thanks,
Dmitry

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Wednesday, August 29, 2007 5:55 AM
To: eduard.cerny@synopsys.com; Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: comments on 1648

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.