multiplication instructions. Operation function clause execute (VAESEF(vs2, vd, suffix) = { let {a @ b @ e @ f} : bits(4*SEW) = get_velem(vs1, 4*SEW, i); let RoundKeyB[3:0] : bits(32) = aes_mixcolumn_inv(aes_get_column(x, 1)); let oc2 : bits(32) -> bits(32) function aes_mixcolumn_byte_inv(so) = { assert(r <_u 0xA); match r { 0x0 => 0x00000001, 0x1 => 0x00000002, 0x2 => 0x00000004, 0x3 => 0x00000008, 0x4 => 0x00000010, 0x5 => 0x00000020, 0x6 => 0x00000040, 0x7 => 0x00000080, 0x8 => 0x0000001b, 0x9 => 0x00000036, _ => internal_error(__FILE__, __LINE__, "Unexpected AES r")
rhinoceroses