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