CFP last date
20 May 2024
Reseach Article

Multiple Output Complex Instruction Matching Algorithm for Extensible Processors

by Puneet Goyal, Narayan Chaturvedi
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 49 - Number 21
Year of Publication: 2012
Authors: Puneet Goyal, Narayan Chaturvedi
10.5120/7897-1240

Puneet Goyal, Narayan Chaturvedi . Multiple Output Complex Instruction Matching Algorithm for Extensible Processors. International Journal of Computer Applications. 49, 21 ( July 2012), 31-35. DOI=10.5120/7897-1240

@article{ 10.5120/7897-1240,
author = { Puneet Goyal, Narayan Chaturvedi },
title = { Multiple Output Complex Instruction Matching Algorithm for Extensible Processors },
journal = { International Journal of Computer Applications },
issue_date = { July 2012 },
volume = { 49 },
number = { 21 },
month = { July },
year = { 2012 },
issn = { 0975-8887 },
pages = { 31-35 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume49/number21/7897-1240/ },
doi = { 10.5120/7897-1240 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:46:51.253430+05:30
%A Puneet Goyal
%A Narayan Chaturvedi
%T Multiple Output Complex Instruction Matching Algorithm for Extensible Processors
%J International Journal of Computer Applications
%@ 0975-8887
%V 49
%N 21
%P 31-35
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
Abstract

In order to meet the increasing challenges concerning the performance and power demands of embedded applications, a processor is now embedded with the Application-specific functional units. Customized Functional Units both as hardware and the corresponding instructions are embedded to the base processor in order to improve the computational efficiency for a target application. During this process of generating the complex instructions and also for the code generation on this extended processor, one of the critical challenges for the compiler is to automatically perform fast and efficient instruction matching and selection. In this project, we developed a novel and efficient algorithm for matching the multiple-output complex Functional Units (FU's). We will also illustrate that the assumption, which is the basis of the most of the current covering methodologies, may not always hold true. Current covering algorithms, generally aim to find the optimal cover within each basic block that minimizes the number of selected matches. Fewer matches translate to fewer operations for the schedule, and it is expected that the increased scheduling freedom leads to better (shorter) schedule. We provide some examples showing that this assumption need not necessarily achieve the goal of minimizing the execution time.

References
  1. D. Seal, ARM Architecture Reference Manual. Addison –Wesley, 2000.
  2. Nathan T. Clark, Hongtao Zhong, Scott A. Mahlke, Automated custom instruction generation for domain-specific processor acceleration. IEEE Transactions on Computers, October 2005.
  3. N. Pothineni et. al. , Exhaustive Enumeration of Legal Custom Instructions for Extensible Processors, 21st Int'l Conf. on VLSI design 2008.
  4. R. E. Gonzalez. Xtensa: A configurable and extensible processor. IEEE Micro, 2000
  5. T. R. Halfhill, Mips embraces configurable methodology. March 2003
  6. K. K. Dagon. Technology binding and local optimization by dag matching. In Proceedings of the design Automation Conference, pages 617-623, May 1987.
  7. A. Aho, R. Sethi and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986
  8. K. Atasu et al. , "Automatic Application-Specific Instruction Set Extensions under Microarchitectural Constraints," Proc. 40th Design Automation Conf. , June 2003.
  9. Giovanni De Micheli. Synthesis and optimization of digital circuits. McGraw Hill, 1994
  10. Y. Kukimoto, R. K. Brayton, and P. Sawkar. Delay-optimal technology mapping by dag covering. In Proceedings of the Design Automation Conference, 1998.
  11. Armita Peymandoust and Giovanni De Micheli. Symbolic algebra and timing driven data-flow synthesis. In Proceedings of International Conference on ComputerAidedDesign,2001.
  12. Paolo Ienne, Laura Pozzi, and M. Vuletic. On the limits of processor specialization by mapping data flow sections on ad-hoc functional units. Technical Report CS Technical Report 01/376, LAP, EPFL, Lausanne, December 2001.
  13. Marnix Arnold. Matching and covering with multiple output patterns. Technical Report 1-68340-44(1999)-01, Delft University of Technology, January 1999.
  14. Marnix Arnold and Henk Corporaal. Designing domain-specific processors. ACM, 2001.
  15. Machinesuif. http://www. eecs. harvard. edu/hube/software.
  16. The trimaran compiler infrastructure. http://www. trimaran. org
Index Terms

Computer Science
Information Sciences

Keywords

Matching algorithms Instruction Set Architecture