Subject: Re: Coverage API requirements
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Tue Aug 20 2002 - 07:34:11 PDT
bassam@novas.com said:
> >
> > Assertion coverage should definitely be part of the minimum coverage types
> > listed in section 2. I was an oversight not to have included it.
> > Add item 2.6- assertion coverage
>
> Great, I was thinking about whether "condition" covers "assertion
> coverage" :-). BTW, do we need to add "[temporal] expression coverage"
> (one or 2 reqs), or is this covered in "assertion coverage" (may be
> implicitly but let's be explicit ?).
In my terminology, assertions == temporal expressions (though it also includes
the degenerate case of 'single-clock-tick' duration assertions which are
very similar to basic conditions)
Joao
==============================================================================
Joao Geada, PhD Sr. Staff R&D Engineer Verif Tech Group
Synopsys, Inc TEL: (508) 263-8083
154 Crane Meadow Road, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
This archive was generated by hypermail 2b28 : Tue Aug 20 2002 - 07:40:58 PDT