diff --git a/hdl/arith/hazard3_shift_barrel.v b/hdl/arith/hazard3_shift_barrel.v
index 2ef8b55..7f65ec9 100644
--- a/hdl/arith/hazard3_shift_barrel.v
+++ b/hdl/arith/hazard3_shift_barrel.v
@@ -61,11 +61,11 @@ end
 
 `ifdef FORMAL
 always @ (*) begin
-	if (right_nleft && arith) begin: asr
+	if (right_nleft && arith && !rotate) begin: asr
 		assert($signed(dout) == $signed(din) >>> $signed(shamt));
-	end else if (right_nleft && !arith) begin
+	end else if (right_nleft && !arith && !rotate) begin
 		assert(dout == din >> shamt);
-	end else if (!right_nleft && !arith) begin
+	end else if (!right_nleft && !arith && !rotate) begin
 		assert(dout == din << shamt);
 	end
 end