Multi clocking - using SVA , CDC possible with SVA?

[dave_59]

It is similar to @(posedge clk1) S1 ##1 @(posedge clk2) S2;

See SVA with multiple clocks