Subject: Re: Accellera FV - Motion to permit Intel to donate their ForSpec language
From: wolfstal@il.ibm.com
Date: Fri Mar 30 2001 - 03:22:36 PST
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 - 03:58:51 PST