Subject: [sv-ac] Re: assertion/coverage API questions
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Mar 04 2003 - 09:10:48 PST
Hi Joao;
Thanks for the answers...
>1. we could not agree on a canonical definition for expression coverage.
What about a method to create additional coverage and place it into the database?
On the market are many tools that deal with coverage and collecting information.
Yet few have the ability to incorporate additional information so as to produce
an integrated reporting interface. Writing a standard for existing things is
useful but of more use is something that goes further.
Would it be possible to define additional coverage elements?
Such as ...
>4. No. Currently the assertion coverage "covers" only whether a particular
Unfortunate. One can write more information into assertions than coverage statements.
Maybe 3.2 can address possibilities within a covered sequence, values
chosen, timing between subsequences, etc.
THanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Tue Mar 04 2003 - 09:11:56 PST