Re: [sv-ac] negated boolean proposal

Subject: Re: [sv-ac] negated boolean proposal
From: John Havlicek (john.havlicek@motorola.com)
Date: Thu Oct 16 2003 - 07:07:44 PDT

Next message: Arif Samad: "[sv-ac] Minutes of 10/13/2003 Meeting"
Previous message: Armoni, Roy: "RE: [sv-ac] negated boolean proposal"
In reply to: Armoni, Roy: "RE: [sv-ac] negated boolean proposal"
Next in thread: Armoni, Roy: "RE: [sv-ac] negated boolean proposal"
Reply: John Havlicek: "Re: [sv-ac] negated boolean proposal"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Roy:

Can you be more specific about what you have in mind?
I have the following questions about it.

* Does it require changing to immediate booleans?

* Does it require rewriting the entire SVA formal semantics?

* Will it cause significant disruption of the current alignment
between SVA and PSL semantics?

* How significant is the change in practice?

Best regards,

John H.

>
> 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>
> 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 >>=20
>
>
> ------_=_NextPart_001_01C393DE.42F7C49B
> Content-Type: text/html;
> charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
>
> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
> <HTML>
> <HEAD>
>
> <META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version =
> 6.0.6487.1">
> <TITLE>RE: [sv-ac] negated boolean proposal</TITLE>
> </HEAD>
> <BODY>
> 
>
> FACE=3D"Comic Sans MS">Hi John,
>
> FACE=3D"Comic Sans MS">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.
>
> FACE=3D"Comic Sans MS">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.
>
> FACE=3D"Comic Sans MS">I wonder what is the committee's take on =
> this?
>
> FACE=3D"Comic Sans MS">Thanks,
>
> FACE=3D"Comic Sans MS"> Roy
> 
> <UL DIR=3DLTR>
> MS"> -----Original =
> Message-----
>
> FACE=3D"Tahoma">From:   FACE=3D"Tahoma">owner-sv-ac@eda.org [<A =
> HREF=3D"mailto:owner-sv-ac@eda.org"> COLOR=3D"#0000FF" SIZE=3D1 =
> FACE=3D"Tahoma">mailto:owner-sv-ac@eda.org</A> LANG=3D"en-us">]  SIZE=3D1 FACE=3D"Tahoma">On Behalf Of FACE=3D"Tahoma">John Havlicek
>
> FACE=3D"Tahoma">Sent:   FACE=3D"Tahoma">Tuesday, October 14, 2003 12:03 AM
>
> FACE=3D"Tahoma">To:     FACE=3D"Tahoma">sv-ac@eda.org
>
> FACE=3D"Tahoma">Subject:       </FONT=
> > [sv-ac] negated boolean =
> proposal
>
> FACE=3D"Comic Sans MS"> << File: negbool_proposal.txt =
> >> 
> </UL>
> </BODY>
> </HTML>
> ------_=_NextPart_001_01C393DE.42F7C49B--

Next message: Arif Samad: "[sv-ac] Minutes of 10/13/2003 Meeting"
Previous message: Armoni, Roy: "RE: [sv-ac] negated boolean proposal"
In reply to: Armoni, Roy: "RE: [sv-ac] negated boolean proposal"
Next in thread: Armoni, Roy: "RE: [sv-ac] negated boolean proposal"
Reply: John Havlicek: "Re: [sv-ac] negated boolean proposal"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Oct 16 2003 - 13:15:23 PDT