research-article

Determining Application-Specific Peak Power and Energy Requirements for Ultra-Low-Power Processors

Authors:

Hari Cherupalli,

John SartoriAuthors Info & Claims

ACM Transactions on Computer Systems (TOCS), Volume 35, Issue 3

Article No.: 9, Pages 1 - 33

https://doi.org/10.1145/3148052

Published: 26 December 2017 Publication History

Abstract

Many emerging applications such as the Internet of Things, wearables, implantables, and sensor networks are constrained by power and energy. These applications rely on ultra-low-power processors that have rapidly become the most abundant type of processor manufactured today. In the ultra-low-power embedded systems used by these applications, peak power and energy requirements are the primary factors that determine critical system characteristics, such as size, weight, cost, and lifetime. While the power and energy requirements of these systems tend to be application specific, conventional techniques for rating peak power and energy cannot accurately bound the power and energy requirements of an application running on a processor, leading to overprovisioning that increases system size and weight. In this article, we present an automated technique that performs hardware–software coanalysis of the application and ultra-low-power processor in an embedded system to determine application-specific peak power and energy requirements. Our technique provides more accurate, tighter bounds than conventional techniques for determining peak power and energy requirements. Also, unlike conventional approaches, our technique reports guaranteed bounds on peak power and energy independent of an application’s input set. Tighter bounds on peak power and energy can be exploited to reduce system size, weight, and cost.

Supplementary Material

cherupalli (cherupalli.zip)

Supplemental movie, appendix, image and software files for, Determining Application-Specific Peak Power and Energy Requirements for Ultra-Low-Power Processors

Download
1.01 MB

References

[1]

Allaboutbatteries.com. 2015. Battery Energy. Retrieved November 4, 2017 from http://www.allaboutbatteries.com/Battery-Energy.html. (2015).

[2]

ARM Mbed. Welcome to Mbed. Retrieved November 6, 2017 from https://www.mbed.com/en/.

[3]

John Greenough. 2015. The Internet of Everything: 2015 {Slide Deck}. Business Insider. http://www.businessinsider.com/internet-of-everything-2015-bi-2014-12

[4]

Jacob Borgeson. 2012. Ultra-low-power pioneers: TI slashes total MCU power by 50 percent with new “Wolverine” MCU platform. Texas Instruments White Paper. Retrieved November 6, 2017 from http://www.ti.com/lit/wp/slay019a/slay019a.pdf.

[5]

Randal E. Bryant. 1991. Symbolic simulation – Techniques and applications. In Proceedings of the 27th ACM/IEEE Design Automation Conference. ACM, 517--521.

Digital Library

[6]

Isidor Buchmann. 2016. The secrets of battery runtime. Battery University. Retrieved August 15, 2016 from http://batteryuniversity.com/learn/archive/the_secrets_of_battery_runtime.

[7]

Cristian Cadar and Koushik Sen. 2013. Symbolic execution for software testing: Three decades later. Communications of the ACM 56, 2, 82--90.

Digital Library

[8]

Cadence. 2014. Encounter Digital Implementation User Guide. Version: 14.11. http://www.cadence.com/.

[9]

B. H. Calhoun, S. Khanna, Yanqing Zhang, J. Ryan, and B. Otis. 2010. System design principles combining sub-threshold circuit and architectures with energy scavenging mechanisms. In Proceedings of 2010 IEEE International Symposium on Circuits and Systems (ISCAS’10). 269--272.

[10]

Hari Cherupalli, Rakesh Kumar, and John Sartori. 2016. Exploiting dynamic timing slack for energy efficiency in ultra-low-power embedded systems. In 43th Annual International Symposium on Computer Architecture (ISCA’16). IEEE.

Digital Library

[11]

Cloud Compiling. 2013. Welcome to Cloud Compiling. Retrieved November 6, 2017 from http://www.cloudcompiling.com/.

[12]

Adam Dunkels, Joakim Eriksson, Niclas Finne, Fredrik Osterlind, Nicolas Tsiftes, Julien Abeillé, and Mathilde Durvy. 2012. Low-power IPv6 for the Internet of Things. In 9th International Conference on Networked Sensing Systems (INSS’12). IEEE, 1--6.

[13]

EEMBC. 2017. Embedded Microprocessor Benchmark Consortium. Retrieved November 6, 2017 from http://www.eembc.org.

[14]

Dave Evans. 2011. The Internet of Things: How the next evolution of the Internet is changing everything. Retrieved August 15, 2016 from https://www.cisco.com/c/dam/en_us/about/ac79/docs/innov/IoT_IBSG_0411FINAL.pdf.

[15]

Tao Feng, L. C. Wang, Kwang-Ting Cheng, M. Pandey, and M. S. Abadir. 2003. Enhanced symbolic simulation for efficient verification of embedded array systems. In Proceedings of the 2003 ASP-DAC Asia and South Pacific Design Automation Conference. 302--307.

Digital Library

[16]

Kjartan Furset and Peter Hoffman. 2011. High pulse drain impact on CR2032 coin cell battery capacity. Nordic Semiconductor and Energizer. Retrieved August 15, 2016 from https://m.eet.com/media/1121454/c0924post.pdf.

[17]

O. Girard. 2013. OpenMSP430 project. Opencores.org. Retrieved March 1, 2014 from https://opencores.org/project,openmsp430.

[18]

M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge, and R. B. Brown. 2001. MiBench: A free, commercially representative embedded benchmark suite. In Proceedings of the 2001 IEEE International Workshop Workload Characterization (WWC’01). 3--14.

Digital Library

[19]

K. Hamaguchi. 2001. Symbolic simulation heuristics for high-level design descriptions with uninterpreted functions. In Proceedings of the 6th IEEE International High-Level Design Validation and Test Workshop. 25--30.

Digital Library

[20]

Michael S. Hsiao. 1999. Peak power estimation using genetic spot optimization for large VLSI circuits. In Proceedings of the Conference on Design, Automation and Test in Europe. ACM, 38.

Digital Library

[21]

Michael S. Hsiao, Elizabeth M. Rudnick, and Janak H. Patel. 1997. K2: An estimator for peak sustainable power of VLSI circuits. In Proceedings of the 1997 International Symposium on Low Power Electronics and Design. IEEE, 178--183.

Digital Library

[22]

ITRS. 2015. International Technology Roadmap for Semiconductors 2.0 2015 Edition Executive Report. 2015. Retrieved November 6, 2017 from http://www.semiconductors.org/main/2015_international_technology_roadmap_for_semiconductors_itrs/.

[23]

P. Jain and G. Gopalakrishnan. 1994. Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13, 8, 1005--1015.

Digital Library

[24]

Ramkumar Jayaseelan, Tulika Mitra, and Xianfeng Li. 2006. Estimating the worst-case energy consumption of embedded software. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’06). IEEE, 81--90.

Digital Library

[25]

Youngtaek Kim, Lizy Kurian John, Sanjay Pant, Srilatha Manne, Michael Schulte, W. Lloyd Bircher, and Madhu S. Sibi Govindan. 2012. AUDIT: Stress testing the automatic way. In Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO’12). IEEE Computer Society, Washington, DC, USA, 212--223.

Digital Library

[26]

A. Kolbi, J. Kukula, and R. Damiano. 2001. Symbolic RTL simulation. In Proceedings of the 2001 Design Automation Conference. 47--52.

Digital Library

[27]

Vasileios Kontorinis, Amirali Shayan, Dean M. Tullsen, and Rakesh Kumar. 2009. Reducing peak power with a table-driven adaptive processor core. In Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO’09). ACM, New York, NY, USA, 189--200.

Digital Library

[28]

L. Liu and S. Vasudevan. 2011. Efficient validation input generation in RTL by hybridized source code analysis. In Design, Automation Test in Europe Conference Exhibition (DATE’11). 1--6.

[29]

Michele Magno, Luca Benini, Christian Spagnol, and E. Popovici. 2013. Wearable low power dry surface wireless sensor node for healthcare monitoring application. In IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob’13). IEEE, 189--195.

[30]

Jeremy Morse, Steve Kerrison, and Kerstin Eder. 2016. On the infeasibility of analysing worst-case dynamic energy. arXiv Preprint arXiv:1603.02580.

[31]

K. Najeeb, V. Vardhan, R. Konda, S. Kumar, S. Hari, V. Kamakoti, and V. M. Vedula. 2007. Power virus generation using behavioral models of circuits. In 25th IEEE VLSI Test Symposium. 35--42.

Digital Library

[32]

National Instruments. 2016. Compile Faster with the LabVIEW FPGA Compile Cloud Service. Retrieved November 6, 2017 from http://www.ni.com/white-paper/52328/en/.

[33]

Intel Corporation. 2000. Intel Pentium 4 Processor in the 423-pin Package Thermal Design Guidelines. Retrieval August 15, 2016 from http://download.intel.com/support/processors/pentium4/sb/24920301.pdf.

[34]

IC Insights. 2005. Microcontroller Sales Regain Momentum After Slump. Retrieval date August 15, 2016 from http://www.icinsights.com/news/bulletins/Microcontroller-Sales-Regain-Momentum-After-Slump/.

[35]

J. A. Paradiso and T. Starner. 2005. Energy scavenging for mobile and wireless electronics. IEEE Pervasive Computing 4, 1, 18--27.

Digital Library

[36]

Chulsung Park, Pai H. Chou, Ying Bai, Robert Matthews, and Andrew Hibbs. 2006. An ultra-wearable, wireless, low power ECG monitoring system. In IEEE Biomedical Circuits and Systems Conference (BioCAS’06). IEEE, 241--244.

[37]

Gil Press. 2014. Internet of Things by the numbers: Market estimates and forecasts. Forbes. Retrieval Aug 15, 2016 from https://www.forbes.com/sites/gilpress/2014/08/22/internet-of-things-by-the-numbers-market-estimates-and-forecasts/.

[38]

Sriram Sambamurthy, Sankar Gurumurthy, Ramtilak Vemu, and Jacob A. Abraham. 2009. Functionally valid gate-level peak power estimation for processors. In Quality of Electronic Design (ISQED’09). IEEE, 753--758.

Digital Library

[39]

J. Sartori and R. Kumar. 2009. Distributed peak power management for many-core architectures. In Design, Automation Test in Europe Conference Exhibition (DATE’09).1556--1559.

Digital Library

[40]

Kiran Seth, Aravindh Anantaraman, Frank Mueller, and Eric Rotenberg. 2006. Fast: Frequency-aware static timing analysis. ACM Transactions on Embedded Computing Systems 5, 1, 200--224.

Digital Library

[41]

Synopsys. 2015. Design Compiler User Guide. Version: K-2015.06. http://www.synopsys.com/.

[42]

Synopsys. 2015. PrimeTime User Guide. Version: K-2015.06-SP2. http://www.synopsys.com/.

[43]

Russell Tessier, David Jasinski, Atul Maheshwari, Aiyappan Natarajan, Weifeng Xu, and Wayne Burleson. 2005. An energy-aware active smart card. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 13, 10, 1190--1199.

Digital Library

[44]

Texas Instruments. 2013. eZ430-RF2500-SEH solar energy harvesting development tool user’s guide. Retrieved November 6, 2017 from http://www.ti.com/lit/ug/slau273d/slau273d.pdf, (2013).

[45]

Peter Wägemann, Tobias Distler, Timo Hönig, Heiko Janker, Rüdiger Kapitza, and Wolfgang Schröder-Preikschat. 2015. Worst-case energy consumption analysis for energy-constrained embedded systems. In 27th Euromicro Conference on Real-Time Systems. IEEE, 105--114.

Digital Library

[46]

Chuan-Yu Wang and Kaushik Roy. 1998. Maximum power estimation for CMOS circuits using deterministic and statistical approaches. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 6, 1, 134--140.

Digital Library

[47]

Wikipedia. 2016. List of wireless sensor nodes. Retrieved November 6, 2017 from https://en.wikipedia.org/wiki/List_of_wireless_sensor_nodes.

[48]

Ross Yu and Thomas Watteyne. 2013. Reliable, low power wireless sensor networks for the Internet of Things: Making wireless sensors as accessible as web servers. Linear Technology Retrieved November 6, 2017 from http://cds.linear.com/docs/en/white-paper/wp003.pdf.

[49]

Bo Zhai, Sanjay Pant, Leyla Nazhandali, Scott Hanson, Javin Olson, Anna Reeves, Michael Minuth, Ryan Helfand, Todd Austin, Dennis Sylvester, and others. 2009. Energy-efficient subthreshold processor design. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 17, 8, 1127--1137.

Digital Library

[50]

Y. Zhang, Z. Chen, and J. Wang. 2012. Speculative symbolic execution. In IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE’12). 101--110.

Digital Library

Cited By

Sethumurugan SHegde SCherupalli HSartori JOshana R(2022)A scalable symbolic simulation tool for low power embedded systemsProceedings of the 59th ACM/IEEE Design Automation Conference10.1145/3489517.3530433(175-180)Online publication date: 10-Jul-2022
https://dl.acm.org/doi/10.1145/3489517.3530433
Guldner AMurach J(2022)Measuring and Assessing the Resource and Energy Efficiency of Artificial Intelligence of Things Devices and AlgorithmsAdvances and New Trends in Environmental Informatics10.1007/978-3-031-18311-9_11(185-199)Online publication date: 10-Nov-2022
https://doi.org/10.1007/978-3-031-18311-9_11
Hegde SSethumurugan SCherupalli HDuwe HSartori J(2021)Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded SystemsProceedings of the 26th Asia and South Pacific Design Automation Conference10.1145/3394885.3431157(318-324)Online publication date: 18-Jan-2021
https://dl.acm.org/doi/10.1145/3394885.3431157
Show More Cited By

Index Terms

Determining Application-Specific Peak Power and Energy Requirements for Ultra-Low-Power Processors

Recommendations

Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors
ASPLOS '17: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems

Many emerging applications such as IoT, wearables, implantables, and sensor networks are power- and energy-constrained. These applications rely on ultra-low-power processors that have rapidly become the most abundant type of processor manufactured ...
Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors
Asplos'17

Many emerging applications such as IoT, wearables, implantables, and sensor networks are power- and energy-constrained. These applications rely on ultra-low-power processors that have rapidly become the most abundant type of processor manufactured ...
Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors
ASPLOS '17

Many emerging applications such as IoT, wearables, implantables, and sensor networks are power- and energy-constrained. These applications rely on ultra-low-power processors that have rapidly become the most abundant type of processor manufactured ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Computer Systems

ACM Transactions on Computer Systems Volume 35, Issue 3

August 2017

103 pages

ISSN:0734-2071

EISSN:1557-7333

DOI:10.1145/3160907

Editor:
Todd C. Mowry
Carnegie Mellon University, Pittsburgh, PA

Issue’s Table of Contents

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 December 2017

Accepted: 01 September 2017

Received: 01 September 2017

Published in TOCS Volume 35, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
468
Total Downloads

Downloads (Last 12 months)24
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sethumurugan SHegde SCherupalli HSartori JOshana R(2022)A scalable symbolic simulation tool for low power embedded systemsProceedings of the 59th ACM/IEEE Design Automation Conference10.1145/3489517.3530433(175-180)Online publication date: 10-Jul-2022
https://dl.acm.org/doi/10.1145/3489517.3530433
Guldner AMurach J(2022)Measuring and Assessing the Resource and Energy Efficiency of Artificial Intelligence of Things Devices and AlgorithmsAdvances and New Trends in Environmental Informatics10.1007/978-3-031-18311-9_11(185-199)Online publication date: 10-Nov-2022
https://doi.org/10.1007/978-3-031-18311-9_11
Hegde SSethumurugan SCherupalli HDuwe HSartori J(2021)Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded SystemsProceedings of the 26th Asia and South Pacific Design Automation Conference10.1145/3394885.3431157(318-324)Online publication date: 18-Jan-2021
https://dl.acm.org/doi/10.1145/3394885.3431157
Razzaq ASani SYe A(2021)Designing efficient FPGA tiles for power-constrained ultra-low-power applicationsIntegration10.1016/j.vlsi.2021.02.00478(124-134)Online publication date: May-2021
https://doi.org/10.1016/j.vlsi.2021.02.004
Guldner AKern EKreten SNaumann S(2021)Criteria for Sustainable Software Products: Analyzing Software, Informing Users, and PoliticsSoftware Sustainability10.1007/978-3-030-69970-3_2(17-42)Online publication date: 6-Oct-2021
https://doi.org/10.1007/978-3-030-69970-3_2
Mokri PHempstead MXie Y(2020)Early-stage automated accelerator identification tool for embedded systems with limited areaProceedings of the 39th International Conference on Computer-Aided Design10.1145/3400302.3415733(1-8)Online publication date: 2-Nov-2020
https://dl.acm.org/doi/10.1145/3400302.3415733
Naumann SGuldner AKern E(2020)The Eco-label Blue Angel for Software—Development and ComponentsAdvances and New Trends in Environmental Informatics10.1007/978-3-030-61969-5_6(79-89)Online publication date: 17-Dec-2020
https://doi.org/10.1007/978-3-030-61969-5_6

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents