In reply to Alokpati:
I have a situation that between sig 1 & sig 2 there is a delay of 1 cycle.
and for itm this assertion is working well:
(A) |-> ## [0:3] ($past(sig_1) === sig_2);
another scenario, is that the sig2 happened in the same cycle as sig 1
(A) |-> ## [0:3] sig_1 === sig_2;
now want I want to do is to do 1 property to the 2 scenarios.