Subject: RE: [sv-ac] negated boolean proposal
From: Armoni, Roy (roy.armoni@intel.com)
Date: Thu Oct 16 2003 - 05:08:51 PDT
Hi John,
Thanks for raising this issue. The difference in the semantics between
1. on one hand and 3.,4.,5. on the other hand is indeed bothering. At
the same time, I believe that 1. and 2. should have exactly the same
meaning - the difference between "!" and "not" is only syntactic.
I believe that there is no real dilemma here and we can make all of
1.-5. equivalent, but it requires some work, much more than the small
change in your proposal. However, I am willing to invest this work for
the benefit of all the future SVAs that are going to be written out
there.
I wonder what is the committee's take on this?
Thanks,
Roy
> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
> Behalf Of John Havlicek
> Sent: Tuesday, October 14, 2003 12:03 AM
> To: sv-ac@eda.org
> Subject: [sv-ac] negated boolean proposal
>
> << File: negbool_proposal.txt >>
This archive was generated by hypermail 2b28 : Thu Oct 16 2003 - 05:09:52 PDT