In reply to E_R_R:
I am not clear about your requirements:
@(rst)
$changed(rst) |-> $stable(sig);
would only like the value of sig to potentially change when the value for reset (rst) has asynchronously changed
Isn’t @(rst) a change in rst?
Do you mean that @(rst) then sometime later sig can change?
What length of time?
Can you write the behavior you are checking in a task?
Ben