Subject: RE: [sv-cc] Coverage VPI extensions (v0.3)
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Fri Feb 07 2003 - 15:34:23 PST
Francoise,
For your first question (coverage definitions), isn't the coverage definition
section sufficient ?
I'll verify & correct the other issues.
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
==============================================================================
-----Original Message-----
From: Francoise Martinolle [mailto:fm@cadence.com]
Sent: Friday, February 07, 2003 6:31 PM
To: Joao.Geada@synopsys.COM; sv-cc
Subject: Re: [sv-cc] Coverage VPI extensions (v0.3)
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:35:32 PST