Hi Ben, I was brought here looking for a solution to write something like “did a signal rise in the past”. Just wanted to comment about your suggestion to use forward looking statements. I agree with your comments, but sometimes I want to check the following.
- If signal A rises, then signal B rises after 2 cycles. This is obviously easily done with a forward looking statement (rose A implies ##2 rose B).
- But at the same time I want to make sure that it was not something else that caused B to rise, i.e. I want to make sure that it was signal A. So I kind of want to check if $rose(B), then looking at the past for 2 cycles, A rose as well.
Do you think it makes sense to use backwards looking statements (like $rose with $past) in that case, or would you suggest something else to check that?