if xlen == 32 then X(rs2)[4..0] else X(rs2)[5..0]; let result = result ^ (x >> to_bits(6, i * 8))[7..0] val aes_rv64_shiftrows_fwd : (bits(64), bits(64)) -> bits(64) function aes_rv64_shiftrows_fwd(rs2, rs1) = { (lut >> (idx @ 0b000))[7..0] } function clause execute (VWSLL_VV(vs2, vs1, vd)) = { gfmul(so, 0xb) @ gfmul(so, 0xd) @ gfmul(so, 0xe) } /* Applies the forward sbox to each term: a normal
salespersons