RE: [sv-ac] #1510

Hi guys,
 
Let's agree to disagree, btw sorry for missing discussion at meeting to
begin with --DAC. In my opinion (and seems Dmitry) the user purposely
said "do nothing", and frankly it's very hard for me to rationalize that
writing this is same as not writing it :). 
 
As far as it being error-prone, it might very well be, but I think we
should always make a distinction between language and "good" (better)
coding style.
 
Thx.
-Bassam.
 

________________________________

From: Eduard Cerny 
Sent: Monday, July 31, 2006 10:08 AM
To: Kulshrestha, Manisha; Bassam Tabbara; sv-ac@eda-stds.org
Subject: RE: [sv-ac] #1510


I'd agree with you.
ed
 


________________________________

	From: owner-sv-ac@eda-stds.org [mailto:owner-sv-ac@eda-stds.org]
On Behalf Of Kulshrestha, Manisha
	Sent: Monday, July 31, 2006 1:04 PM
	To: Bassam Tabbara; sv-ac@eda-stds.org
	Subject: RE: [sv-ac] #1510
	
	
	Hi,
	 
	I think saying "do nothing" on property failure is same as not
writing the property. So, effectively, user is wasting his/her time by
saying do not report anything even if property fails. If the user really
wants "do nothing" behaviour he/she should remove the property instead
of writing null else clause. It is also error prone if use by mistake
creates a null statement for else clause and thinks that property passed
(because no failure was reported by the tool) whereas it actually did
not.
	 
	Thanks.
	Manisha

________________________________

	From: Bassam Tabbara [mailto:Bassam.Tabbara@synopsys.com] 
	Sent: Friday, July 28, 2006 7:59 PM
	To: Kulshrestha, Manisha; sv-ac@eda-stds.org
	Subject: RE: [sv-ac] #1510
	
	
	Hi Manisha,
	 
	About your 2nd change in proposal, the null stmt form to me
really means "do nothing", so the $error call treatment as if no else
was specified bugs me.
	 
	Thx.
	-Bassam.
	 

________________________________

	From: owner-sv-ac@eda-stds.org [mailto:owner-sv-ac@eda-stds.org]
On Behalf Of Kulshrestha, Manisha
	Sent: Friday, July 28, 2006 3:41 PM
	To: sv-ac@eda-stds.org
	Subject: [sv-ac] #1510
	
	
	Hi,
	 
	I have uploaded proposal for 1510. 
	 
	Thanks.
	Manisha