[HOTFIX] Fix 2855 PR (#2858)

by updating csr_regfile.v
This commit is contained in:
JeanRochCoulon 2025-03-21 16:42:32 +01:00 committed by GitHub
parent 6e4ac43e1f
commit 4bdd57cdc2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -901,7 +901,7 @@ module csr_regfile
// increase instruction retired counter
if (commit_ack_i[0] && !(ex_i.valid && CVA6Cfg.SpeculativeSb) && (!CVA6Cfg.PerfCounterEn || (CVA6Cfg.PerfCounterEn && !mcountinhibit_q[2])))
instret++;
if (CVA6Cfg.NrCommitPorts != 0)
if (CVA6Cfg.NrCommitPorts != 1)
for (int i = 1; i < CVA6Cfg.NrCommitPorts; i++) begin
if (commit_ack_i[i] && !ex_i.valid && (!CVA6Cfg.PerfCounterEn || (CVA6Cfg.PerfCounterEn && !mcountinhibit_q[2])))
instret++;