I have assertion which needs to check if address is stable until signal PREADY is set to 1, rising edge.
This is the code:
disable iff (!PRESETn)
($changed(PADDR) && PWRITE) |=> ($stable(PADDR) until $rose(PREADY));
The problem is that asserting is finished only on falling edge, and i need it to be done on rising edge.
How can i make it on rising edge and is there another way do check stability in this time interval.