Instruction-set-extension exploration using decomposable heuristic search

Instruction-set-extensions (ISEs) are custom instructions designed specifically for a class of applications. Hence extracting the maximum benefit out of them is any designer's goal. ISE application is the problem of efficiently applying custom instructions such that some gain function like code-size is optimized. Traditional algorithmic techniques like ILP and state space search have failed to address practical designs. Hence a considerable effort has been put on the design of heuristic algorithms. In this paper we present a new optimal algorithm DCA* that combines divide-and-conquer technique with heuristic search to address this problem. We demonstrate the effectiveness of this novel algorithm on real life designs.

[1]  Majid Sarrafzadeh,et al.  Instruction generation for hybrid reconfigurable systems , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

[2]  Uwe Kastens,et al.  Feedback driven instruction-set extension , 2004, LCTES '04.

[3]  Michael Gschwind,et al.  Instruction set selection for ASIP design , 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

[4]  Scott Mahlke,et al.  Automatically generating custom instruction set extensions , 2002 .

[5]  Srivaths Ravi,et al.  A Scalable Application-Specific Processor Synthesis Methodology , 2003, ICCAD 2003.

[6]  Tulika Mitra,et al.  Characterizing embedded applications for instruction-set extensible processors , 2004, Proceedings. 41st Design Automation Conference, 2004..

[7]  Srivaths Ravi,et al.  A Scalable Synthesis Methodology for Application-Specific Processors , 2006, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[8]  Paolo Ienne,et al.  Automatic application-specific instruction-set extensions under microarchitectural constraints , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[9]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[10]  Majid Sarrafzadeh,et al.  Instruction generation and regularity extraction for reconfigurable processors , 2002, CASES '02.

[11]  Kiyoung Choi,et al.  Efficient instruction encoding for automatic instruction set design of configurable ASIPs , 2002, ICCAD 2002.