Skip to content

Commit c515793

Browse files
Roenskithommythomaso
authored andcommitted
Fix write channel assertions
1 parent c5ad810 commit c515793

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/axi_rw_split.sv

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,7 @@ module axi_rw_split #(
9494
assign mst_write_req_o.r_ready = 1'b0;
9595

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

9999
// Write AW channel handshake
100100
assign mst_write_req_o.aw_valid = slv_req_i.aw_valid;

0 commit comments

Comments
 (0)