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

Yes,

Lets change it to 

"(a, v = a) ##1 c[->1] ##1 b == v;"

Doron
-----Original Message-----
From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
Sent: Sunday, September 30, 2007 2:12 PM
To: Bustan, Doron; john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: RE: [sv-ac] call to vote on 1682

Isn't there a missing operator betweeen c[->1] and b==v ?
ed 

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of Bustan, Doron
> Sent: Sunday, September 30, 2007 4:57 AM
> To: john.havlicek@freescale.com; sv-ac@eda-stds.org
> Subject: RE: [sv-ac] call to vote on 1682
> 
> I vote yes on 1682 with the friendly amendment:
> 
> Page 2 at the first example replace
> 
> "(a, v = a) ##1 [->1] b == v;"
> 
> With
> 
> "(a, v = a) ##1 c[->1] b == v;" 
> 
> Doron
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On
> Behalf Of John Havlicek
> Sent: Tuesday, September 25, 2007 9:34 PM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] call to vote on 1682
> 
> Hi Folks:
> 
> This is the call to vote on the proposal for 1682.
> The document on Mantis is 
> 
> GlobalCLockPastNextValuefunctions1682_070912_dk.pdf
> 
> Please vote if you are eligible.  See the details below.
> 
> J.H.
> 
> --------------------------------------------------------------
> ----------
> ------
> 
> Ballot on Mantis 1682
> 
> - Called on 2007-09-25, final ballots due by 2007-10-02 T 23:59-07:00.
> 
> 
>  v[xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[---------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[xx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
> Chair)
>  v[xxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
> Co-Chair)
>  v[xx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor
> Graphics)
>  n[-----------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
>  n[---------x--xxx.....................] Joseph Lu (Altera)
>  v[xxxxxx..............................] Johan Martensson (Jasper)
>  n[--------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  v[-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
>  v[-x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[xx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun 
> Microsystems)
>    |------------------------------------ attendance on 2007-09-25
>  |-------------------------------------- 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)
> 		n = not 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.
> 
> 
> 
---------------------------------------------------------------------
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.