Hi Saurabh,
You can trigger an event in the action block of the assert statement. Or,
if your property is a sequence, then you can use the sequence directly to
sample a covergroup whenever the sequence has a match. For
example,
sequence s1;
-
-
endsequence
assert property s1; // will perform the checking.
cover property s1; // will perform coverage of the sequence
covergroup cg @(s1);
coverpoint v1; // sample variable v1
-
-
endcovergroup
Surrendra
At 02:07 PM 10/7/2004 +0530, you wrote:
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
**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752
Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
Received on Thu Oct 7 08:53:20 2004