Subject: Re: [sv-ac] SV AC Enhancement List
From: Adam Krolnik (krolnik@lsil.com)
Date: Wed Jun 18 2003 - 12:12:15 PDT
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
This archive was generated by hypermail 2b28 : Wed Jun 18 2003 - 12:12:46 PDT