System verilog assertion on asynchronous signals

Thank you Ben , will try something similar !