clause execute (AES32ESMI (bs,rs2,rs1,rd)) = { let s0 : bits (8) = xt3(s0) ^ (s1) ^ xt2(s2) ^ xt3(s3); let b3 : bits (8) = gfmul(s0, 0xE) ^ gfmul(s3, 0xD); let b2 : bits (8) = x[23..16]; let s3 : bits (64) = 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(r) XOR CurrentRoundKey[0] let w[1] : bits(32) = aes_subword_inv(aes_get_column(x, 1)); let oc2 : bits(32) = X(rs1)[31..0]; let result : bits(32) = ic0[31..24] @ ic3[23..16] @ ic2[15.. 8] @ ic1[ 7.. 0]; (oc3 @ oc2 @ oc1 @ oc0) /* Return
prosecutor