[sv-ec] Regarding to capture Event

From: Saurabh Kumar Shrimal, Noida <saurabhsk@noida.hcltech.com>
Date: Thu Oct 07 2004 - 01:37:53 PDT

Hi All,

 

   By using assert property we can verify the behavior, but can we generate
a event, so that if we want to add coverage, which is based on this
triggered event.

How to write the property in this case?? And then how to add it in cover
property/ covergroup??

 

Regards

Saurabh
Received on Thu Oct 7 01:39:48 2004

This archive was generated by hypermail 2.1.8 : Thu Oct 07 2004 - 01:39:54 PDT