New decompilation techniques for binary-level co-processor generation. - Greg Stiff; Frank Vahid (ICCAD, 2005)