Subject: Re: vacuity
From: Atanas Parashkevov (Atanas.Parashkevov@motorola.com)
Date: Mon Aug 13 2001 - 00:13:42 PDT
Well said, Bernard. I think the majority of the committee shares your
position. Let's be constructive or we will have hard time going
forward!
Best regards,
Atanas
Bernard Deadman wrote:
>
> At 09:58 AM 8/9/2001 -0700, Michael McNamara wrote:
>
> >Moshe Vardi writes:
> > > Enjoy your vacation, Cindy. In the mean time, I think the "medium"
> > > we gave Sugar on vacuity is fair.
> > >
> > > Moshe
> >
> >Now Cindy will spend her whole vacation fuming that you believe that
> >Sugar is only of medium vacuity....
> >
> >:-) :-) :-)
>
> Moshe,
>
> I don't know if you appreciate English humor, but maybe I can translate.
>
> Your attitude is becoming counter productive. Even if ForSpec were to
> prevail as Accellera's chosen language after a protracted fight, Intel's
> stated objective of gaining support in a broader range of tools won't have
> been achieved unless vendors enthusiastically adopt the language. I, for
> one, am finding it hard to be positive about ForSpec because:
>
> 1) there is no immediate prospect of commercially available tools
>
> 2) I forecast there would be minimal post adoption support from Intel
>
> 3) even if ForSpec were significantly ahead of the others, there is always
> a bigger gain by working with constructive people.
>
> This committee is not about one winner and three losers. This is not about
> scoring points in an academic exercise. Winning a vote 6+ months from now
> doesn't guarantee anything. Getting the perfect language isn't necessary.
>
> What *is* important is getting a big majority of people to agree on a
> halfway decent language for which there are commercially available static
> and dynamic-verification tools from day one so we can get out there and
> work on putting Formal Verification in the hands of the 95%+ of engineers
> that don't even consider it today.
>
> That's the big picture we should all be concentrating on, and at this point
> *** WE ALL NEED TO BE CONSTRUCTIVE *** about getting there.
>
> Please understand your apparent attempts to discredit your 'rivals' are not
> convincing me, instead you're discrediting your own cause by reminding me
> of what is likely to happen should Intel prevail. Patience, politeness and
> professionalism are virtues!
>
> Regards
>
> Bernard
>
> ====================================================================
> SDV Inc. 9111 Jollyville Rd, Suite 102, Austin, TX 78759 USA
> Phone: (512) 231-9806 xt 101 FAX: (512) 231-9807 Mobile: (512)
> 431-5126
> Email: bdeadman@sdvinc.com Website: www.sdvinc.com
-- =================================================================== -- Atanas Parashkevov -- Product Architect, Formal Verification -- EDA Solutions and Products SBU -- Global Software Group -- -- email: Atanas.Parashkevov@motorola.com -- office: +61-8-8168 3687 fax: +61-8-8168 3501 -- switch: +61-8-8168-3500 -- addr: 2, Second Avenue, Mawson Lakes, Adelaide, 5095. Australia ===================================================================
This archive was generated by hypermail 2b28 : Mon Aug 13 2001 - 00:15:15 PDT