From 4abf838d62efc141c73ba4f6b884667187c53377 Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Mon, 11 Jul 2022 14:56:30 +0100
Subject: [PATCH] implemented missing notFull method in SpecFifo

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

diff --git a/src_Core/RISCY_OOO/procs/lib/SpecFifo.bsv b/src_Core/RISCY_OOO/procs/lib/SpecFifo.bsv
index bae699f..242e03e 100644
--- a/src_Core/RISCY_OOO/procs/lib/SpecFifo.bsv
+++ b/src_Core/RISCY_OOO/procs/lib/SpecFifo.bsv
@@ -155,6 +155,8 @@ module mkSpecFifo#(
         specBits[enqP][sched.sbEnqPort] <= x.spec_bits;
     endmethod
 
+    method Bool notFull = (empty_for_enq || enqP != deqP_for_enq);
+
     method Action deq if (valid[deqP][sched.validDeqPort]
                           && !wrongSpec_deq_conflict); // make conflict with incorrect spec
         valid[deqP][sched.validDeqPort] <= False;