Assertions - signal stability until a certain signal posedge

In reply to Nikola Vulinovic:

The image URL didn’t appear for some reason…

https://ibb.co/Wvx1SLB