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

From: Bustan, Doron <doron.bustan_at_.....>
Date: Wed Sep 12 2007 - 00:42:54 PDT
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, and is
believed to be clean.



Received on Wed Sep 12 00:44:15 2007

This archive was generated by hypermail 2.1.8 : Wed Sep 12 2007 - 00:44:24 PDT