Pozzi, et al.. Exact and Approximate Algorithms for the Extension of Embedded Processor Instruction Sets. Institute of Electrical and Electronics Engineers (IEEE), 2006, doi:10.1109/tcad.2005.855950.