fix(TL2CHICoupledL2): fix false positive assertion

OpenXiangShan · Sep 11, 2024 · 6c8aec1 · 6c8aec1
1 parent 7ad3e9d
commit 6c8aec1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/coupledL2/tl2chi/TL2CHICoupledL2.scala b/src/main/scala/coupledL2/tl2chi/TL2CHICoupledL2.scala
@@ -206,7 +206,7 @@ class TL2CHICoupledL2(implicit p: Parameters) extends CoupledL2Base {
         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)
+        assert(pCrdGrantCnt === PopCount(pCrdValids) + grantCnt)
         dontTouch(grantCnt)
 
         val rxrspSliceID = getSliceID(rxrsp.bits.txnID)