Skip to content

Commit 5509a62

Browse files
authored
isochronous_spill_register: Remove data stability checks (#265)
1 parent ba5daf0 commit 5509a62

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

src/isochronous_spill_register.sv

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -100,11 +100,7 @@ module isochronous_spill_register #(
100100
`ifndef COMMON_CELLS_ASSERTS_OFF
101101
`ASSERT(src_valid_unstable, src_valid_i && !src_ready_o |=> $stable(src_valid_i),
102102
src_clk_i, !src_rst_ni, "src_valid_i is unstable")
103-
`ASSERT(src_data_unstable, src_valid_i && !src_ready_o |=> $stable(src_data_i),
104-
src_clk_i, !src_rst_ni, "src_data_i is unstable")
105103
`ASSERT(dst_valid_unstable, dst_valid_o && !dst_ready_i |=> $stable(dst_valid_o),
106104
dst_clk_i, !dst_rst_ni, "dst_valid_o is unstable")
107-
`ASSERT(dst_data_unstable, dst_valid_o && !dst_ready_i |=> $stable(dst_data_o),
108-
dst_clk_i, !dst_rst_ni, "dst_data_o is unstable")
109105
`endif
110106
endmodule

0 commit comments

Comments
 (0)