chore(TL2CHICoupledL2): add assertion in case of loss of PCredit

OpenXiangShan · Sep 10, 2024 · 7ad3e9d · 7ad3e9d
1 parent 08b8d61
commit 7ad3e9d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/main/scala/coupledL2/tl2chi/TL2CHICoupledL2.scala b/src/main/scala/coupledL2/tl2chi/TL2CHICoupledL2.scala
@@ -202,8 +202,11 @@ class TL2CHICoupledL2(implicit p: Parameters) extends CoupledL2Base {
           })
           grants(i) := pCrdMatchEntryOH(i)
         }
+        val pCrdGrantCnt = RegInit(0.U(64.W))
         val grantCnt = RegInit(0.U(64.W))
         grantCnt := grantCnt + PopCount(grants)
+        when (isPCrdGrant) { pCrdGrantCnt := pCrdGrantCnt + 1.U }
+        assert(RegNext(pCrdGrantCnt, init = 0.U(64.W)) === PopCount(pCrdValids) + grantCnt)
         dontTouch(grantCnt)
 
         val rxrspSliceID = getSliceID(rxrsp.bits.txnID)