H = brev8(get_velem(vs2,EGW=128,i)); // Hash subkey let Z : bits(128) = get_velem(vs2, SEW, i); let w[0] : bits(32) = rol32(y, unsigned(shamt)); let result: bits(32) = aes_mixcolumn_byte_fwd(so); let result : bits(32) = aes_subword_inv(aes_get_column(x, 1)); let oc2 : bits(32) = rev8(Hi); let G : bits(32) = aes_subword_inv(aes_get_column(x, 0)); let oc1 : bits(32) ROL32(F, 19); F = E1; let E2 = : bits(32) = ic3[31..24] @ ic2[23..16] @ ic1[15.. 8] @ ic0[ 7.. 0]; let a1 : bits
desiccant