Instruction set synthesis with efficient instruction encoding for configurable processors. - Lee, Jong-eun; Choi, Kiyoung; Dutt, Nikil D. (ACM Trans. Design Autom. Electr. Syst., 2007)