I want to write an assertion for checking that the data stable for 16 clock cycles and continue the checking for the next 16 cycles and so on.?How can i write this?

UVM
,
7

In reply to adharshh:

There are always aeveral solutions. This should also work:

property framecheck
  disable iff(rst || !tx_frame)
  tx_frame |-> ($stable(uart_txd_o)[*16]);
endproperty

I’m useing the overlapping implication operator. It starts counting when tx_frame is 1’b1.