In reply to shahkavish77:
Hi,
I want to write multi-clock CDC assertion for - three edge requirement. Data on tx side should remain unchanged for 3 edge of rx clock. Can you please help? My concern is how to get 3 rx clock (any) edge calculated to tx side for asserting data on tx side stable. Three edge requirement : “input data values must be stable for three destination clock edges”
//it should be something like this
property tx_data_check;
@(posedge tx_clk)
(start_exp) |-> (@(posedge rx_clk) $stable(tx_data)[*3])
endproperty