RE: [sv-ac] call to vote on 1758 - updated porposal with the amendment.

Hello, 
please find attached an updated proposal according to Lisa's amendment.
Also uploaded to Mantis.
 
Best regards
ed
 


________________________________

	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Lisa Piper
	Sent: Tuesday, October 16, 2007 2:42 PM
	To: john.havlicek@freescale.com; sv-ac@eda.org
	Subject: RE: [sv-ac] call to vote on 1758
	
	

	I vote yes with the friendly amendment that the word "is" in the
sentence

	below is in the font of "expression2" instead of the font for "a
shorthand.." (it does not show in what I copied from the PDF below)

	 

	"The logical implication expression1 -> expression2 is a
shorthand .."

	 

	Lisa

	 

	-----Original Message-----
	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of John Havlicek
	Sent: Wednesday, October 10, 2007 10:11 PM
	To: sv-ac@eda.org
	Subject: [sv-ac] call to vote on 1758

	 

	Hi Folks:

	 

	This is the call to vote on the update 1758 proposal.

	 

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

	 

	J.H.

	 

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

	 

	Ballot on Mantis 1757

	 

	- Called on 2007-10-10, final ballots due by 2007-10-17 T
23:59-07:00.

	 

	 v[xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)

	 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     

	 n[----------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)

	 v[xxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)

	 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)

	 v[xxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)

	 v[xxx-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[xxxxxxx..............................] Johan Martensson
(Jasper)

	 n[---------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)

	 v[xxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)

	 v[x-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)

	 n[--x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)

	 v[xxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)

	 v[xxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)

	   |------------------------------------- attendance on
2007-10-09

	 |--------------------------------------- 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 3/4 overall)

	                n = not a 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 <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.