ASSERTION: detects if one input is a delayed version of the other

[gumpena]

Thanks Ben for the Solution,

@Srini The delay is not constant that is the reason I could not think of any SVA.