Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Added RVFI visibility of HW writes to mcontrol6 #861

Merged
merged 1 commit into from May 25, 2023
Merged

Added RVFI visibility of HW writes to mcontrol6 #861

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
9 changes: 7 additions & 2 deletions rtl/cv32e40x_debug_triggers.sv
View file
Open in desktop
Expand Up @@ -457,15 +457,20 @@ import cv32e40x_pkg::*;
tdata2_we_r = tdata2_we_i || tselect_we_i;

tdata1_n_r = tdata1_n[0];
tdata2_n_r = tdata2_n;

// Iterate over all triggers and pick tdata1_n_r and tdata1_we_r for the
// currently selected trigger.
for (int i=0; i<DBG_NUM_TRIGGERS; i++) begin
if(tselect_rdata_o == i) begin
tdata1_n_r = tdata1_n[i];
// Using tdata1_we_int to include HW writes to mcontrol6
tdata1_we_r = tdata1_we_int[i] || tselect_we_i;
end
end

tdata2_n_r = tdata2_n;

// Make sure to update SW visible trigger CSRs on RVFI
// when tselect is written
if (tselect_we_i) begin
for (int i=0; i<DBG_NUM_TRIGGERS; i++) begin
if(tselect_n == i) begin
Expand Down