Write assertion and both cases need to be satisfied in single property Note: when signal B toggles signal A should be stable and should satisfy rise and fall of signal B also

[Manikanta_62]

I am writing the assertion shown in the above image and not sure whether that is correct or not .
@(posedge clk);
$rose(signal_B)&&$fell(signal_B) → $stable(a);
and how to write in one property.
Can any one help me this

Thanks & Regards,
Manikanta K.

[hdlcohen]

@(posedge clk);
$changed(B) |-> $stable(a);