Assertion to check async signals toggling

[user60]

In reply to Anudeep J:

Try

  always @(a) begin
    chk_b_same_as_a : assert (a <-> b);
  End 

Cheers
Srini