github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-04-19 03:24:50 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Fixed FlushD exclusion

Browse source
This commit is contained in:
Corey Hickson 2025-04-03 10:16:54 -07:00
parent a9ec44746e
commit b86026abbe
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
sim/questa/coverage-exclusions-rv64gc.do
View file

@ -411,6 +411,7 @@ coverage exclude -scope /dut/core/lsu/dmmu/dmmu/pmp/pmpchecker/pmp/pmpadrdecs[0]
# StallD always equals StallF so LatestUnstalledD is always 0
coverage exclude -scope /dut/core/hzu -linerange [GetLineNum ${SRC}/hazard/hazard.sv "StallD always equals StallF"] -item 1 4
coverage exclude -scope /dut/core/hzu -linerange [GetLineNum ${SRC}/hazard/hazard.sv "coverage tag: LatestUnstalledD always 0"] -item e 1 -fecexprrow 2
####################
# Privileged

5
src/hazard/hazard.sv
View file

@ -108,10 +108,7 @@ module hazard (
assign LatestUnstalledW = ~StallW & StallM;
// Each stage flushes if the previous stage is the last one stalled (for cause) or the system has reason to flush
// coverage off
// LatestUnstalledD is always 0
assign FlushD = LatestUnstalledD | FlushDCause;
// coverage on
assign FlushD = LatestUnstalledD | FlushDCause; // coverage tag: LatestUnstalledD always 0
assign FlushE = LatestUnstalledE | FlushECause;
assign FlushM = LatestUnstalledM | FlushMCause;
assign FlushW = LatestUnstalledW | FlushWCause;