# How to disable the thread of unbounded delay in sequence if subsequent conditions are not met

**URL:** <https://verificationacademy.com/forums/t/how-to-disable-the-thread-of-unbounded-delay-in-sequence-if-subsequent-conditions-are-not-met/30031>\
**Category:** Coverage\
**Tags:** Coverage\
**Created:** [October 14, 2014, 7:55pm UTC](https://verificationacademy.com/forums/t/how-to-disable-the-thread-of-unbounded-delay-in-sequence-if-subsequent-conditions-are-not-met/30031 "2014-10-14T19:55:36Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![gagan\_billing](https://verificationacademy.com/forums/letter_avatar_proxy/v4/letter/g/cdc98d/32.png) [@gagan\_billing](https://verificationacademy.com/forums/u/gagan_billing)\
**Post date:** [October 14, 2014, 7:55pm UTC](https://verificationacademy.com/forums/t/how-to-disable-the-thread-of-unbounded-delay-in-sequence-if-subsequent-conditions-are-not-met/30031/1 "2014-10-14T19:55:36Z")

</div>

Hi,

I want to trigger my coverage based upon some events.  
Like when save\_sig is true then I want to save signals and when cov\_call is true want to trigger coverage .It works fine if save\_sig is followed by cov\_call sequence true.  
But suppose save\_sig comes to be true and then cov\_call sequence doesn’t comes true as “sigc” signal is not rising but then again save\_sig comes true followed by cov\_call. In short if save\_sig(first),save\_sig(second),cov\_call comes as true then I don’t want to save the signals for first save\_sig but as there is unbounded delay in cov\_call after save\_sig becomes true so its makes coverage to be trigger even for save\_sig(first) is not followed by cov\_call true sequence. Is there any way, but I need to use $ delay also.

sequence save\_sig  
$rose(cond1);  
endsequence :save\_sig

sequence cov\_call  
save\_sig ##[0:$] fell(sigb)##[0:] (!(sigb) throughout (##0:$); //after fall of sigb it should be low throughout till sigc doesn’t rise.  
endsequence :cog\_call

property cov\_collection  
logic ab;  
logic cd;  
@posedge(clk) (save\_sig,  
ab=design.x,  
cd=design.y)  
##0  
(cov\_call,cg\_inst.sample(ab,cd))  
endproperty

---

<div class="post-metadata">

**Author:** ![gagan\_billing](https://verificationacademy.com/forums/letter_avatar_proxy/v4/letter/g/cdc98d/32.png) [@gagan\_billing](https://verificationacademy.com/forums/u/gagan_billing)\
**Post date:** [October 16, 2014, 2:22pm UTC](https://verificationacademy.com/forums/t/how-to-disable-the-thread-of-unbounded-delay-in-sequence-if-subsequent-conditions-are-not-met/30031/2 "2014-10-16T14:22:23Z")

</div>

_In reply to [gagan\_billing](https://verificationacademy.com/forums/t/how-to-disable-the-thread-of-unbounded-delay-in-sequence-if-subsequent-conditions-are-not-met/30031):_

Can anybody comment on this.

Thanks,

---

<div class="post-metadata">

**Author:** ![gagan\_billing](https://verificationacademy.com/forums/letter_avatar_proxy/v4/letter/g/cdc98d/32.png) [@gagan\_billing](https://verificationacademy.com/forums/u/gagan_billing)\
**Post date:** [November 20, 2014, 3:27pm UTC](https://verificationacademy.com/forums/t/how-to-disable-the-thread-of-unbounded-delay-in-sequence-if-subsequent-conditions-are-not-met/30031/3 "2014-11-20T15:27:11Z")

</div>

_In reply to [gagan\_billing](https://verificationacademy.com/forums/t/how-to-disable-the-thread-of-unbounded-delay-in-sequence-if-subsequent-conditions-are-not-met/30031/2):_

Can anybody comment on this.

Thanks,