skip to main content
research-article
Public Access
Best Paper

Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors

Authors Info & Claims
Published:04 April 2017Publication History
Skip Abstract Section

Abstract

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 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 over-provisioning that increases system size and weight. In this paper, we present an automated technique that performs hardware-software co-analysis 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, reporting 15% lower peak power and 17% lower peak energy, on average, than a conventional approach based on profiling and guardbanding. Compared to an aggressive stressmark-based approach, our technique reports power and energy bounds that are 26% and 26% lower, respectively, on average. 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.

References

  1. EEMBC, Embedded Microprocessor Benchmark Consortium. http://www.eembc.org.Google ScholarGoogle Scholar
  2. International Technology Roadmap for Semiconductors 2.0 2015 Edition Executive Report. http://www.semiconductors.org/main/2015_international_technology_roadmap_for_semiconductors_itrs/.Google ScholarGoogle Scholar
  3. Microcontroller Sales Regain Momentum After Slump. www.icinsights.com/news/bulletins/Microcontroller-Sales-Regian-Momentum-After-Slump.Google ScholarGoogle Scholar
  4. Intel corporation: Intel pentium 4 processor in the 423-pin package thermal design guidelines, 2000.Google ScholarGoogle Scholar
  5. Battery energy. http://www.aboutbatteries.com/Battery-Energy.html, 2015.Google ScholarGoogle Scholar
  6. arm_mbedARM. ARM mbed IoT Device Platform. URL https://www.mbed.com/en/.Google ScholarGoogle Scholar
  7. H. Blodget, M. Ballve, T. Danova, C. Smith, J. Heggestuen, M. Hoelzel, E. Adler, C. Weissman, H. King, N. Quah, J. Greenough, and J. Smith. The internet of everything: 2015. BI Intelligence, 2014.Google ScholarGoogle Scholar
  8. J. Borgeson. Ultra-low-power pioneers: TI slashes total MCU power by 50 percent with new "Wolverine" MCU platform. Texas Instruments White Paper, 2012. URL http://www.ti.com/lit/wp/slay019a/slay019a.pdf.Google ScholarGoogle Scholar
  9. R. E. Bryant. Symbolic Simulation -- Techniques and Applications. In Proceedings of the 27th ACM/IEEE Design Automation Conference, pages 517--521. ACM, 1991.Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. I. Buchmann. The Secrets of Battery Runtime. Battery University, 2016.Google ScholarGoogle Scholar
  11. C. Cadar and K. Sen. Symbolic execution for software testing: Three decades later. Commun. ACM, 56 (2): 82--90, Feb. 2013. ISSN 0001-0782. 10.1145/2408776.2408795. URL http://doi.acm.org/10.1145/2408776.2408795.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Cadence. Encounter Digital Implementation User Guide. URL http://www.cadence.com/.Google ScholarGoogle Scholar
  13. B. Calhoun, S. Khanna, Y. Zhang, J. Ryan, and B. Otis. System design principles combining sub-threshold circuit and architectures with energy scavenging mechanisms. In Circuits and Systems (ISCAS), Proceedings of 2010 IEEE International Symposium on, pages 269--272, May 2010. 10.1109/ISCAS.2010.5537887. Google ScholarGoogle ScholarCross RefCross Ref
  14. H. Cherupalli, R. Kumar, and J. Sartori. Exploiting dynamic timing slack for energy efficiency in ultra-low-power embedded systems. In Computer Architecture (ISCA), 2016 43th Annual International Symposium on. IEEE, 2016. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. C. Compiling. Cloud Compiling. URL http://www.cloudcompiling.com/.Google ScholarGoogle Scholar
  16. A. Dunkels, J. Eriksson, N. Finne, F. Osterlind, N. Tsiftes, J. Abeillé, and M. Durvy. Low-Power IPv6 for the internet of things. In Networked Sensing Systems (INSS), 2012 Ninth International Conference on, pages 1--6. IEEE, 2012. Google ScholarGoogle ScholarCross RefCross Ref
  17. D. Evans. The internet of things: How the next evolution of the internet is changing everything. April 2011.Google ScholarGoogle Scholar
  18. T. Feng, L. C. Wang, K.-T. Cheng, M. Pandey, and M. S. Abadir. Enhanced symbolic simulation for efficient verification of embedded array systems. In Design Automation Conference, 2003. Proceedings of the ASP-DAC 2003. Asia and South Pacific, pages 302--307, Jan 2003. 10.1109/ASPDAC.2003.1195032. Google ScholarGoogle ScholarCross RefCross Ref
  19. K. Furset and P. Hoffman. High pulse drain impact on CR2032 coin cell battery capacity. Nordic Semiconductor and Energizer, 2011.Google ScholarGoogle Scholar
  20. O. Girard. OpenMSP430 project. available at opencores.org, 2013.Google ScholarGoogle Scholar
  21. K. Hamaguchi. Symbolic simulation heuristics for high-level design descriptions with uninterpreted functions. In High-Level Design Validation and Test Workshop, 2001. Proceedings. Sixth IEEE International, pages 25--30, 2001. Google ScholarGoogle ScholarCross RefCross Ref
  22. M. S. Hsiao. Peak power estimation using genetic spot optimization for large vlsi circuits. In Proceedings of the conference on Design, automation and test in Europe, page 38. ACM, 1999.Google ScholarGoogle Scholar
  23. M. S. Hsiao, E. M. Rudnick, and J. H. Patel. K2: an estimator for peak sustainable power of vlsi circuits. In Low Power Electronics and Design, 1997. Proceedings., 1997 International Symposium on, pages 178--183. IEEE. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. N. Instruments. Compile Faster with the LabVIEW FPGA Compile Cloud Service. URL http://www.ni.com/white-paper/52328/en/.Google ScholarGoogle Scholar
  25. T. Instruments. eZ430-RF2500-SEH Solar Energy Harvesting Development Tool User's Guide. 2013.Google ScholarGoogle Scholar
  26. P. Jain and G. Gopalakrishnan. 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, Aug 1994. ISSN 0278-0070. 10.1109/43.298036.Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. R. Jayaseelan, T. Mitra, and X. Li. Estimating the worst-case energy consumption of embedded software. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pages 81--90. IEEE, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Y. Kim, L. K. John, S. Pant, S. Manne, M. Schulte, W. L. Bircher, and M. S. S. Govindan. Audit: Stress testing the automatic way. In Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO-45, pages 212--223, Washington, DC, USA, 2012. IEEE Computer Society. ISBN 978-0--7695--4924--8. 10.1109/MICRO.2012.28. URL http://dx.doi.org/10.1109/MICRO.2012.28. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. A. Kolbi, J. Kukula, and R. Damiano. Symbolic RTL simulation. In Design Automation Conference, 2001. Proceedings, pages 47--52, 2001. 10.1109/DAC.2001.156106.Google ScholarGoogle ScholarCross RefCross Ref
  30. V. Kontorinis, A. Shayan, D. M. Tullsen, and R. Kumar. Reducing peak power with a table-driven adaptive processor core. In Proceedings of the 42Nd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 42, pages 189--200, New York, NY, USA, 2009. ACM. ISBN 978--1--60558--798--1. 10.1145/1669112.1669137. URL http://doi.acm.org/10.1145/1669112.1669137.Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. L. Liu and S. Vasudevan. Efficient validation input generation in RTL by hybridized source code analysis. In Design, Automation Test in Europe Conference Exhibition (DATE), 2011, pages 1--6, March 2011. 10.1109/DATE.2011.5763253. Google ScholarGoogle ScholarCross RefCross Ref
  32. M. Magno, L. Benini, C. Spagnol, and E. Popovici. Wearable low power dry surface wireless sensor node for healthcare monitoring application. In Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on, pages 189--195. IEEE, 2013. Google ScholarGoogle ScholarCross RefCross Ref
  33. J. Morse, S. Kerrison, and K. Eder. On the infeasibility of analysing worst-case dynamic energy. pharXiv preprint arXiv:1603.02580, 2016.Google ScholarGoogle Scholar
  34. K. Najeeb, V. Vardhan, R. Konda, S. Kumar, S. Hari, V. Kamakoti, and V. M. Vedula. Power virus generation using behavioral models of circuits. In VLSI Test Symposium, 2007. 25th IEEE, pages 35--42, May 2007. 10.1109/VTS.2007.49. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. J. A. Paradiso and T. Starner. Energy scavenging for mobile and wireless electronics. IEEE Pervasive Computing, 4 (1): 18--27, Jan 2005. 10.1109/MPRV.2005.9. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. C. Park, P. H. Chou, Y. Bai, R. Matthews, and A. Hibbs. An ultra-wearable, wireless, low power ECG monitoring system. In Biomedical Circuits and Systems Conference, 2006. BioCAS 2006. IEEE, pages 241--244. IEEE, 2006. Google ScholarGoogle ScholarCross RefCross Ref
  37. G. Press. Internet of Things By The Numbers: Market Estimates And Forecasts. Forbes, 2014.Google ScholarGoogle Scholar
  38. S. Sambamurthy, S. Gurumurthy, R. Vemu, and J. A. Abraham. Functionally valid gate-level peak power estimation for processors. In Quality of Electronic Design, 2009. ISQED 2009. Quality Electronic Design, pages 753--758. IEEE, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. J. Sartori and R. Kumar. Distributed peak power management for many-core architectures. In Design, Automation Test in Europe Conference Exhibition, 2009. DATE '09., pages 1556--1559, April 2009. 10.1109/DATE.2009.5090910. Google ScholarGoogle ScholarCross RefCross Ref
  40. K. Seth, A. Anantaraman, F. Mueller, and E. Rotenberg. Fast: Frequency-aware static timing analysis. ACM Transactions on Embedded Computing Systems (TECS), 5 (1): 200--224, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. Synopsys. Design Compiler User Guide,natexlaba. URL http://www.synopsys.com/.Google ScholarGoogle Scholar
  42. Synopsys. PrimeTime User Guide,natexlabb. URL http://www.synopsys.com/.Google ScholarGoogle Scholar
  43. R. Tessier, D. Jasinski, A. Maheshwari, A. Natarajan, W. Xu, and W. Burleson. An energy-aware active smart card. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 13 (10): 1190--1199, 2005.Google ScholarGoogle Scholar
  44. P. Wägemann, T. Distler, T. Hönig, H. Janker, R. Kapitza, and W. Schröder-Preikschat. Worst-case energy consumption analysis for energy-constrained embedded systems. In 2015 27th Euromicro Conference on Real-Time Systems, pages 105--114. IEEE, 2015. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. C.-Y. Wang and K. Roy. Maximum power estimation for cmos circuits using deterministic and statistical approaches. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 6 (1): 134--140, 1998.Google ScholarGoogle Scholar
  46. Wikipedia. List of wireless sensor nodes, 2016. URL https://en.wikipedia.org/wiki/List_of_wireless_sensor_nodes. [Online; accessed 7-April-2016].Google ScholarGoogle Scholar
  47. R. Yu and T. Watteyne. Reliable, Low Power Wireless Sensor Networks for the Internet of Things: Making Wireless Sensors as Accessible as Web Servers. Linear Technology, 2013. URL http://cds.linear.com/docs/en/white-paper/wp003.pdf.Google ScholarGoogle Scholar
  48. B. Zhai, S. Pant, L. Nazhandali, S. Hanson, J. Olson, A. Reeves, M. Minuth, R. Helfand, T. Austin, D. Sylvester, et al. Energy-efficient subthreshold processor design. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, 17 (8): 1127--1137, 2009.Google ScholarGoogle Scholar
  49. Y. Zhang, Z. Chen, and J. Wang. Speculative symbolic execution. In Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on, pages 101--110, 2012. 10.1109/ISSRE.2012.8. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

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

Sign in

Full Access

  • Published in

    cover image ACM SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 52, Issue 4
    ASPLOS '17
    April 2017
    811 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/3093336
    Issue’s Table of Contents
    • cover image ACM Conferences
      ASPLOS '17: Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
      April 2017
      856 pages
      ISBN:9781450344654
      DOI:10.1145/3037697

    Copyright © 2017 ACM

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 4 April 2017

    Check for updates

    Qualifiers

    • research-article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!