sem [ mulx udivx ] { Rx(rd,  op(Rx(rs1),get_src2(i,rs2,simm13) )); } where op in [ * / ];