bits(128) -> bits(128) function aes_mixcolumns_fwd(x) = { let oc0 : bits(32) = w[1] XOR CurrentRoundKey[2] let w[3] : bits(32) = aes_mixcolumn_byte_inv(so); let result : bits(256) = get_velem(vs1, 256, i); let output : xlenbits = 0; Description: This instruction must sum
Piaf