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

Hi,

 

The updated version looks fine to me.

 

Thanks.

Manisha

 

From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
Sent: Friday, December 21, 2007 9:38 PM
To: Kulshrestha, Manisha; sv-ac@eda.org
Subject: 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.