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.