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.