Complex library mapping for embedded software using symbolic algebra

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Complex library mapping for embedded software using symbolic algebra

Full text

Pdf (96 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 39th annual Design Automation Conference table of contents

New Orleans, Louisiana, USA

SESSION: Embedded software automation: from specification to binary table of contents

Pages: 325 - 330

Year of Publication: 2002

ISBN ~ ISSN:0738-100X , 1-58113-461-4

Authors

Armita Peymandoust	Computer Systems Laboratory Stanford University, Stanford, CA
Giovanni De Micheli	Computer Systems Laboratory Stanford University, Stanford, CA
Tajana Simunic	HP Labs & Stanford University, Palo Alto, CA

Sponsor

SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 18, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/513918.514003 What is a DOI?

ABSTRACT

Embedded software designers often use libraries that have been pre-optimized for a given processor to achieve higher code quality. However, using such libraries in legacy code optimization is nontrivial and typically requires manual intervention. This paper presents a methodology that maps algorithmic constructs of the software specification to a library of complex software elements. This library-mapping step is automated by using symbolic algebra techniques. We illustrate the advantages of our methodology by optimizing an algorithmic level description of MPEG Layer III (MP3) audio decoder for the Badge4 [2] portable embedded system. During the optimization process we use commercially available libraries with complex elements ranging from simple mathematical functions such as exp to the IDCT routine. We implemented and measured the performance and energy consumption of the MP3 decoder software on Badge4 running embedded Linux operating system. The optimized MP3 audio decoder runs 300 times faster than the original code obtained from the standards body while consuming 400 times less energy. Since our optimized MP3 decoder runs 3.5 times faster than real-time, additional energy can be saved by using processor frequency and voltage scaling.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	P. G. Paulin, C. Liem, M. Cornero, F. Nacabal, and G. Goossens, Embedded software in real-time signal processing systems: application and architecture trends, Proc. IEEE, vol. 85, no. 3, pp. 419--435, Mar. 1997.
	2	G. Q. Maguire, M. Smith, H. W. Peter Beadle, SmartBadges: a wearable computer and communication system, 6th International Workshop on Hardware/Software Codesign, Invited talk, 1998.
	3	"Coded representation of audio, picture, multimedia and hypermedia information", ISO/IEC JTC/SC 29/WG 11, Part 3., May 1993.
	4	Albert Wang , Earl Killian , Dror Maydan , Chris Rowen, Hardware/software instruction set configurability for system-on-chip processors, Proceedings of the 38th conference on Design automation, p.184-188, June 2001, Las Vegas, Nevada, United States [doi>10.1145/378239.378460]
	5	Steven S. Muchnick, Advanced compiler design and implementation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
	6	Mary W. Hall , Jennifer M. Anderson , Saman P. Amarasinghe , Brian R. Murphy , Shih-Wei Liao , Edouard Bugnion , Monica S. Lam, Maximizing Multiprocessor Performance with the SUIF Compiler, Computer, v.29 n.12, p.84-89, December 1996 [doi>10.1109/2.546613]
	7	Peter Marwedel , Gert Goossens, Code Generation for Embedded Processors, Kluwer Academic Publishers, Norwell, MA, 1995
	8	Rainer Leupers, Retargetable Code Generation for Digital Signal Processors, Kluwer Academic Publishers, Norwell, MA, 1997
	9	Francky Catthoor , Eddy de Greef , Sven Suytack, Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design, Kluwer Academic Publishers, Norwell, MA, 1998
	10	Intel, "Integrated Performance Primitives for the Intel StrongARM SA-1110 Microprocessor", 2000.
	11	Texas Instruments, TI54x DSP Library, 2000.
	12	Cygnus Solutions, eCosTM Reference Manual, 1999.
	13	RedHat, Linux-arm math library reference manual.
	14	Jack W. Crenshaw, Math toolkit for real-time programming, CMP Publications, Inc., Manhasset, NY, 2000
	15	A. Peymandoust , T. Simunic , G. de Micheli, Low Power Embedded Software Optimization Using Symbolic Algebra, Proceedings of the conference on Design, automation and test in Europe, p.1052, March 04-08, 2002
	16	T. Simunic, L. Benini, G. De Micheli, Energy-Efficient Design of Battery-Powered Embedded Systems, Special Issue of IEEE Transactions on VLSI, pp. 18--28, May 2001.
	17	ISO/IEC JTC 1/SC 29/WG 11 13818-4, Information Technology, Generic Coding of Moving Pictures and Associated Audio: Conformance, International Organization for Standardization, 1996.
	18	Maple, Waterloo Maple Inc., www.maplesoft.com http://www.maplesoft.com, 1988.
	19	Mathematica, Wolfram Research Inc., www.wri.com http://www.wri.com, 1987.
	20	Armita Peymandoust , Giovanni De Micheli, Symbolic algebra and timing driven data-flow synthesis, Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, November 04-08, 2001, San Jose, California
	21	T. Becker and V. Weispfenning, Gröbner Bases, Springer-Verlag, New York, NY, 1993.
	22	James Smith , Giovanni De Micheli, Polynomial circuit models for component matching in high-level synthesis, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.9 n.6, p.783-800, 12/1/2001 [doi>10.1109/92.974892]