Assertion for check between signals changing on different edges of same clock

[saurabh_s]

In reply to rag123:

Thanks a lot