github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-06-27 17:00:57 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

remove rr_arb_tree from raw_checker (#3009)
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
Details
ci / build-riscv-tests (push) Waiting to run
Details
ci / execute-riscv64-tests (push) Blocked by required conditions
Details
ci / execute-riscv32-tests (push) Blocked by required conditions
Details

Browse source 
To improve code coverage

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

---------

Co-authored-by: JeanRochCoulon <jean-roch.coulon@thalesgroup.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
This commit is contained in:
Côme 2025-06-16 11:52:17 +02:00 • committed by GitHub
parent d307eed25d
commit f3d2ec4461
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 14 additions and 62 deletions
Download patch file Download diff file Expand all files Collapse all files

76
core/raw_checker.sv
View file

@ -38,14 +38,11 @@ module raw_checker
logic [CVA6Cfg.NR_SB_ENTRIES-1:0] same_rd_as_rs;
logic [CVA6Cfg.NR_SB_ENTRIES-1:0] same_rd_as_rs_before;
logic last_before_valid;
logic [CVA6Cfg.TRANS_ID_BITS-1:0] last_before_idx;
logic [CVA6Cfg.NR_SB_ENTRIES-1:0] same_rd_as_rs_after;
logic last_after_valid;
logic [CVA6Cfg.TRANS_ID_BITS-1:0] last_after_idx;
logic valid;
logic rs_is_gpr0;
for (genvar i = 0; i < CVA6Cfg.NR_SB_ENTRIES; i++) begin
@ -54,68 +51,23 @@ module raw_checker
assign same_rd_as_rs_after[i] = (i >= issue_pointer_i) && same_rd_as_rs[i];
end
//Last finders
// for instructions < instruction pointer
rr_arb_tree #(
.NumIn(CVA6Cfg.NR_SB_ENTRIES),
.DataWidth(1),
.ExtPrio(1'b1),
.AxiVldRdy(1'b1)
) i_last_finder_before (
.clk_i (clk_i),
.rst_ni (rst_ni),
.flush_i(1'b0),
.rr_i ({$clog2(CVA6Cfg.NR_SB_ENTRIES){1'b1}}), // Highest index has highest prio.
.req_i (same_rd_as_rs_before),
.gnt_o (),
.data_i ('0),
.gnt_i (1'b1),
.req_o (last_before_valid),
.data_o (),
.idx_o (last_before_idx)
);
always_comb begin
last_before_idx = '0;
last_after_idx = '0;
// for instructions >= instruction pointer
rr_arb_tree #(
.NumIn(CVA6Cfg.NR_SB_ENTRIES),
.DataWidth(1),
.ExtPrio(1'b1),
.AxiVldRdy(1'b1)
) i_last_finder_after (
.clk_i (clk_i),
.rst_ni (rst_ni),
.flush_i(1'b0),
.rr_i ({$clog2(CVA6Cfg.NR_SB_ENTRIES){1'b1}}), // Highest index has highest prio.
.req_i (same_rd_as_rs_after),
.gnt_o (),
.data_i ('0),
.gnt_i (1'b1),
.req_o (last_after_valid),
.data_o (),
.idx_o (last_after_idx)
);
for (int unsigned i = 0; i < CVA6Cfg.NR_SB_ENTRIES; i++) begin
if (same_rd_as_rs_before[i]) begin
last_before_idx = i;
end
if (same_rd_as_rs_after[i]) begin
last_after_idx = i;
end
end
end
// take the minimum of the last indexes
rr_arb_tree #(
.NumIn(2),
.DataWidth(CVA6Cfg.TRANS_ID_BITS),
.ExtPrio(1'b1),
.AxiVldRdy(1'b1)
) min_finder (
.clk_i (clk_i),
.rst_ni (rst_ni),
.flush_i(1'b0),
.rr_i ('0), // Lowest index has highest prio.
.req_i ({last_after_valid,last_before_valid}),
.gnt_o (),
.data_i ({last_after_idx,last_before_idx}),
.gnt_i (1'b1),
.req_o (valid),
.data_o (idx_o),
.idx_o ()
);
assign idx_o = |same_rd_as_rs_before ? last_before_idx : last_after_idx;
assign rs_is_gpr0 = (rs_i == '0) && !rs_fpr_i;
assign valid_o = valid && !rs_is_gpr0;
assign valid_o = |same_rd_as_rs && !rs_is_gpr0;
endmodule