From 09db91f8c8fe487c8e45e43cf715adeb625618f9 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Wed, 16 Mar 2022 11:39:57 +0000
Subject: [PATCH] Reset counter if head becomes valid.

---
 src_Core/RISCY_OOO/procs/lib/Ras.bsv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src_Core/RISCY_OOO/procs/lib/Ras.bsv b/src_Core/RISCY_OOO/procs/lib/Ras.bsv
index 7012c93..15b72e2 100644
--- a/src_Core/RISCY_OOO/procs/lib/Ras.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/Ras.bsv
@@ -73,8 +73,8 @@ module mkRas(ReturnAddrStack) provisos(NumAlias#(TExp#(TLog#(RasEntries)), RasEn
 
     Bool invalidHead = !(valids[head[0]][0]);
     Reg#(Bit#(6)) delay <- mkReg(0);
-    rule resetValidHead(invalidHead);
-        if (delay < 10) delay <= delay + 1;
+    rule resetValidHead;
+        if (delay < 10 && invalidHead) delay <= delay + 1;
         else begin
             valids[head[0]][2] <= True;
             delay <= 0;