RE: [sv-ac] review of 1729 - new version uploaded and attached

Hello Manisha and all,
 
I tried to correct according to your comments, however, since the
changes seem to be scattered in several proposals, It is not at all
obvious to me whether I did not accidentally remove or add some
material. Therefore, if there is still something not quite right, I'd
rather wait till the next draft release (if that is possible) before
doing any further changes.
 
Best regards,
ed
 


________________________________

	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Kulshrestha, Manisha
	Sent: Friday, December 21, 2007 4:58 AM
	To: sv-ac@eda.org
	Subject: [sv-ac] review of 1729
	
	

	Hi Ed,

	 

	I have the following comments for 1729.

	 

	1.       16.3, the following statement is not taking 'cover'
into account:

	"If an assertion fails and no else clause is specified, the tool
shall, by default, call $error, unless $assertfailoff is used to
suppress the failure."

	2.       At the end again there are changes described for
section 16.3 in the same part. All the changes for 16.3 should be
together.

	 

	Thanks.

	Manisha


	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


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