RE: [sv-ac] call to vote on Mantis 1361

Hi Doron,
 
I understand your intention to enable only non-vacuous passes. But as
far as I remember, we have complementary functions for on and off both
and it will be against the rule to change the name of one function only.
Please correct me if I am wrong about this.
 
Thanks.
Manisha
 
 
 
________________________________

From: Doron Bustan [mailto:dbustan@freescale.com] 
Sent: Wednesday, March 28, 2007 11:51 AM
To: Kulshrestha, Manisha
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] call to vote on Mantis 1361


Manisha,

I'm apologize for responding that late, but there is something 
that Jonathan said, which bothers me in the proposal.

Suppose that there is an assertion a1 and the following test case

initial begin
#50
$assertpassoff(0,a1);
#50
$assertvacuouson(0,a1);
...
end

does a1 at timestep 101 should execute pass action blocks only on
vacuous passes?

My guess is that this is not the intent.

So, as a friendly amendment I suggest to replace 


$assertvacuouson shall enable execution of pass action of all the
specified assertions on
vacuous success. An assertion that is already executing, including
execution of the pass or fail statement,
is not affected. Refer to section 17.13.6 for the definition of vacuous
success.

with 

$assertnonvacuouson shall enable execution of pass action of all the
specified assertions on
nonvacuous success. An assertion that is already executing, including
execution of the pass or fail statement,
is not affected. Refer to section 17.13.6 for the definition of vacuous
success.


and do similar changes in the syntax and pli.

then you will get the diagram presented in the gif 

Doron



John Havlicek wrote: 

	All:
	
	This is the call for an email vote on the proposal for Mantis
1361.
	Please vote if you are eligible.  See the details below.
	
	J.H.
	
	Ballot on the proposal for Mantis 1361.
	
	- 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.