Skip to content

Commit

Permalink
Fix write channel assertions
Browse files Browse the repository at this point in the history
  • Loading branch information
Roenski authored and thommythomaso committed Dec 2, 2024
1 parent c5ad810 commit c515793
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/axi_rw_split.sv
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@ module axi_rw_split #(
assign mst_write_req_o.r_ready = 1'b0;

// check for R never to be valid
`ASSERT_NEVER(mst_read_resp_r_valid, mst_read_resp_i.r_valid, clk_i, !rst_ni)
`ASSERT_NEVER(mst_write_resp_r_valid, mst_write_resp_i.r_valid, clk_i, !rst_ni)

// Write AW channel handshake
assign mst_write_req_o.aw_valid = slv_req_i.aw_valid;
Expand Down

0 comments on commit c515793

Please sign in to comment.