RE: [sv-ac] ballot result for 1932

I have address the friendly amendments the day they were written

Doron

>>-----Original Message-----
>>From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
>>Behalf Of John Havlicek
>>Sent: Monday, February 11, 2008 3:27 PM
>>To: sv-ac@server.eda.org
>>Subject: [sv-ac] ballot result for 1932
>>
>>Hi Folks:
>>
>>Our e-mail vote on 1932 passed with minor friendly amendments.
>>
>>See the results below.
>>
>>J.H.
>>
>>----------------------------------------------------------------------
----
>>--------
>>Ballot on Mantis 1932
>>
>>- Called on 2008-01-31, final ballots due by 2008-02-06 T 23:59-08:00.
>>
>>yv[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
>>(Intel)
>>yv[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
>>(Synopsys)
>> n[------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani
>>(Synopsys)
>> v[-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
>>(Freescale)
>> t[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
>>(Freescale - Chair)
>>yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny
>>(Intel - Co-Chair)
>> v[xxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
>>Kulshrestha (Mentor Graphics)
>> n[-x-------------------------------------------------] Ah-Lam Lee
>>(Qualcomm)
>> n[--------------------------------xxxxx-------x-xx-x-] Jiang Long
(Mentor
>>Graphics)
>> n[-----------x------------x--xxx.....................] Joseph Lu
(Altera)
>> n[--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson
>>(Jasper)
>> n[-----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
>>(Freescale)
>>yv[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
>>(Cadence)
>>yv[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
>>(Intel)
>> n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
(Mentor
>>Graphics)
>>yv[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
>>(Synopsys)
>> v[xxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
(Sun
>>Microsystems)
>>   |--------------------------------------------------- attendance on
>>2008-01-29
>> |----------------------------------------------------- voting
eligibility
>>for this ballot
>>|------------------------------------------------------ e-mail votes
>>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:
>>
>>[ES]
>>
>>- Near end of 16.12.9 (p.11) , spacing seems messed up in one of the
>>paragraphs.
>>- 16.12.15 (p.18):  the English doesn't sound quite right in=20
>>
>>The property operators s_next, s_always, s_eventually, s_until,
>>s_until_with and strong sequence are strong:
>>
>>  and in the corresponding later sentence for 'weak'.  Maybe this
>>phrasing would be better?:
>>
>>The property operators s_next, s_always, s_eventually, s_until,
>>s_until_with and sequence operator strong are strong:
>>
>>--
>>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.