Subject: Re: [sv-ac] SV AC Enhancement List
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Thu Jun 19 2003 - 22:24:38 PDT
Adam:
Yes this is on the preliminary enhancement list, as I recall
a carry over enhancement from discussions in v3.1
We are expecting to start SV-AC meetings starting
the week of July 28, at which point we will review requirements
list and solicit committee feedback.
Regards,
Steve
-----------
At 02:12 PM 6/18/2003 -0500, Adam Krolnik wrote:
>Hi Stephen;
>
>Sorry I didn't get to meet you at DAC...
>
>
>I would like to add the post 3.1 items that we have a discussion about
>execution of action blocks in the reactive region and the problem of
>reporting errors with relavant data surrounding the failure.
>
>Or in other words, the fact that one can't report additional data
>(relevant to initial diagnosis of problems) with the standard message
>(or error) facilities.
>
>assert property ( ! a & b)
> else $error("A and B not mutex, see a %b and b %b.", a, b);
> // Will produce a message with potentially wrong values of 'a' and 'b'.
>
>
> THanks.
>
>
> Adam Krolnik
> Verification Mgr.
> LSI Logic Corp.
> Plano TX. 75074
>
>
Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell: 408-393-8246
This archive was generated by hypermail 2b28 : Thu Jun 19 2003 - 22:25:06 PDT