Complex instruction and software library mapping for embedded software using symbolic algebra

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 22, Issue 8, 2003, Pages 964-975

  Peymandoust, Armita ^a   Simunic, Tajana ^b   De Micheli, Giovanni ^a  

^a STANFORD UNIVERSITY   (United States)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

Automated software library mapping; Embedded systems; Performance optimization; Power minimization; Software optimization; Symbolic algebra

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE; COSINE TRANSFORMS; MAPPING;

SYMBOLIC ALGEBRA;

MULTIMEDIA SYSTEMS;

EID: 0041592439     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2003.814951     Document Type: Conference Paper

References (35)

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, pp. 419-435, Mar. 1997.
2. G. Q. Maguire, M. Smith, and H. W. P. Beadle, "SmartBadges: A wearable computer and communication system," in Proc. 6th Int. Workshop on Hardware/Software Codesign, 1998, pp. 10-16.
3. "Coded Representation of Audio, Picture, Multimedia and Hypermedia Information,", ISO/IEC JTC/SC 29/WG 11, pt. 3, 1993.
4. M. Willems, H. Keding, T. Grötket, and H. Meyr, "Fridge: An interactive fixed-point code generation environment for HW/SW codesign," in Proc. Int. Conf. Acoustics, Speech, Sig. Process., 1997, pp. 687-690.
5. G. Constantinides, P. Cheung, and W. Luk, "The multiple wordlength paradigm," in Proc. IEEE Symp. Field-Programmable Custom Comput. Mach., Mar. 2001.
6. A. Wang, E. Killian, D. Maydan, and C. Rowen, "Hardware/software instruction set configurability for system-on-Chip processors," in Proc. Design Automation Conf., 2001, pp. 184-190.
7. S. Muchnick, Advanced Compiler Design and Implementation. San Mateo, CA: Morgan Kaufmann, 1997.
8. M. Hall, J. Anderson, S. Amarasinghe, B. Murphy, S. Liao, E. Bugnion, and M. Lam, "Maximizing multiprocessor performance with the SUIF compiler," IEEE Comput., vol. 29, pp. 84-89, Dec. 1996.
9. P. Marwedel and G. Goossens, Code Generation for Embedded Processors. Norwell, MA: Kluwer, 1995.
10. R. Leupers, Retargetable Code Generation for Digital Signal Processors. Norwell, MA: Kluwer, 1997.
11. F. Catthoor, S. Wuytack, E. De Greef, F. Balasa, L. Nachtergaele, and A. Vanduoppelle, Custom Memory Management Methodology: Exploration of Memory Organization for Embedded Multimedia System Design. Norwell, MA: Kluwer, 1998.
12. V. Tiwari, S. Malik, A. Wolfe, and M. Lee, "Instruction level power analysis and optimization of software," J. VLSI Signal Process. Syst., vol. 13, no. 2-3, pp. 223-238, 1996.
13. V. Tiwari, S. Malik, and A. Wolfe, "Power analysis of embedded software: A first step toward software power minimization," IEEE Trans. VLSI Syst., vol. 2, pp. 437-445, Dec. 1994.
14. Integrated Performance Primitives for the Intel StrongARM SA-1110 Microprocessor (2000). [Online]. Available: www.intel.com
15. TI'54x DSP Library, Texas Instruments, 2000.
16. eCos™ Reference Manual, Cygnus Solutions, 1999.
17. Linux-Arm Math Library Reference Manual, RedHat, Inc., 2000.
18. J. Crenshaw, Math Toolkit for Real-Time Programming. Lawrence, KS: CMP Books, 2000.
19. H. Mehta, R. M. Owens, M. J. Irvin, R. Chen, and D. Ghosh, "Techniques for low energy software," in Proc. Int. Symp. Low-Power Electron. Design, 1997, pp. 72-75.
20. Y. Li and J. Henkel, "A framework for estimating and minimizing energy dissipation of embedded HW/SW systems," in Proc. Design Automation Conf. 1998, pp. 188-193.
21. H. Tomyiama, H. T. Ishihara, A. Inoue, and H. Yasuura, "Instruction scheduling for power reduction in processor-based system design," Design, Automation, Test Eur., pp. 23-26, Feb. 1998.
22. M. Kandemir, N. Vijaykrishnan, M. Irwin, and W. Ye, "Influence of compiler optimizations on system power," in Proc. 27th Int. Symp. Comput. Architecture, 2000, pp. 35-41.
23. ARM Software Development Toolkit Version 2.11, Advanced RISC Machines Ltd (ARM), 1996.
24. T. Simunic, L. Benini, and G. De Micheli, "Energy-efficient design of battery-powered embedded systems," IEEE Trans. VLSI Syst., vol. 9, pp. 18-28, May 2001.
25. Information Technology, Generic Coding of Moving Pictures and Associated Audio: Conformance, ISO/IEC JTC 1/SC 29/WG 11 13 818-4, 1996.
26. (1988) Maple. Waterloo Maple Inc. [Online]. Available: www.maplesoft.com
27. (1987) Mathematica. Wolfram Research Inc. [Online]. Available: www.wri.com
28. A. Peymandoust and G. De Micheli, "Symbolic algebra and timing driven data-flow synthesis," in Proc. Int Conf. Computer-Aided Design, 2001, pp. 300-305.
29. _, "Using symbolic algebra in algorithmic level DSP synthesis," in Proc. Design Automation Conf, 2001, pp. 277-282.
30. T. Becker and V. Weispfenning, Gröbner Bases. New York: Springer-Verlag, 1993.
31. J. Smith and G. De Micheli, "Polynomial methods for component matching and verification," in Proc. Int. Conf. Computer-Aided Design, 1998, pp. 678-685.
32. _, "Polynomial circuit models for component matching in high-level synthesis," IEEE Trans. VLSI Syst., vol. 9, pp. 783-800, Dec. 2001.
33. V. Zivojnovic, J. Martinez, C. Schläger, and H. Meyr, "DSPstone: A DSP-oriented benchmarking methodology," in Proc. Int. Conf. Sig. Process. Applicat. Technol., Dallas, TX, 1994.
34. T. Simunic, L. Benini, G. De Micheli, and M. Hans, "Source code optimization and profiling of energy consumption in embedded systems," in Proc. Int. Symp. Syst. Synthesis, Sept. 2000, pp. 193-198.
35. A. Peymandoust and G. De Micheli, "Application of symbolic computer algebra in high-level data-flow synthesis," IEEE Trans. Computer-Aided Design, vol. 22, Sept. 2003, to be published.