Skip to content

Commit

Permalink
stream_inft: Replace non-existing reset with constant in asserts
Browse files Browse the repository at this point in the history
  • Loading branch information
michael-platzer committed Sep 30, 2024
1 parent ed55c2a commit 17746ff
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/stream_intf.sv
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ interface STREAM_DV #(

// Make sure that the handshake and payload is stable
`ifndef COMMON_CELLS_ASSERTS_OFF
`ASSERT(data_unstable, (valid && !ready |=> $stable(data)), clk_i, !rst_ni)
`ASSERT(valid_unstable, (valid && !ready |=> valid), clk_i, !rst_ni)
`ASSERT(data_unstable, (valid && !ready |=> $stable(data)), clk_i, 1'b0)
`ASSERT(valid_unstable, (valid && !ready |=> valid), clk_i, 1'b0)
`endif
endinterface

0 comments on commit 17746ff

Please sign in to comment.