New decompilation techniques for binary-level co-processor generation