Subject: Re: [sv-ac] SVAC 2/24 Ballot - Deadline Monday 9pm Pacific
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Mon Feb 24 2003 - 04:18:01 PST
steve,
here is my vote:
item 1: yes
item 1.1: yes
item 2: no
item 3: issue withdrawn, no vote needed
item 4: yes *
item 9a: yes
item 9b: no
item 10a: yes
item 10b: no
item 11: yes
* assuming the caveat " for a standalone property (not embedded in
procedural code)"
regards,
cindy.
Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com
Stephen Meier <Stephen.Meier@synopsys.com>@eda.org on 24/02/2003 01:29:53
Sent by: owner-sv-ac@eda.org
To: SV-ac <sv-ac@eda.org>
cc:
Subject: [sv-ac] SVAC 2/24 Ballot - Deadline Monday 9pm Pacific
Hi:
Here is updated ballot, please send ballot with vote by 9pm Pacific Monday
2/24.
The only change is that issue #3 is withdrawn on the basis that the
semantics group has made motion that the 'never' keyword will be changed to
'not'. This issue (#13) requires DWG meet to ratify.
Synopsys and the TCC have made motion for this ballot to be a major vote.
A major vote restricts voting to 1 vote per Accellera member company with
attendance record.
Here is my record of who is eligible to vote: Steve Meier (Synopsys,
Co-Chair) Roy Armoni (Intel) John Havlicek (Motorola) Joseph Lu (Sun)
Bassam Tabbara (Novas) Prakash Narain (Real Intent) Tej Singh (Mentor)
Cindy Eisner (IBM) Richard Ho (0-in) Erich Marschner (Cadence) David
Lacey (HP, OVL Chairman) Cannot vote - Not an Accellera member company
Connie O'dell (Consultant)
Adam Krolnik (LSI)
Faisal Hauque (Cisco) - Faisal will break tie if necessary with
user input as SV-AC Chair
Please send votes directly to me, I will tally and send out record of
voting results.
Steve
Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell:
408-393-8246
This archive was generated by hypermail 2b28 : Mon Feb 24 2003 - 04:16:04 PST