Subject: RE: Sugar subtle semantic changes
From: Armoni, Roy (roy.armoni@intel.com)
Date: Mon Nov 26 2001 - 08:18:20 PST
Hi Cindy,
Could you please explain how R71f is supported by the repackaged Sugar?
Also, on a related issue, is there any requirement that is met by Sugar OBE
but not by Sugar FL? If not,
then why Sugar OBE is needed for the scope of this committee?
Thanks,
Roy
-----Original Message-----
From: Cindy Eisner [mailto:EISNER@il.ibm.com]
Sent: Monday, November 26, 2001 4:24 PM
To: vardi@cs.rice.edu
Cc: roy.armoni@intel.com; vfv@eda.org
Subject: Re: Sugar subtle semantic changes
moshe,
>I am more confused than ever on that. Can you explain how the
>assume-guarantee framework applies to repackaged sugar? Can you make
>an SFL assumption and an obe assertion?
requirement 68a is the accellera requirement which deals with a/g
reasoning. this requirement is supported by the edl "assume" statement.
there is no change to edl in the move from original sugar to repackaged
sugar, so this requirement is met by both.
perhaps you were looking for full support of the a/g paradigm? it is true
that this is supported by the sugar foundation language, and not by
repackaged sugar. however, the committee decided that this should not be a
requirement, and therefore is not relevant to the discussion.
cindy.
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-855-0070
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
This archive was generated by hypermail 2b28 : Mon Nov 26 2001 - 08:19:26 PST