Thanks Dmitry I upload a fixed version Doron -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry Sent: Thursday, October 11, 2007 1:16 PM To: john.havlicek@freescale.com; sv-ac@server.eda.org Subject: RE: [sv-ac] call to vote on 1758 I vote yes on 1758 with the following friendly amendments: * Page 2. The text from "At 16.12 just before the itemized list." to "WITH" should be in black. Fix also the indentation. * Page 2. To make the enhancement consistent with the rest of the text, change "Property resets are" -> "A property is a reset if it has either the form ... or the form ..." * The keywords in the text should be in courier bold 9 * Page 3. outer most -> outermost * I would change "two nested operators conditions" -> "two nested operator conditions" * "can contain" -> "may contain"? * Page 4. Terminals should be in red in the BNF * Page 5. Need to fix a font for accept_on for P:== * Page 6. "Some letter i" -> "Some letter w^i" (same on the page 7) * Page 7. Fix fonts at the beginning of the page Thanks, Dmitry -----Original Message----- From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek Sent: Thursday, October 11, 2007 4:11 AM To: sv-ac@server.eda.org Subject: [sv-ac] call to vote on 1758 Hi Folks: This is the call to vote on the update 1758 proposal. Please vote if you are elibigle. See the details below. J.H. ------------------------------------------------------------------------ ---------------- Ballot on Mantis 1757 - Called on 2007-10-10, final ballots due by 2007-10-17 T 23:59-07:00. v[xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[----------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) v[xxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[xxx-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) v[xxxxxxx..............................] Johan Martensson (Jasper) n[---------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[x-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[xxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------- attendance on 2007-10-09 |--------------------------------------- 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 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. --------------------------------------------------------------------- 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. --------------------------------------------------------------------- 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.
This archive was generated by hypermail 2.1.8 : Thu Oct 11 2007 - 09:03:23 PDT