From c0271d382f5806c018f72b2100ea3087a7584e87 Mon Sep 17 00:00:00 2001 From: Dolu1990 Date: Mon, 14 May 2018 10:13:44 +0200 Subject: [PATCH] More assertion (csrPlugin) --- src/main/scala/vexriscv/plugin/Fetcher.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/scala/vexriscv/plugin/Fetcher.scala b/src/main/scala/vexriscv/plugin/Fetcher.scala index 281f0c7..7bc4cd0 100644 --- a/src/main/scala/vexriscv/plugin/Fetcher.scala +++ b/src/main/scala/vexriscv/plugin/Fetcher.scala @@ -8,7 +8,6 @@ import StreamVexPimper._ import scala.collection.mutable.ArrayBuffer - abstract class IBusFetcherImpl(val catchAccessFault : Boolean, val resetVector : BigInt, val keepPcPlus4 : Boolean, @@ -19,11 +18,12 @@ abstract class IBusFetcherImpl(val catchAccessFault : Boolean, val relaxedPcCalculation : Boolean, val prediction : BranchPrediction, val catchAddressMisaligned : Boolean, - injectorStage : Boolean) extends Plugin[VexRiscv] with JumpService with IBusFetcher{ + val injectorStage : Boolean) extends Plugin[VexRiscv] with JumpService with IBusFetcher{ var prefetchExceptionPort : Flow[ExceptionCause] = null var decodePrediction : DecodePredictionBus = null assert(cmdToRspStageCount >= 1) + assert(!(cmdToRspStageCount == 1 && !injectorStage)) assert(!(compressedGen && !decodePcGen)) var fetcherHalt : Bool = null lazy val decodeNextPcValid = Bool //TODO remove me ?