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

Vote Yes.

I think the example should have a pass action block.
Reason:
It needs to be consistent with the content of the previous sentence
"When the property for the assume statement is evaluated to be true, the
pass statements of the action block are executed. If it evaluates to
false, the fail statements of the action block are executed. For
example:"



Hillel Miller>


-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, February 21, 2007 2:46 PM
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.