Jong-eun Lee Kiyoung Choi Nikil D. Dutt Instruction set synthesis with efficient instruction encoding for configurable processors. 2007 12 ACM Trans. Design Autom. Electr. Syst. 1 http://doi.acm.org/10.1145/1217088.1217096 db/journals/todaes/todaes12.html#LeeCD07