Skip to main content

Optimal Component Selection for Energy-Efficient Systems

  • Chapter
  • First Online:
Languages, Design Methods, and Tools for Electronic System Design

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 311))

  • 806 Accesses

Abstract

Microelectronics have developed very fast in the past. The design process of those systems is getting more and more complex and new design methods have to be applied continuously. One main observation is the increasing design level over time, hence, the re-use of components is getting more important. A key challenge of IC design is the selection of a system architecture which fulfills all requirements in terms of data throughput, area, timing, power and cost. We present a problem class for the optimal component selection in order to assist in selecting the best available alternatives. We will show how to express top-level constraints and optimisation targets including dependencies between components. In addition, heuristic solving algorithms will be presented. The evaluation section shows that the presented algorithms perform well on typical problem sets. Using a framework for evolutionary algorithms results in additional speedup.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Benhamou F, Goualard F (2000) Universally quantified interval constraints. In: Proceedings of the 6th international conference on principles and practice of constraint programming, Springer, pp 67–82

    Google Scholar 

  2. Engelbrecht AP (2007) Computational intelligence: an introduction, 2nd edn. Wiley, New York

    Book  Google Scholar 

  3. Fortin FA, De Rainville FM, Gardner MA, Parizeau M, Gagné C (2012) DEAP: Evolutionary algorithms made easy. J Mach Learn Res 13:2171–2175

    MATH  MathSciNet  Google Scholar 

  4. Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. W. H. Freeman, New York

    MATH  Google Scholar 

  5. Gelle E, Faltings B (2003) Solving mixed and conditional constraint satisfaction problems. Constraints 8(2):107–141. doi:10.1023/A:1022394531132

    Article  MATH  MathSciNet  Google Scholar 

  6. Mackworth AK (1985) Constraint satisfaction. Technical report, University of British Columbia, Vancouver, BC, Canada, http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail&id=oai%3Ancstrlh%3Aubc_cs%3Ancstrl.ubc_cs%2F%2FTR-85-15

  7. Mittal S, Falkenhainer B (1990) Dynamic constraint satisfaction. In: Proceedings of the 8th national conference on artificial intelligence, pp 25–32

    Google Scholar 

  8. Mouhoub M, Sukpan A (2007) Solving conditional and composite constraint satisfaction problems. In: Proceedings of the 2007 ACM symposium on applied computing (SAC), ACM, New York, USA, pp 336–337. doi:10.1145/1244002.1244082

  9. Nielsen J (1998) Nielsen’s law of internet bandwidth. http://www.useit.com/alertbox/980405.html

  10. Pande J, Garcia CJ, Pant D (2013) Optimal component selection for component based software development using pliability metric. SIGSOFT Softw Eng Notes 38(1):1–6. doi:10.1145/2413038.2413044

    Article  Google Scholar 

  11. Pross U, Markert E, Langer J, Richter A, Drechsler C, Heinkel U (2008) A platform for requirement based formal specification. In: Proceedings of the forum on specification and design languages (FDL) 2008, ECSI, IEEE, pp 237–238. doi:10.1109/FDL.2008.4641453

  12. Proß U, Kröber K, Heinkel U (2010) Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene. In: Dietrich M (ed) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Fraunhofer, pp 197–206

    Google Scholar 

Download references

Acknowledgments

This book chapter is part of the ENERSAVE research project, which is funded by the German ministry of research, BMBF, under the registration number 16BE1100.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthias Sauppe .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Sauppe, M., Horn, T., Markert, E., Heinkel, U., Sahm, HW., Otto, KH. (2015). Optimal Component Selection for Energy-Efficient Systems. In: Louërat, MM., Maehne, T. (eds) Languages, Design Methods, and Tools for Electronic System Design. Lecture Notes in Electrical Engineering, vol 311. Springer, Cham. https://doi.org/10.1007/978-3-319-06317-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06317-1_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-06316-4

  • Online ISBN: 978-3-319-06317-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics