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

I vote 'no' on 1729. 

The reason is that clause 16.3 has already been re-written in 1641
(which is already passed by sv-ac and went to sv-bc with some comments
from sv-bc which require even more changes in this section. I am going
to work on it. Somehow Matt forgot to assign this item back to sv-ac so
we did not hear about it for a long time). 

This proposal will have to be changed based on 1641.

Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Saturday, September 29, 2007 2:53 AM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] call to vote on 1729

Hi Folks:

Ed Cerny and I made several passes over 1729, and I think
it is ready to re-vote.  This is the call to vote.

The document on Mantis is

ImmediateAssertAssumeCover1729_070927_jhec.pdf.

Please vote if you are eligible.  See the details below.

J.H.

------------------------------------------------------------------------
-------

Ballot on Mantis 1729 

- Called on 2007-09-28, final ballots due by 2007-10-05 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)
 n[-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.