Hi all, We had ballot close on * 1648 - Passed * 1728 - Passed, there were friendly amendments * 1757 - Passed, there were friendly amendments See the results below. Dmitry ------------------------------------------------------------------------ ---------- Ballot on Mantis 1648 - Called on 2007-11-27, final ballots due by 2007-12-03 T 23:59-08:00. yv[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) t[xxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[-------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[----x------------x--xxx.....................] Joseph Lu (Altera) yv[xxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[----------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) yv[-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) yv[x-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[x-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-27 |--------------------------------------------- voting eligibility for this ballot |---------------------------------------------- new voting eligibility 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 1728 - Called on 2007-11-27, final ballots due by 2007-12-03 T 23:59-08:00. yv[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) t[xxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[-------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[----x------------x--xxx.....................] Joseph Lu (Altera) yv[xxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[----------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) yv[-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) yv[x-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[x-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-27 |--------------------------------------------- voting eligibility for this ballot |---------------------------------------------- new voting eligibility 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 Friendly Amendments [LP] In 36.76, vpiDefFile should be type "str" and vpiDefLineNo should be type "int". REPLACE -> definition location int : vpiDefFile str : vpiDefLineNo WITH -> definition location str : vpiDefFile int : vpiDefLineNo ------------------------------------------------------------------------ ---------- Ballot on Mantis 1757 - Called on 2007-11-27, final ballots due by 2007-12-03 T 23:59-08:00. yv[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) t[xxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[-------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[----x------------x--xxx.....................] Joseph Lu (Altera) yv[xxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[----------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) yv[-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[x-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[x-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-27 |--------------------------------------------- voting eligibility for this ballot |---------------------------------------------- new voting eligibility 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 Friendly Amendments [LP] 1. I think the changes to 16.5 should be removed. This text is disable iff, not accept_on/accept_off. And if it stays, then 1648 will need to change its reference relative to whether or not this was adopted. Also, I see no reason that 1648 would not get adopted now that we have changed it from "default disable" to "default disable iff". 2. In the following sentence, the word "may" should be "shall" (twice): "While a disable condition of a disable iff in a property_spec may cause an evaluation of the property_spec to be disabled, an abort condition of accept_on in a property_expr may cause the evaluation of the property_expr to be true." 3. The following sentence should be deleted because the example shown below it does not show nested operators and more importantly it is repeated again with an appropriate example a few lines down: " In particular, when reject_on ( or accept_on) appears in nested properties, the outermost abort condition takes precedence over inner abort conditions." 4. In 36.45, should "property expr" be "property_expr" (underscore separated and italics)? 5. In the text you have that the semantics of reject_on(b) is : not(accept_on(expression_or_dist) not(property_expr)). But in F.2.3 you have - ( reject_on ( b ) P) = ( not accept_on (b) not P ) I'm not sure if the additional parenthesis in the text is significant :-) I understand the version with parenthesis without having to go back and study the precedence to see if it matters. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Dec 4 02:37:54 2007
This archive was generated by hypermail 2.1.8 : Tue Dec 04 2007 - 02:38:23 PST