In reply to pvr4210:
In IEEE1800-2005, “@(posedge clk1) … |-> @(posedge clk2) …” is illegal
whereas it is legal in IEEE1800-2009.
Please some compile option to enable IEEE1800-2009 syntax to a simulator.
As to switch to enable 1800-2009 syntax, please ask simulator vendor.