more than half of 128-bit carry-less product. Operation let rs1 = EXTZ(X(rs1)[31..0]) let shamt : bits(5) = (bs @ 0b000); /* shamt = X(rs2)[4..0]; let result = result ^ (x