RE: [sv-ac] call to vote on 1757

Done

Thanks

Doron

>>-----Original Message-----
>>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
>>Behalf Of Eduard Cerny
>>Sent: Wednesday, November 21, 2007 5:30 PM
>>To: john.havlicek@freescale.com; sv-ac@server.eda.org
>>Subject: RE: [sv-ac] call to vote on 1757
>>
>>I vote yes, with a friendly amendment:
>>
>>ed
>>
>>The semantics ofreject_on(expression) property_expr are the same as
>>not(accept_on(expression) not(property_expr)).
>>
>>should it be ?
>>
>>The semantics ofreject_on(expression_or_dist) property_expr are the
>>same as
>>not(accept_on(expression_or_dist) not(property_expr)).
>>
>>> -----Original Message-----
>>> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
>>> Behalf Of John Havlicek
>>> Sent: Tuesday, November 20, 2007 3:52 PM
>>> To: sv-ac@eda.org
>>> Subject: [sv-ac] call to vote on 1757
>>>
>>> Hi Folks:
>>>
>>> This is the call to vote on the proposal for Mantis 1757.
>>>
>>> The document on Mantis is
>>>
>>>    AcceptRejecton1757.071107.pdf
>>>
>>> Please vote if you are eligible.  See the details below.
>>>
>>> J.H.
>>>
>>> --------------------------------------------------------------
>>> --------------------
>>> Ballot on Mantis 1757
>>>
>>> - Called on 2007-11-20, final ballots due by 2007-11-26 T
23:59-08:00.
>>>
>>>  v[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)
>>>  v[xxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
>>> Korchemny (Intel - Co-Chair)
>>>  v[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)
>>>  v[-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
>>> Tabbara (Synopsys)
>>>  v[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
>>>
>>>
>>> --
>>> 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.
---------------------------------------------------------------------
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.