RE: [sv-ac] call for vote on mantis 1460

From: Lisa Piper <piper_at_.....>
Date: Thu Feb 22 2007 - 19:15:48 PST
Will this proposal impact 27.32 on Concurrent assertions? I am thinking
there needs to be a line from the assume oval to the "stmt" on
vpiElseStmt, as there is in the assert oval.

Other than that possible issue - I vote yes.

Lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, February 21, 2007 7:46 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] call for vote on mantis 1460

All:

Dmitry has uploaded a revision of the 1460.pdf (dated 02-20-07)
which I believe addresses all the issues that Brad Pierce and I
found.  Therefore, I am calling for an email vote on this item.
See the details below.

If you are eligible to vote, then please do as 80% participation
is expected in order to retain voting privileges.

J.H.

Ballot on Mantis 1460 

- Called on 2007-02-21, final ballots due by 23:59 PST on 2007-02-28.

 v[xxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
 v[xxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
 n[-----x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[rxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
 n[x----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 v[xxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 v[-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[-xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxx...............] Tom Thatcher (Sun Microsystems)
   |------------------ attendance on 2007-02-20
 |-------------------- 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.
Received on Thu Feb 22 19:16:09 2007

This archive was generated by hypermail 2.1.8 : Thu Feb 22 2007 - 19:16:28 PST