Subject: Re: [sv-cc] Coverage VPI extensions (v0.3)
From: Francoise Martinolle (fm@cadence.com)
Date: Fri Feb 07 2003 - 15:31:29 PST
Some comments on your last spec:
- In section 3.2.2., the behavior of $coverage_get_max needs to be clearly
defined for different coverage types. For example, it would return the
absolute value
representing the number of statements for Statement Coverage type.
For toggle, fsm or expression coverage
tyes, what does it return? This needs to be clearly outlined.
- Page 5, bullet item at the end of the page: The first argument should be
`SV_COV_QUERY
in place of `SV_COV_CHECK.
- Page 6, second bullet item at the top of the page: The first argument
should be
`SV_COV_STOP in place of `SV_COV_RESET.
- Section 3.2.5: The sentence starting with "Data saved to the database..."
is not
completed properly.
At 05:20 PM 2/4/2003 -0500, Joao Geada wrote:
>Again with change bars;
>mostly the update was to add the SV_COV_OVERFLOW return value requested by
>Michael that I had forgotten to include in the prior revision (sorry)
>
>Joao
>==============================================================================
>Joao Geada, PhD Principal Engineer Verif Tech Group
>Synopsys, Inc TEL: (508) 263-8083
>344 Simarano Drive, Suite 300, FAX: (508) 263-8069
>Marlboro, MA 01752, USA
>==============================================================================
This archive was generated by hypermail 2b28 : Fri Feb 07 2003 - 15:32:42 PST