In reply to dave_59:
Hi,
Actually if data_load changes between Sig1 and Sig2 posedges, then Sig3 must get asserted within let’s say 1 to 10 clocks.
to validate this spec,
I am capturing data_load when Sig1 asserted into local_data_load . Want to compare it until sig2 assereted with the running data_load.
If it changes I expected sig3 must be asserted.