From b86026abbe746bcc0d0f61f3edb2224b2deb0a49 Mon Sep 17 00:00:00 2001
From: Corey Hickson <chickson@hmc.edu>
Date: Thu, 3 Apr 2025 10:16:54 -0700
Subject: [PATCH] Fixed FlushD exclusion

---
 sim/questa/coverage-exclusions-rv64gc.do | 1 +
 src/hazard/hazard.sv                     | 5 +----
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/sim/questa/coverage-exclusions-rv64gc.do b/sim/questa/coverage-exclusions-rv64gc.do
index 1c952ade8..64241e01c 100644
--- a/sim/questa/coverage-exclusions-rv64gc.do
+++ b/sim/questa/coverage-exclusions-rv64gc.do
@@ -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
diff --git a/src/hazard/hazard.sv b/src/hazard/hazard.sv
index 18dbc2e70..c15ff208f 100644
--- a/src/hazard/hazard.sv
+++ b/src/hazard/hazard.sv
@@ -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;