Subject: RE: Accellera FV - Motion to permit Intel to donate their ForSpec language
From: Harry Foster (foster@rsn.hp.com)
Date: Fri Mar 30 2001 - 05:15:27 PST
I agree with Yaron. If the committee agrees (via vote) to
accept the Intel contribution, we need to establish a strict
deadline for completion of the legal process. We need to do
this at our April 5th meeting.
Best regards,
-Harry
> -----Original Message-----
> From: owner-vfv@eda.org [mailto:owner-vfv@eda.org]On Behalf Of
> wolfstal@il.ibm.com
> Sent: Friday, March 30, 2001 5:23 AM
> To: vfv@eda.org
> Subject: Re: Accellera FV - Motion to permit Intel to donate their
> ForSpec language
>
>
>
>
>
> All,
> In my opinion, the committee should require this to be a closed-loop
> process.
>
> That it, there should be a requirement on new contributors to complete
> their
> submission within a strict short deadline . Otherwise, the
> committee may be
> subjected to occasional new submissions which would impede our
> desired effectiveness to reach closure within a reasonable time.
>
> - Yaron
>
>
>
> "Harry Foster" <foster@rsn.hp.com> on 29/03/2001 16:15:30
>
> Please respond to "Harry Foster" <foster@rsn.hp.com>
>
> To: vfv@eda.org
> cc:
> Subject: Accellera FV - Motion to permit Intel to donate
> their ForSpec
> language
>
>
>
>
> During our April 5-th meeting the committee will need
> to vote on the following motion--
>
> The process to donate a formal property
> language to Accellera should be temporarily
> reopened for Intel to donate ForSpec.
>
> Background:
> ==========
> During our last meeting Limor Fix from Intel presented
> an overview of Intel's ForSpec Temporal Logic. The
> committee decided to send out a motion
> to the entire group to vote on permitting Intel to
> donate their language. At our April 5-th meeting, Intel
> will give the committee an estimate on how long it
> will take to get the donation letter through their
> legal department.
>
> Best regards,
>
> -Harry
>
>
>
This archive was generated by hypermail 2b28 : Fri Mar 30 2001 - 05:19:17 PST