[#336] Fixing round constant indexing in vaeskf2 pseudo code (#337)

Signed-off-by: Nicolas Brunie <[email protected]>
riscv · Jul 3, 2023 · e2ba7f6 · e2ba7f6
1 parent 633b473
commit e2ba7f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/vector/insns/vaeskf2.adoc b/doc/vector/insns/vaeskf2.adoc
@@ -95,7 +95,7 @@ function clause execute (VAESKF2(rnd, vd, vs2)) = {
       let w[0] : bits(32) = if (rnd[0]==1) then
         aes_subword_fwd(CurrentRoundKey[3]) XOR RoundKeyB[0]; 
       else
-        aes_subword_fwd(aes_rotword(CurrentRoundKey[3])) XOR aes_decode_rcon(rnd>>1) XOR RoundKeyB[0];
+        aes_subword_fwd(aes_rotword(CurrentRoundKey[3])) XOR aes_decode_rcon((rnd>>1) - 1) XOR RoundKeyB[0];
       w[1] : bits(32) = w[0] XOR RoundKeyB[1]
       w[2] : bits(32) = w[1] XOR RoundKeyB[2]
       w[3] : bits(32) = w[2] XOR RoundKeyB[3]