RE: [sv-ac] {Filename?} imply and iff operators

I think 'implies' needs to appear in the additions to Annex B?
 
Shalom


________________________________

	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
	Sent: Sunday, September 16, 2007 5:45 PM
	To: Korchemny, Dmitry; Seligman, Erik; sv-ac@server.eda-stds.org
	Subject: RE: [sv-ac] {Filename?} imply and iff operators
	
	

	I upload new versions where I changed 'imply" to "implies" and
fix some of the numbering.

	 

	Doron

	 

	
________________________________


	From: Korchemny, Dmitry 
	Sent: Sunday, September 16, 2007 5:33 PM
	To: Bustan, Doron; Seligman, Erik
	Subject: RE: [sv-ac] {Filename?} imply and iff operators

	 

	Hi Doron,

	 

	I think that the operator name should be implies, and not imply.

	 

	Thanks,

	Dmitry

	 

	
________________________________


	From: Bustan, Doron 
	Sent: Sunday, September 16, 2007 9:32 AM
	To: Seligman, Erik
	Cc: Korchemny, Dmitry
	Subject: RE: [sv-ac] {Filename?} imply and iff operators

	 

	As far as I understand not all derived forms are described
explicitly in section 16. I will go over the numbers again.

	 

	Doron

	 

	
________________________________


	From: Seligman, Erik 
	Sent: Wednesday, September 12, 2007 8:32 PM
	To: Bustan, Doron
	Cc: Korchemny, Dmitry
	Subject: RE: [sv-ac] {Filename?} imply and iff operators

	 

	Hi Doron--  Shouldn't these new operators have paragraphs
defining them, somewhere in sections 16.12.*?   I see them added to the
grammar, but not described.  (BTW-- the section numbering in the doc
seems off, sometimes 16.12.* and sometimes 16.2.*.  You should probably
fix that too while you're touching it.)

	 

	
________________________________


	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
	Sent: Wednesday, September 12, 2007 12:43 AM
	To: sv-ac@server.eda-stds.org
	Subject: RE: [sv-ac] {Filename?} imply and iff operators

	Hope this file will have a better luck.

	 

	Doron

	 

	
________________________________


	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
	Sent: Wednesday, September 12, 2007 10:19 AM
	To: sv-ac@server.eda-stds.org
	Subject: [sv-ac] {Filename?} imply and iff operators

	 

	I have modify the 1932 proposal to define the "imply" and "iff"
property operations.

	
---------------------------------------------------------------------
	Intel Israel (74) Limited
	 
	This e-mail and any attachments may contain confidential
material for
	the sole use of the intended recipient(s). Any review or
distribution
	by others is strictly prohibited. If you are not the intended
	recipient, please contact the sender and delete all copies.
	
---------------------------------------------------------------------
	Intel Israel (74) Limited
	 
	This e-mail and any attachments may contain confidential
material for
	the sole use of the intended recipient(s). Any review or
distribution
	by others is strictly prohibited. If you are not the intended
	recipient, please contact the sender and delete all copies.

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

	
---------------------------------------------------------------------
	Intel Israel (74) Limited
	
	This e-mail and any attachments may contain confidential
material for
	the sole use of the intended recipient(s). Any review or
distribution
	by others is strictly prohibited. If you are not the intended
	recipient, please contact the sender and delete all copies.
	

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

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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