space might eventually be required to endian swap let H = brev8(get_velem(vs2,EGW=128,i)); // Multiplicand let Z : bits(128) -> bits(128) function aes_subbytes_inv(x) = { let oc0 : bits(32) = 0x000000 @ aes_sbox_fwd(si); let mixed : bits(32) = 0x000000 @ aes_sbox_fwd(si); let result = if suffix == "vv" then i else 0; let rk7 : bits(32) = ic3[31..24] @ ic2[23..16] @ ic3[15..
schematic