Thanks Yaniv. I vote yes. Lisa ________________________________ From: Fais Yaniv [mailto:yaniv.fais@freescale.com] Sent: Sunday, June 29, 2008 1:22 PM To: Lisa Piper; Korchemny, Dmitry; sv-ac@eda.org Subject: RE: [sv-ac] call to vote on 2173 (reminder) Hi, please see my comments below. Yaniv ________________________________ From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Lisa Piper Sent: Sunday, June 29, 2008 17:17 To: Korchemny, Dmitry; sv-ac@eda.org Subject: RE: [sv-ac] call to vote on 2173 (reminder) I vote no on 2173 due to the following: 1. The version on Mantis is relative to draft 4. It needs to be updated to draft 6. [Fais Yaniv] posted an updated version on Mantis, The minor changes are of section numbers: a. changed 16.12 to 16.13 and Syntax box 16-14 to 16-16 b. "16.12.16 Case" to "16.13.16 Case" c. Syntax box 16-17 to 16-19 d. F.2.3.5 to F.3.4.5 2. There is no reference to VPI fixes [Fais Yaniv] The proposal was split to three before the previous vote, 2326 and 2327 add VPI,vacuity and multy clocks , this was decided based on champions feedback and also mentioned as a note in the top of page 3 3. When updated for draft 6, there are other places in the text that use "property_spec" that need to be updated. [Fais Yaniv] There is not intention to remove property_spec all together , see below 4. It seems that the definition of property_spec still exists, in addition to which there is now a property_statement_spec. It appears that I can only use "property_statement_spec" in the definition of a property. For example, the assert_property_statement::= assert property ( property_spec) action_block Why isn't this "property_statement_spec"? It is not clear when to use property_spec anymore? [Fais Yaniv] property_spec is used for verification statements (assert property (property_spec)) , this is because inside a verification statement there can't be a semicolon whereas inside a property declaration there must be, the property_statement_spec layer takes care of that (that didn't change since last vote) Lisa ________________________________ From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry Sent: Sunday, June 29, 2008 4:50 AM To: sv-ac@eda.org Subject: [sv-ac] call to vote on 2173 (reminder) Hi all, This is a reminder to vote. Dmitry ________________________________ From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry Sent: Monday, June 23, 2008 9:56 PM To: sv-ac@server.eda.org Subject: [sv-ac] call to vote on 2173 Hi all, This is the call to vote on the revised proposal for 2173 following the changes addressing the SV-BC feedback. The document on Mantis is 2173_prop_case_08_jun_23_yf.pdf Please, vote if you are eligible. Dmitry ------------------------------------------------------------------------ ---------- Ballot on Mantis 2173 - Called on 2008-06-23, final ballots due by 2008-06-29 T 23:59-08:00 PDT. v[x--x--xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[-xx-xxxx-xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----------------------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxx-xxxxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) v[-xxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale) t[xxxx-xxxxx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Chair) n[-----xxx--xx-x-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[----------------x-x-------------------------------------------------] Ah-Lam Lee (Qualcomm) n[-------------------------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[--x-xx-x--------------------x------------x--xxx.....................] Joseph Lu (Altera) n[--------------x-x--xxxxxxxxxxxxxxxxxxx............................] Johan Martensson (Jasper) n[----------------------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxxxxxx-xxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxxxxxx-xxxxxx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--------------------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[-xx-xxxx-x-x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems - Co-Chair) |------------------------------------------------------ attendance on 2008-06-23 |-------------------------------------------------------- voting eligibility on 2008-06-23 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 --------------------------------------------------------------------- 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. --------------------------------------------------------------------- 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 <http://www.mailscanner.info/> , and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner <http://www.mailscanner.info/> , and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner <http://www.mailscanner.info/> , 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 Jun 30 05:23:18 2008
This archive was generated by hypermail 2.1.8 : Mon Jun 30 2008 - 05:23:34 PDT