Subject: Accellera FV June 28 Meeting Summary
From: Harry Foster (foster@rsn.hp.com)
Date: Tue Jul 03 2001 - 08:48:01 PDT
Attached are the minutes for our June 28-th meeting.
Attendees:
=========
Meeting attendance shown in parens: (most recent leftmost).
Key: 'a'=attended in person;
'r'=represented by replacement;
'-'=skipped;
'.'=not yet participating;
'?'=unknown;
'*' indicates voting member
(by "3 of last 4 meetings attended" rule,
see October 2000 minutes for details);
***********************************************
NOTE: Please send me e-mail if you were left
off this list--so I can update it. -Harry
***********************************************
(a.........) Bassam Tabbara (Novas)
(aaaa......) Bernard Deadman (SDV) *
(aaaa-aaaaa) Ed Clarke (CMU) *
(aaaa-aaaaa) Erich Marschner (Cadence) *
(aa........) Axel Scherer (Cadence)
(aaaaaaaaaa) Harry Foster (HP) *
(aaaa----rr) K.C.Chen (Verplex) *
(aaaa......) Moshe Vardi (Rice) *
(raa-aaa...) Michael Siegel - (Siemens) *
(raaaaa---a) Peter Flake (Co-Design) *
(a-aaaaa...) Prakash Narain - (RealIntent) *
(aa........) Sandeep Shukla (UC Irvine)
(raaaaraaaa) Tom Anderson (0-in) *
(---a---a-a) Vassilios Gerousis (Infineon)
(aaararaaa-) Cindy Eisner (IBM) *
(aaaaaaaaaa) Danny Geist (IBM) *
(aaaaaraaa-) Shoham Ben David (IBM) *
(aaaaaaaaa-) Yaron Wolfstal (IBM) *
(a.........) Dana Fishman (IBM)
(raaaa.....) Limor Fix (Intel) *
(aaaa......) Avner Landver (Intel) *
(aaaa......) Roy Armon (Intel) *
(aa........) Andreas Tiemeyer (Intel)
(aaaa-aaaaa) Carl Pixley (Motorola) *
(aaaaaaaaaa) Hillel Miller (Motorola) *
(a.........) John Havlicek (Motorola)
(aaa--aaaa-) Mike McNamara (Verisity) *
(aaaaaaaaa-) Matthew Morley (Verisity) *
(aaaaaaaaar) Yaron Kashai (Verisity) *
(aa........) David van Campenhout (Verisity)
Meeting Summary:
===============
(1) Discussed the status of the Requirements
Sub-committee. Two documents were mailed out to
the entire committee. The first document contains
a list of property language requirements that
the sub-committee identified. The entire
committee has been asked to review this list,
and catagorize each requirements as 'E' -
essential, 'N' - Nice-to-have, or 'D' - Drop.
I've asked that this review process be completed
by July 12.
The second document contains a set of example
properties which are referenced in the
requirements list document.
(2) Discussed the agenda for the July 17-th Paris
meeting:
a. Decide on a voting process for our language
selection.
b. We need to decide what our strategy is after
we select our language. In other words, do
we take the language as is -- or will we
merge elements from the other donated
languages. And if we merge features--how do
we validate its correctness? We need to
define a process for this.
c. Review Requirements and priority of the
requirements--review essential requirements
that are not support by the various donated
languages (if any).
d. Discuss Property Language Usage Models (do we
need to form a sub-committee to look into
usage? What is the process here.)
e. We need to define what our next steps will be
after language selection. Validation,
documentation, e.g., language reference
manual derivable, etc. We need to create a
realistic schedule--when will we present our
final language to the Accellera board for
approval. Etc.?
(3) Roy Armon presented the Intel ForSpec language.
Best regards,
-Harry
This archive was generated by hypermail 2b28 : Tue Jul 03 2001 - 08:48:59 PDT