Hi all, We had ballot close on * 1728 - Passed, there were friendly amendments * 1757 - Passed, there were friendly amendments * 1549 - Passed conditionally, needs a confirmation * 1898 - Passed * 1533 - Passed * 2033 - Failed * 1503 - Failed See the results below. Dmitry P.S. There were several timing inconsistencies in my previous mail, and they affected some of the ballot results. This is the corrected version. ------------------------------------------------------------------------ ---------- Ballot on Mantis 1728 - Called on 2007-11-13, final ballots due by 2007-11-20 T 23:59-07:00. yv[xxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[---------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[x-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yv[xxxxxxxx-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) v[xxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[--------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) yv[xxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) v[x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------ attendance on 2007-11-13 |-------------------------------------------- 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 ------------------------------------------------------------------------ ---------- Friendly Amendments [LP] a. vpiDefLineNo is type "str" instead of "int". (similar change is being done in 1503) b. change the title "declaration location" to "definition location" as in property and sequence definitions. c. Also, what is "block identifier"? Instances do not have labels. It should be name. (similar change is being done in 1503) d. the ->name str:vpiName under the identifier is not needed. This is defined on the sequence declaration and should not be re-defined. It is defined in one location only, and that location is in bold. ------------------------------------------------------------------------ ---------- Ballot on Mantis 1757 - Called on 2007-11-20, final ballots due by 2007-11-26 T 23:59-08:00. yv[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yv[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[xxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xx-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) n[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-20 |--------------------------------------------- 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 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie Friendly Amendments [EC] The semantics of_reject_on(expression) property_expr are the same as not(accept_on(expression) not(property_expr)). should it be ? The semantics of_reject_on(expression_or_dist) property_expr are the same as not(accept_on(expression_or_dist) not(property_expr)). [JM] 16.12.3 Abort properties 1) I think 'semantics' is in the singular in this context. 2) Misspelling of expression_or_dist REPLACE The semantics of reject_on(expression_or_dits) property_expr are the same as not(accept_on(expression_or_dist) not(property_expr)). WITH The semantics of reject_on(expression_or_dist) property_expr is the same as not(accept_on(expression_or_dist) not(property_expr)). The first and second example (after the "For example," that is on a row of its own) are duals but the explanations are slightly different. The first states "the truth of p1 is ignored in deciding the truth of p", and the second one says "then the second term is ignored in deciding the truth of p". I think both should be explained in the same way otherwise some may think there is some essential difference. For example (explanation to the first example.) REPLACE If a becomes true during the evaluation of p1, the truth of p1 is ignored in deciding the truth of p On the other hand, if b becomes true during the evaluation of p2 then p evaluates to false. WITH If a becomes true during the evaluation of p1, then the first term is ignored in deciding the truth of p On the other hand, if b becomes true during the evaluation of p2 then p evaluates to false. [DK] Fix fonts on Page 3, in the formula: assert property (@(clk) go ##1 get[*2] |-> reject_on(stop) put[->2]); Only "assert", "property" and "reject_on" should be bold. ------------------------------------------------------------------------ ---------- Ballot on Mantis 1549 - Called on 2007-11-20, final ballots due by 2007-11-26 T 23:59-08:00. yv[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yv[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) v[xxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xx-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) n[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-20 |--------------------------------------------- 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 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie Note: DK sent the e-mail with his vote several hours late, without his vote the proposal would have failed. ------------------------------------------------------------------------ ---------- Ballot on Mantis 1898 - Called on 2007-11-20, final ballots due by 2007-11-26 T 23:59-08:00. yv[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yv[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) v[xxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xx-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) n[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-20 |--------------------------------------------- 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 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie Note: DB sent the e-mail with his vote several hours late, but the proposal passes even without his vote. ------------------------------------------------------------------------ ---------- Ballot on Mantis 1533 This vote is for the state change to "resolved,duplicate" as subsumed by 1668. - Called on 2007-11-20, final ballots due by 2007-11-26 T 23:59-08:00. yv[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yv[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) v[xxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xx-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) n[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-20 |--------------------------------------------- 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 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie ------------------------------------------------------------------------ ---------- Ballot on Mantis 2033 - Called on 2007-11-21, final ballots due by 2007-11-26 T 23:59-08:00. yv[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yv[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) v[xxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xx-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) n[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-20 |--------------------------------------------- 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 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie Note: DK sent the e-mail with his vote several hours late, but even with his vote the proposal failed. ------------------------------------------------------------------------ --------- Ballot on Mantis 1503 - Called on 2007-11-21, final ballots due by 2007-11-26 T 23:59-08:00. yv[xxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) yv[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) v[xxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[---------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xx-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[-x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) n[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) yv[xxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-20 |--------------------------------------------- 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 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie Note: DK and DB sent the e-mail with their votes several hours late, but even with their votes the proposal failed. Friendly amendments: [DK] * 38.3.2 Obtaining static assertion information, Page 7 I think that "Sequence Instance" should be "Sequence instance", and "Property Instance" should be "Property instance". Also, why "ImmediateAssert" is written as one word (this is the original text). It is not defined anywhere, there is vpiImmediateAssert. * 38.4.2, Page 8. It is written: - cbAssertionSuccess. An assertion attempt reaches a success state. For property or sequence instances, success is a match. - cbAssertionFailure. An assertion attempt fails to reach a success state. For property or sequence instances, failure is no match. The second sentence is ambiguous: does cbAssertionFailure relate to each time point where the sequence does not match or to the time point where it is detected that the sequence cannot be matched? I think that the latter is correct. Also it is better to talk about the success state of a property instead of the match. I would formulate it as: - cbAssertionSuccess. An assertion attempt or a property instance reaches a success state. For sequence instances, success is a match. - cbAssertionFailure. An assertion attempt or a property fails to reach a success state, or sequence instance fails to match. * New diagram on page 5: sequence expr (bottom right) should not have an underscore. --------------------------------------------------------------------- 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 Nov 27 05:03:34 2007
This archive was generated by hypermail 2.1.8 : Tue Nov 27 2007 - 05:04:15 PST