There is one async signal a_sync, this signal needs to be stable till first incoming clk. a_sync signal may get change any time irrespective to clk.
I have written property as follows, it works fine for single bit, but for multibit a_sync signal I need help.
property abc(a_sync, clk);
@(a_sync) (1,temp_val = ~a_sync /*inverse because previous value will be sampled*/ ) ##1
@(posedge clk) (temp_val === a_sync);
This wont work for multibit signal. How can we do for multibit. There are many such signal, so I want to write generic assetion property.