I vote yes on 1729 Doron -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek Sent: Thursday, August 23, 2007 12:26 AM To: sv-ac@server.eda-stds.org Subject: [sv-ac] call to vote on 1729 Hi Folks: This is the call to vote on the revised proposal for 1729 that addresses feedback from the champions. Please note that the e-mail ballot closes at 04:00 PDT on 2007-08-24 as we agreed in our meeting on 2007-08-21. The updated proposal is ImmediateAssertAssumeCover1729_070822.pdf on mantis and was also attached to a recent mail from Ed. Please vote if you are eligible. See the details below. J.H. ------------------------------------------------------------------------ ------ Ballot on Mantis 1729 - Called on 2007-08-22, final ballots due by 04:00 PDT on 2007-08-24. v[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) v[xxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[x-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[----x--xxx.....................] Joseph Lu (Altera) n[x..............................] Johan Martensson (Jasper) n[---------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------- attendance on 2007-08-21 |--------------------------------- voting eligibility for this ballot |---------------------------------- email ballots received Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3) n = not valid voter t = chair eligible to vote only to make or break a tie -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Aug 22 21:15:19 2007
This archive was generated by hypermail 2.1.8 : Wed Aug 22 2007 - 21:15:35 PDT