What should be my approach verifying time constraints in the signals of a interface

[aarelovich]

In reply to nikhil_c:

I’m just learning about assertions. Could you clarify, in your above example what ##0 is?