Re: [sv-ac] SV-AC: on cover property, disable if and reporting...

From: Adam Krolnik <krolnik_at_.....>
Date: Thu Mar 16 2006 - 11:37:23 PST
Good afternoon;

 >Thus, there should be only one type of cover success.
 >Also, I don't think the coverage failure should be reported.

I agree with Doron Bustan;

I'd prefer that EDA tools developers extend sequence/property coverage based on what 
they can define and sell.


-- 
     Soli Deo Gloria
     Adam Krolnik
     ZSP Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"
Received on Thu Mar 16 11:37:26 2006

This archive was generated by hypermail 2.1.8 : Thu Mar 16 2006 - 11:37:35 PST