Hi Manisha, it is the resolved erratum #1677. ed > -----Original Message----- > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On > Behalf Of Kulshrestha, Manisha > Sent: Thursday, June 28, 2007 7:42 AM > To: john.havlicek@freescale.com; sv-ac@eda-stds.org > Subject: RE: [sv-ac] call to vote on Mantis 1731 > > Hi Dimitry, > > This proposal has definition of $changed. I do not see any > $changed in draft3. Is it something new (part of some other > proposal ?). > > - $changed(e,c) ´ $past(e,1,1,c) !== e. > > Thanks. > Manisha > > -----Original Message----- > From: owner-sv-ac@server.eda.org > [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek > Sent: Wednesday, June 27, 2007 12:01 AM > To: sv-ac@server.eda-stds.org > Subject: [sv-ac] call to vote on Mantis 1731 > > All: > > This is the call to vote on the proposal for Mantis 1731. > > Please vote if you are eligible. See the details below. > > J.H. > > --------------------------------------------------------------------- > > Ballot on Mantis 1731 > > - Called on 2007-06-26, final ballots due by 23:59 PDT on 2007-07-03. > > v[xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) > v[xxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) > v[x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) > v[xxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) > t[xxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) > v[xxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) > v[-xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) > n[--------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) > n[x--xxx.....................] Joseph Lu (Altera) > n[-----x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) > v[xxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) > v[x-xxxxx-x..................] Erik Seligman (Intel) > v[-xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) > v[xxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) > v[x-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) > |--------------------------- attendance on 2007-06-26 > |----------------------------- 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 or at least > 3/4 overall) > 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. > > > -- > 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 Thu Jun 28 06:45:38 2007
This archive was generated by hypermail 2.1.8 : Thu Jun 28 2007 - 06:45:58 PDT