From 09d49752108844500a6515175763e3f0f9ce4246 Mon Sep 17 00:00:00 2001 From: qinjun-li Date: Thu, 22 Aug 2024 21:04:32 +0800 Subject: [PATCH] [rtl] fix assert logic. --- t1/src/Lane.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/t1/src/Lane.scala b/t1/src/Lane.scala index cb306d5aba..d69b00f2bd 100644 --- a/t1/src/Lane.scala +++ b/t1/src/Lane.scala @@ -762,7 +762,7 @@ class Lane(val parameter: LaneParameter) extends Module with SerializableModule[ UIntToOH(executionUnit.responseIndex(parameter.instructionIndexBits - 2, 0)), 0.U(parameter.chainingSize.W) ) - AssertProperty(BoolSequence(executionUnit.dequeue.valid && stage2.dequeue.valid)) + AssertProperty(BoolSequence(!executionUnit.dequeue.valid || stage2.dequeue.valid)) stage3.enqueue.valid := executionUnit.dequeue.valid executionUnit.dequeue.ready := stage3.enqueue.ready stage2.dequeue.ready := executionUnit.dequeue.fire