From 0b3629564cea72e5364d267c41289773a9c81c25 Mon Sep 17 00:00:00 2001 From: Luke Wren Date: Mon, 6 Dec 2021 18:12:23 +0000 Subject: [PATCH] Don't apply shifter assertions to rotates --- hdl/arith/hazard3_shift_barrel.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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