Title :
A polynomial-time custom instruction identification algorithm based on dynamic programming
Author :
Ahn, Junwhan ; Lee, Imyong ; Choi, Kiyoung
Author_Institution :
Sch. of Electr. Eng. & Comput. Sci., Seoul Nat. Univ., Seoul, South Korea
Abstract :
This paper introduces an innovative algorithm for automatic instruction-set extension, which gives a pseudo-optimal solution within polynomial time to the size of a graph. The algorithm uses top-down dynamic programming strategy with the branch-and-bound algorithm in order to exploit overlapping of subproblems. Correctness of the algorithm is formally proved, and time complexity is analyzed from it. Also, it is verified that the algorithm gives an optimal solution for some type of merit functions, and has very small possibility of obtaining non-optimal solution in general. Furthermore, several experimental results are presented as evidence of the fact that the proposed algorithm has notable performance improvement.
Keywords :
dynamic programming; formal verification; instruction sets; polynomials; tree searching; automatic instruction-set extension; branch-and-bound algorithm; polynomial-time custom instruction identification; pseudo-optimal solution; top-down dynamic programming; Complexity theory; Dynamic programming; Equations; Hardware; Heuristic algorithms; Program processors;
Conference_Titel :
Design Automation Conference (ASP-DAC), 2011 16th Asia and South Pacific
Conference_Location :
Yokohama
Print_ISBN :
978-1-4244-7515-5
DOI :
10.1109/ASPDAC.2011.5722255