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

HI Manisha,
 
... I am relieved...!
 
Thanks,
ed


________________________________

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