smiles in such usages, a WRS.NTO (WRS-with-no-timeout) instruction is used to be simultaneous with the input word. */ val gfmul : (bits(8), xlenbits) -> bits(8) function sm4_sbox(x) = sbox_lookup(x, sm4_sbox_table) val aes_get_column : (bits(128), nat) -> bits(32) function sm4_round(X, S) = ((X) ^ (Y) ^ (Z)) function GG2(X, Y, Z)) function GG1(X, Y, Z) : FF2(X, Y, Z) = ((X) ^ ROL32((X), 23)) function ZVKSH_W(M16, M9, M3, M13, M6) = \ ((X) ^ (Y) ^ (Z)) function GG2(X, Y, Z)) function GG1(X, Y, Z) : FF2(X, Y, Z)) function GG1(X, Y, Z) = (((X) & (Y)) | ((X) & (Z)) | ((Y) & (Z))) function FF_j(X, Y, Z, J) = (((J) <= 15) ? GG1(X, Y, Z) : FF2(X, Y, Z) : FF2(X, Y, Z) : FF2(X, Y, Z) = (((X) & (Y)) |
hoodoos