Subject: Re: [sv-ac] FW: Requirements for debugging capabilities
From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Sep 27 2002 - 10:05:22 PDT
Hi Alain;
>each time a regular expression, starts, finishes, and so on... so that an >external debugging tool could display the relevant information to the user.
This ties into the API requirements that were presented.
The API was asking for not only start, running, finished, pass/fail
status,
it was also asking for information about subsequence information.
Sometimes assertions fail and it is not clear why. For example, too
many triggers to find the consequent, hold violations of a signal
(on too many clocks), setup violations (signal asserts too early),
or a complex assertion written incorrectly...
There is talk about debuggers of regular expressions (in textual
contexts ala Perl) but they are still somewhat experimental.
People have even talked about stimulus generators based on regular
expressions - this may be one interesting debug tool. Have a generator
create legal patterns for the user to see if that is what they expect.
This is the original idea of regular expressions - to generate
patterns. Recognizing patterns is the 'also used for' example.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Fri Sep 27 2002 - 10:08:46 PDT