Low power embedded software optimization using symbolic algebra

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2002, Pages 1052-1058

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

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC LEVELS; ENERGY PROFILING; EXECUTABLE SPECIFICATIONS; LOW ENERGY CONSUMPTION; MULTIMEDIA APPLICATIONS; REAL TIME CONSTRAINTS; SOFTWARE OPTIMIZATION; SYMBOLIC ALGEBRA;

ALGEBRA; ALGORITHMS; APPLICATION PROGRAMS; DESIGN; EMBEDDED SYSTEMS; ENERGY UTILIZATION; EXHIBITIONS; MOTION PICTURE EXPERTS GROUP STANDARDS; TOOLS;

OPTIMIZATION;

EID: 84893797318     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2002.998432     Document Type: Conference Paper

References (24)

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. M. Willems, H. Keding, T. Grötket, and H. Meyr, "Fridge: An interactive Fixed-Point Code Generation Environment for HW/SW CoDesign", Proceedings of Int. Conf. On Acoustics, Speech, and Signal Processing, 1997.
5. Albert Wang, Earl Killian, Dror Maydan, Chris Rowen, "Hardware/ Software Instruction Set Configurability for System-on-Chip Processors", Design Automation Conference, pp. 184-190, 2001.
6. S. Muchnick, Advanced Compiler Design and Implementation, Morgan Kaufmann, 1997.
7. M. Hall, J. Anderson, S. Amarasinghe, B. Murphy, S. Liao, E. Bugnion, M. Lam, "Maximizing multiprocessor performance with the SUIF compiler", IEEE Computer vol. 29, no. 12, pp. 84-89, Dec. 1996.
8. P. Marwedel and G. Goossens. Code Generation for Embedded Processors. Kluwer Academic Publishers, 1995.
9. R. Leupers, Retargetable Code Generation for Digital Signal Processors, Kluwer Academic Publishers, 1997
10. F. Catthoor, S. Wuytack, E. De Greef, F. Balasa, L. Nachtergaele, A. Vanduoppelle, Custom Memory Management Methodology: Exploration of Memory Organisation for Embedded Multimedia System Design, 1998, Kluwer Academic Pub.
11. V. Tiwari, S. Malik, A. Wolfe, M. Lee, "Instruction Level Power Analysis and Optimization of Software", Journal of VLSI Signal Processing Systems, vol 13, no.2-3, pp.223-2383, 1996.
12. V. Tiwari, S. Malik, A. Wolfe, "Power Analysis of Embedded Software: A First Step Towards Software Power Minimization", IEEE Transactions on VLSI Systems, vol. 2, no.4, pp.437-445, December 1994.
13. H. Mehta, R.M. Owens, M.J. Irvin, R. Chen, D. Ghosh, "Techniques for Low Energy Software", International Symposium on Low Power Electronics and Design, pp. 72-75, 1997.
14. Y. Li and J. Henkel, "A Framework for Estimating and Minimizing Energy Dissipation of Embedded HW/SW Systems", Design Automation Conference, pp.188-193, 1998.
15. H. Tomyiama, H., T. Ishihara, A. Inoue, H. Yasuura, "Instruction scheduling for power reduction in processor-based system design", Design, Automation and Test in Europe, pp. 23-26, Feb. 1998.
16. M. Kandemir, N. Vijaykrishnan, M. Irwin, W. Ye, "Influence of Compiler Optimizations on System Power", The 27th International Symposium on Computer Architecture, pp.35-41, 2000.
17. Advanced RISC Machines Ltd (ARM), ARM Software Development Toolkit Version 2.11, 1996.
18. 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.
19. 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.
20. Maple, Waterloo Maple Inc., www.maplesoft.com, 1988.
21. Mathematica, Wolfram Research Inc., www.wri.com, 1987.
22. A. Peymandoust and G. De Micheli, "Symbolic Algebra and Timing Driven Data-flow Synthesis", Proceedings of the International Conference on Computer Aided Design, 2001.
23. T. Becker and V. Weispfenning, Gröbner Bases, Springer-Verlag, New York, NY, 1993.
24. J. Smith and G. De Micheli, "Polynomial Methods for Component Matching and Verification", Proceedings of the International Conference on Computer Aided Design, 1998.