From a9947132406ce54e6cb6d5bb1b6617a1780b5047 Mon Sep 17 00:00:00 2001 From: Ben Marshall Date: Mon, 9 Mar 2020 11:24:45 +0000 Subject: [PATCH] Spec: AES RV64 - Fix pseudo code again. - Forgot to fix the final assignments to rd. On branch master Your branch is up-to-date with 'origin/master'. Changes to be committed: modified: doc/tex/sec-scalar-aes.tex --- doc/tex/sec-scalar-aes.tex | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/doc/tex/sec-scalar-aes.tex b/doc/tex/sec-scalar-aes.tex index 07987dd0..5daf3f65 100644 --- a/doc/tex/sec-scalar-aes.tex +++ b/doc/tex/sec-scalar-aes.tex @@ -193,17 +193,15 @@ \subsubsection{RV64 Instructions} t1.128 = AESShiftRows(rs2 || rs1) t2.64 = t1.64[1] if hi else t1.64[0] t3.8[i] = AESSBox(t2.8[i]) for i=0..7 - t4.32[0] = AESMixColumn(t3.32[0]) if mix else t3.32[0] - t4.32[1] = AESMixColumn(t3.32[1]) if mix else t3.32[1] - rd.64 = t4.64[1] if hi else t4.64[0] + rd.32[0] = AESMixColumn(t3.32[0]) if mix else t3.32[0] + rd.32[1] = AESMixColumn(t3.32[1]) if mix else t3.32[1] saes.dec(rs1, rs2, mix, hi): // InvSubBytes, InvShiftRows, InvMixColumns t1.128 = InvAESShiftRows(rs2 || rs1) t2.64 = t1.64[1] if hi else t1.64[0] t3.8[i] = InvAESSBox(t2.8[i]) for i=0..7 - t4.32[0] = InvAESMixColumn(t3.32[0]) if mix else t3.32[0] - t4.32[1] = InvAESMixColumn(t3.32[1]) if mix else t3.32[1] - rd.64 = t4.64[1] if hi else = t4.64[0] + rd.32[0] = InvAESMixColumn(t3.32[0]) if mix else t3.32[0] + rd.32[1] = InvAESMixColumn(t3.32[1]) if mix else t3.32[1] saes.imix(rs1): // Inverse MixColumns rd.32[0] = InvAESMixColumns(rs1.32[0])