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

Hi Manisha,

 

I think you are wrong.

 

After using assertpassoff(0,a1) if one wants to enable AB only on non
vacuous successes,

one need first to use assertpasson(0,a1) and then
assertvacuousoff(0,a1). There is no single function

call that will do the job.

 

Note that I didn't only change the name but also the definition of the
pass:

 

$assertvacuouson shall enable execution of pass action of all the
specified assertions on
nonvacuous success.

 

Vs

 

$assertvacuouson shall enable execution of pass action of all the
specified assertions on
vacuous success.

 

Regards

 

Doron

 

-----Original Message-----
From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com] 
Sent: Wednesday, March 28, 2007 2:22 PM
To: Bustan Doron-DBUSTAN
Cc: sv-ac@eda-stds.org
Subject: 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.