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

Doron-- Do we explicitly describe 'implies' and 'iff' anywhere?  If I'm
reading right, we have added formal defs to the grammar & tables, but
not a plain english description of what these things mean.  I don't
think "not all derived forms are described explicitly in section 16" is
sufficient justification for omitting this.  While the meaning may be
obvious to sv-ac members, I think general LRM readers will want some
explicit description, a short paragraph like we have for conjunctions,
if-else, etc.  

________________________________

From: Bustan, Doron 
Sent: Sunday, September 16, 2007 8:45 AM
To: Korchemny, Dmitry; Seligman, Erik; sv-ac@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 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.