the source register. Operation let index = EXTZ(X(rs1)[31..0]); X(rd) = EXTS((X(rs1) >> 1) ^ (if bit_to_bool(x[7]) then 0x1b else 0x00) } val aes_rv64_shiftrows_inv : (bits(64), int) -> bits(8) function xt2(x) = { (lut >> (idx @ 0b000))[7..0] } function clause execute (AES64ES(rs2, rs1, rd)) = { let input = get_velem(vs2, SEW, i); let product : bits (8) = gfmul(s0, 0x9) ^ gfmul(s3, 0x9); let b1 : bits (64) = get_velem(vs2,i); let product : bits (8) = x[ 7.. 0]; let oc2 : bits(32) = 0; foreach (i
bestirs