Fixed Doron >>-----Original Message----- >>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On >>Behalf Of Korchemny, Dmitry >>Sent: Sunday, January 27, 2008 12:20 PM >>To: john.havlicek@freescale.com; sv-ac@server.eda.org >>Subject: RE: [sv-ac] call to vote on Mantis 1932 >> >>I vote yes on 1932 with the friendly amendments I sent in a separate >>email, and with the following friendly amendment: >> >>LTL_Formal.080115.pdf >> >>Page 11. >>"is implicitly *define* by unrolling *their* derivation" -> "is >>implicitly defined by unrolling their derivation" >> >>Dmitry >> >>-----Original Message----- >>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On >>Behalf Of John Havlicek >>Sent: Wednesday, January 16, 2008 4:00 AM >>To: sv-ac@server.eda.org >>Subject: [sv-ac] call to vote on Mantis 1932 >> >>Hi Folks: >> >>This is the call to vote on the proposal for Mantis 1932. Note that >>this ballot runs until 2008-01-28, but do not delay since we are >>running out of time! >> >>The documents on Mantis are >> >> LTL.1932.080115.pdf >> LTL_Formal.080115.pdf >> >>Please vote if you are eligible. See details below. >> >>J.H. >> >>---------------------------------------------------------------------- -- >>---------- >>Ballot on Mantis 1932 >> >>- Called on 2008-01-15, final ballots due by 2008-01-28 T 23:59-08:00. >> >> v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan >>(Intel) >> v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny >>(Synopsys) >> n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani >>(Synopsys) >> v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais >>(Freescale) >> t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek >>(Freescale - Chair) >> v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny >>(Intel - Co-Chair) >> v[xxxxx-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[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson >>(Jasper) >> n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller >>(Freescale) >> v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper >>(Cadence) >> v[xxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman >>(Intel) >> n[-------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor >>Graphics) >> v[xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara >>(Synopsys) >> v[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun >>Microsystems) >> |------------------------------------------------- attendance on >>2008-01-15 >> |--------------------------------------------------- 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. >> -- 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 : Mon Jan 28 2008 - 03:20:52 PST