Instruction-set-extension exploration using decomposable heuristic search | IEEE Conference Publication | IEEE Xplore