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. > > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sun Sep 30 05:12:42 2007
This archive was generated by hypermail 2.1.8 : Sun Sep 30 2007 - 05:12:48 PDT