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

I vote yes on 2100 with the following minor friendly amendments:

1. In the objectives it should be:

   "The synchronous aborts accept_if and reject_if are similar to    
   asynchronous aborts accept_on and reject_on"

2. At 16.12 Declaring properties, the original line for 
   "- An always procedure or initial procedure as a statement, wherever

    these procedures may blocks can appear" is missing

3. 16.13.2 Multiclocked properties - changes need color

4. Annex E, should be accept_f reject_if

Doron

>>-----Original Message-----
>>From: John Havlicek [mailto:john.havlicek@freescale.com]
>>Sent: Wednesday, February 13, 2008 1:28 PM
>>To: sv-ac@eda.org
>>Cc: Bustan, Doron; eduard.cerny@synopsys.com;
yaniv.fais@freescale.com;
>>john.havlicek@freescale.com; Korchemny, Dmitry;
>>Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
>>piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com;
>>thomas.thatcher@sun.com
>>Subject: call to vote on 2100
>>
>>This is the call to vote on 2100.
>>The document on Mantis is 2100_SynchronousAborts_080205dk_yf.pdf.
>>
>>----------------------------------------------------------------------
----
>>--------
>>Ballot on Mantis 2100
>>
>>- Called on 2008-02-13, final ballots due by 2008-02-18 T 23:59-08:00.
>>- Please ensure that Dmitry Korchemny receives your ballot.
>>
>> v[-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
>>(Intel)
>> v[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
>>(Synopsys)
>> n[--------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani
>>(Synopsys)
>> v[xx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
>>(Freescale)
>> t[xxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John
Havlicek
>>(Freescale - Chair)
>> v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny
>>(Intel - Co-Chair)
>> v[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------------x--xxx.....................] Joseph Lu
>>(Altera)
>> n[-x--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson
>>(Jasper)
>> n[-------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel
Miller
>>(Freescale)
>> v[xxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
>>(Cadence)
>> v[xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik
Seligman
>>(Intel)
>> n[-----------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
>>(Mentor Graphics)
>> v[xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
Tabbara
>>(Synopsys)
>> v[xxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
>>(Sun Microsystems)
>>   |----------------------------------------------------- attendance
on
>>2008-02-12
>> |------------------------------------------------------- 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
---------------------------------------------------------------------
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.