Hi Folks: Below are the compiled results of our activity and ballots on various proposals based on feedback from the Champions. J.H. =========================================================================== RESULTS OF SV-AC ACTIVITY IN RESPONSE TO FEEDBACK FROM THE CHAMPIONS 1466: Revised, passed by e-mail ballot 2007-08-24, 6y/0n/3a. Revised proposal is 1466_shortcuts.pdf in Mantis. 1550: Revised, passed by e-mail ballot 2007-08-24, 5y/0n/4a. Revised proposal is Sampled1550.070822.pdf in Mantis. 1567: Revised, passed by voice vote 2007-08-21, 7y/0n/0a. The chair was not eligible. Revised proposal is proposal-1567-2007-08-21.doc in Mantis. 1591: Revised, passed by e-mail ballot 2007-08-24, 7y/0n/2a. Revised proposal is proposal-1591-2007-08-22.doc in Mantis. 1601: Revised, passed by e-mail ballot 2007-08-24, 8y/0n/1a. Revised proposal is 1601_3.pdf in Mantis. 1704: Revised, passed by e-mail ballot 2007-08-24, 8y/0n/1a. Revised proposal is 1704_5.pdf in Mantis. 1722: Revised, passed by e-mail ballot 2007-08-24, 7y/0n/2a. Revised proposal is 1722-bind_clarifications_draft3a-3.pdf in Mantis. 1729: Revised, passed by e-mail ballot 2007-08-24, 7y/0n/2a. Revised proposal is ImmediateAssertAssumeCover1729_070822.pdf in Mantis. 1768: Reviewed by LP, DB, JH. There was only one friendly amendment and that was incorporated. No revision is required. --------------------------------------------------------------------------- Ballot on Mantis 1466 - Called on 2007-08-22, final ballots due by 04:00 PDT on 2007-08-24. yv[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[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) yv[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) yv[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[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 --------------------------------------------------------------------------- Ballot on Mantis 1550 - Called on 2007-08-22, final ballots due by 04:00 PDT on 2007-08-24. yv[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[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) yv[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[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 --------------------------------------------------------------------------- Ballot on Mantis 1591 - Called on 2007-08-21, final ballots due by 04:00 PDT on 2007-08-24. yv[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[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) yv[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[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 --------------------------------------------------------------------------- Ballot on Mantis 1601 - Called on 2007-08-23, final ballots due by 04:00 PDT on 2007-08-24. yv[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[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) yv[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) yv[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[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 --------------------------------------------------------------------------- Ballot on Mantis 1704 - Called on 2007-08-21, final ballots due by 04:00 PDT on 2007-08-24. yv[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[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) yv[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) yv[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[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 --------------------------------------------------------------------------- Ballot on Mantis 1722 - Called on 2007-08-22, final ballots due by 04:00 PDT on 2007-08-24. yv[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[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) yv[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[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 --------------------------------------------------------------------------- Ballot on Mantis 1729 - Called on 2007-08-22, final ballots due by 04:00 PDT on 2007-08-24. yv[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[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) yv[xxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[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.Received on Fri Aug 24 16:00:15 2007
This archive was generated by hypermail 2.1.8 : Fri Aug 24 2007 - 16:00:50 PDT