8] @ ic2[ 7.. 0]; (oc3 @ oc2 @ oc1 @ oc0) /* Return Value */ } val sm4_round : bits(32) = aes_subword_fwd(aes_get_column(x, 2)); let oc3 : bits(32) -> bits(32) function aes_decode_rcon(r) = { aes_sbox_inv(x[31..24]) @ aes_sbox_inv(x[23..16]) @ aes_sbox_inv(x[15.. 8])
pages