RE: [sv-ac] call for email vote on motion regarding Mantis 1728

Hi John,

I do vote yes. I suggest we add more wording to motivate why we are
sending to BC and that is the use in procedural code i.e. other language
contexts outside of assertions, that's the intent right ?

Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, March 27, 2007 12:37 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call for email vote on motion regarding Mantis 1728

All:

This is the call to vote on Ed's motion regarding Mantis 1728.

The text of the motion is below -- I made some very small editorial
changes to the English.

Please vote if you are eligible.  See details below.

J.H.


Ballot on the following motion:

"The P1800 SV-AC committee members consider that the concept of the
'let' statement as expressed in the Mantis item 1728 draft proposal is
very useful for defining effective assertions and assertion libraries.
Therefore, the committee recommends that the SV-BC committee consider
the proposal and work with SV-AC to formulate an effective enhancement
proposal for the IEEE 1800-2008 standard."

- Called on 2007-03-27, final ballots due by 23:59 PDT on 2007-04-03.

 v[xxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
 v[xxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
 n[--------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
v[-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
t[xxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
v[xxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
v[xxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
n[--xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
n[--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
v[xx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)  v[x-x..................]
Erik Seligman (Intel)  n[----xxxx-xx----------] Tej Singh (Mentor
Graphics)  v[xxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
v[xxxxxx...............] Tom Thatcher (Sun Microsystems)
   |--------------------- attendance on 2007-03-27
 |----------------------- 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.


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