implemented missing notFull method in SpecFifo

2022-07-11 14:56:30 +01:00
parent ad9f2cab3d
commit 4abf838d62
1 changed files with 2 additions and 0 deletions
--- 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;