Subject: RE: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed upon in Paris
From: Armoni, Roy (roy.armoni@intel.com)
Date: Sat Aug 04 2001 - 23:14:38 PDT
I vote YES for motion 1.
-----Original Message-----
From: Harry Foster [mailto:foster@rsn.hp.com]
Sent: Friday, August 03, 2001 12:14 AM
To: vfv@eda.org
Subject: Accellera FV: Motion 1 -- Confirm Language Selection Process agreed
upon in Paris
Accellera Formal Verification Technical Committee - "Significant Issue"
Ballot
The following motion is being put forward for ballot by the current voting
members of the Accellera Formal Verification Technical Committee. This
motion was deemed "significant issues" in the August 2, 2001 meeting. The
ByLaws adopted in the September 2000 meeting of the Committee state that any
vote on a "significant issue" must be held by email, and 80% of the voting
membership must cast a 'yes' ballot for these motions to be accepted. This
vote is being held in accordance with that requirement.
For the record, this motion should be considered made by Erich Marschner,
seconded by Harry Foster.
According to the ByLaws, a Voting Member of the Committee is anyone who has
attended three of the last four Committee meetings, whether in person or by
telephone. The roll of Voting Members who are entitled to vote in this
ballot appears below.
Votes should be emailed to <vfv@eda.org> and must be received no later than
12:00 midnight PST on August 8th.
==========================
Motion 1:
To confirm the decision made in the Committee meeting in Paris on July 17,
2001, to selection "Option 2" as the process for selection of one of the
four proposed languages as the basis for a standard language. For reference,
"Option 2" and its rationale, as described in the minutes of the July
meeting, is as follows:
>>>>
Option 2:
- committee selects two base languages by vote
- committee identifies desired changes
- each donor independently defines and plans changes
- committee votes to accept one of the base language & plan for changes
- selected donor extends base language definition to include changes
- committee verifies that changes have been completed and submits the
language as a proposed std.
The rationale for this process includes the following:
- maintaining competitive pressure (by selecting 2 languages for the next
round) will help encourage a better result
- only the team that designed a given language can effectively make changes
to it
- the team/language selected to execute their plan must be assured that the
requirements are stable, and that the result will be submitted
<<<<
A vote 'yes' for Motion 1 is a vote to reaffirm the decision taken at the
Paris meeting. A vote 'no' for Motion 1 is a vote to revoke the decision
taken at the Paris meeting.
Voting Members: (NOTE: If you feel this list is in error please gently send
me email....).
============
(aaa.........) Bassam Tabbara (Novas)
(aaaaaa......) Bernard Deadman (SDV) *
(aaaaaa-aaaaa) Ed Clarke (CMU) *
(aaaaaa-aaaaa) Erich Marschner (Cadence) *
(aaaaaaaaaaaa) Harry Foster (HP) *
(rraaaa----rr) K.C.Chen/BowYaw Wang (Verplex) *
(aaaaaa......) Moshe Vardi (Rice) *
(aaraa-aaa...) Michael Siegel - (Siemens) *
(aaraaaaa---a) Peter Flake (Co-Design) *
(a-aa........) Sandeep Shukla (UC Irvine)
(r-raaaaraaaa) Tom Anderson (0-in) *
(raaaararaaa-) Cindy Eisner (IBM) *
(a-aaaaaaaaaa) Danny Geist (IBM) *
(araaaaaraaa-) Shoham Ben David (IBM) *
(aaaaaaaaaaa-) Yaron Wolfstal (IBM) *
(aaraaaa.....) Limor Fix (Intel) *
(aaaaaa......) Avner Landver (Intel) *
(aaaaaa......) Roy Armoni (Intel) *
(aaaaaaaaaaaa) Hillel Miller (Motorola) *
(a-aaa--aaaa-) Mike McNamara (Verisity) *
(aaaaaaaaaaa-) Matthew Morley (Verisity) *
(a-aaaaaaaaar) Yaron Kashai (Verisity) *
(-aaa........) David Van Campenhout (Verisity) *
(aaa.........) Dana Fisman (IBM) *
Non-Voting Members:
================
(--aa........) Andreas Tiemeyer (Intel)
(--aaaa-aaaaa) Carl Pixley (Motorola)
(--a.........) John Havlicek (Motorola)
(aa..........) Atanas Parashkeven - Motorola
(-a---a---a-a) Vassilios Gerousis (Infineon)
(-a..........) Simon Davidman - (Co-Design)
(--a-aaaaa...) Prakash Narain - (RealIntent)
(--aa........) Axel Scherer (Cadence)
(a...........) E. Allen Emerson (UT)
(a...........) Karen Yorav (Galileo)
NOTE: The committee inactive members (i.e., haven't attended any of the last
four meetings yet are still on the mailing list) are not listed above.
This archive was generated by hypermail 2b28 : Sat Aug 04 2001 - 23:19:38 PDT