Stability with respect to another signal

user60 · August 11, 2015, 5:05am

In reply to pRoSpEr:

Unless I am missing something, here is a simple solution:


  // Assuming default clocking
 b_shall_be_1_when_A_changes : assert property 
  (##1 ! ($stable(A)) |-> B);

Does that help? If not, do provide a failing trace, we can assist further.