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

Fixed

 

Doron

 

________________________________

From: Seligman, Erik 
Sent: Thursday, January 31, 2008 10:36 PM
To: john.havlicek@freescale.com; sv-ac@eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
Korchemny, Dmitry; Manisha_Kulshrestha@mentor.com;
johan.martensson@jasper-da.com; piper@cadence.com;
bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
Subject: RE: call to vote on 1932

 

I vote yes.

Minor friendly amendements:

- 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 

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:

 

 

 



-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com]
Sent: Thursday, January 31, 2008 10:41 AM
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 1932

Hi Folks:

This is the call to vote on the revised version of 1932.

The documents on Mantis are

   LTL.1932.080129.pdf
   LTL_Formal.080128.pdf

Please vote if you are eligible.  See details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 1932

- Called on 2008-01-31, final ballots due by 2008-02-06 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[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)
v[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)  v[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa
Piper (Cadence)  v[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................]
Erik Seligman (Intel)
n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)  v[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

---------------------------------------------------------------------
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.