I vote yes. Thanks. Manisha -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek Sent: Monday, November 05, 2007 11:16 PM To: sv-ac@server.eda.org Subject: [sv-ac] reminder to vote Hi Folks: This is a reminder that we have 4 ballots closing at 2007-11-05 T 23:59-0800: 1648, 1731, 1737, and 1757. The results that I have received so far are below. J.H. ------------------------------------------------------------------------ ---------- Ballot on Mantis 1648 - Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00. v[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[------------x--xxx.....................] Joseph Lu (Altera) yv[xxxxxxxxx..............................] Johan Martensson (Jasper) n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |--------------------------------------- attendance on 2007-10-23 |----------------------------------------- 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 1731 - Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00. yv[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[------------x--xxx.....................] Joseph Lu (Altera) yv[xxxxxxxxx..............................] Johan Martensson (Jasper) n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |--------------------------------------- attendance on 2007-10-23 |----------------------------------------- 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 1737 - Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00. yv[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) yv[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[------------x--xxx.....................] Joseph Lu (Altera) yv[xxxxxxxxx..............................] Johan Martensson (Jasper) n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) yv[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |--------------------------------------- attendance on 2007-10-23 |----------------------------------------- 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 [DB] Page 2 first new paragraph - "if one exists" should not be in bold. Page 3 at the example - "is equivalent to" should be in times new roman. Page 3 at the equivalent part of the example, I think that you need the "bit a;" declaration (same for "logic a;" at the second example). Page 4 at the second paragraph I think that the if/if-else/if-else-if/ case/casex/casez should be in bold (not sure) Page 5 first paragraph - should "e.g." be "i.e." ? [DK] Page 4. "If the bit variables in the previous examples are replaced with a logic variables" --> "If the bit variables in the previous examples are replaced with logic variables", also logic should be in bold courier 9. Later in this statement: "else clause", "else" should be in bold courier 9. "r1, r2, r3, and r4 are property_expr". r1, r2, r3, and r4 should be in courier 9, property_expr should be in italic. Same note regarding page 5. "that s1 and s2 are sequence_expr, and the code is as follows". s1 and s2 should be in bold courier 9, sequence_expr should be in italic. Same note regarding page 5. "The equivalent code must account for 4-state semantics of "a"." a should be in courier 9 without quotes. Page 5. " length of "a"" a should be in courier 9 without quotes. [YF] extra bracket on page 3 (twice): cs: cover sequence (s1)); ... e_cs: cover sequence (s2)); Page 5: cs: cover sequence !(a===2'b01 || a===2'b10) ##0 s1 Should be: cs: cover sequence (!(a===2'b01 || a===2'b10) ##0 s1); ------------------------------------------------------------------------ ---------- Ballot on Mantis 1757 - Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00. yv[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) yv[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[------------x--xxx.....................] Joseph Lu (Altera) yv[xxxxxxxxx..............................] Johan Martensson (Jasper) n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) yv[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |--------------------------------------- attendance on 2007-10-23 |----------------------------------------- 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: [DK] The assertion (page 3): assert property (go ##1 get[*2] |-> reject_on(stop) put[->2]); requires a clock: assert property (@clk go ##1 get[*2] |-> reject_on(stop) put[->2]); [JM] Beginning of 16.12.3: ================================================= REPLACE (Two not three differences) The semantics of accept_on is similar to disable iff, except for the following three differences: accept_on operates at the property level rather than the verification statement level accept_on uses sampled values WITH The semantics of accept_on is similar to disable iff, except for the following two differences: accept_on operates at the property level rather than the verification statement level accept_on uses sampled values Explanation of examples: ============================ property p; (accept_on(a) p1) and (reject_on(b) p2); endproperty ---------------------------------------------------------------- REPLACE (Irrelevant whether second operand completes) If a becomes true during the evaluation of p1 and the second term of the and operation completed evaluation, the truth of p1 is ignored in deciding the truth of p. WITH If a becomes true during the evaluation of p1, the truth of p1 is ignored in deciding the truth of p. REPLACE ('p2' missing) deciding the truth of p. On the other hand, if b becomes true during the evaluation of then p evaluates to false. WITH deciding the truth of p. On the other hand, if b becomes true during the evaluation of p2 then p evaluates to false. property p; (accept_on(a) p1) or (reject_on(b) p2); endproperty ---------------------------------------------------------------- REPLACE (Irrelevant whether first operand completes) If a becomes true during the evaluation of p1 then p evaluates to true. On the other hand, if b becomes true during the evaluation of p2 and the first term completed evaluation then the second term is ignored in deciding the truth of p WITH If a becomes true during the evaluation of p1 then p evaluates to true. On the other hand, if b becomes true during the evaluation of p2 then the second term is ignored in deciding the truth of p -- 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 Mon Nov 5 11:21:47 2007
This archive was generated by hypermail 2.1.8 : Mon Nov 05 2007 - 11:21:55 PST