Fix padder bug (#925)

project-oak · Sep 6, 2021 · f01399e · f01399e
1 parent f51c81a
commit f01399e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/silveroak-opentitan/hmac/hw/Sha256.v b/silveroak-opentitan/hmac/hw/Sha256.v
@@ -127,8 +127,8 @@ Section Var.
           `Constant (BitVec 32) 0x80000000`
         else if state == `padder_writing_length` then
           if current_offset == `K 14`
-          then `bvslice 32 32` (length << 3)
-          else `bvslice 0 32` (length << 3)
+          then `bvslice 32 32` (`bvresize 64` length << 3)
+          else `bvslice 0 32` (`bvresize 64` length << 3)
 
         else `K 0`
       in