Accellera FV - Motion to permit Intel to donate their ForSpec language

Subject: Accellera FV - Motion to permit Intel to donate their ForSpec language
From: Harry Foster (foster@rsn.hp.com)
Date: Thu Mar 29 2001 - 06:15:30 PST

• Next message: Harry Foster: "Accellera FV face-to-face working meeting"
• Previous message: Harry Foster: "Accellera -- April 5-th meeting reminder and access info"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

• Next message: Harry Foster: "Accellera FV face-to-face working meeting"
• Previous message: Harry Foster: "Accellera -- April 5-th meeting reminder and access info"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Mar 29 2001 - 06:18:48 PST