Skip to main content

2019 | OriginalPaper | Buchkapitel

10. Approximate High-Level Synthesis of Custom Hardware

verfasst von : Seogoo Lee, Andreas Gerstlauer

Erschienen in: Approximate Circuits

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Approximate computing exploits trade-offs between quality and energy/performance of computed results for inherently error-tolerant applications. At the hardware level, various components, such as arithmetic and logic units (ALUs), have been proposed to build approximate hardware processors. However, existing work has been mostly ad hoc or using expensive iterative simulation and resynthesis for design space exploration. In this chapter, we present an approximate high-level synthesis (AHLS) approach that utilizes approximate operators in synthesizing an energy- or performance-optimized register-transfer level (RTL) design from its high-level C description under overall quality constraints at design outputs. In effective AHLS, fast and accurate quality and energy models are required together with an optimization technique to efficiently find a Pareto-optimal design. Quality effects of hardware approximations strongly depend on input data. In this work, a statistical formulation is employed to capture input dependency and analytically estimate quality using one-time profiling only. Energy and performance savings due to approximations strongly depend on operation scheduling and binding. We present an approach that estimates the performance, voltage scaling, and energy impact of approximations while taking into account tight interactions with existing synthesis tasks. Quality, performance, and energy estimation methods are further combined with novel AHLS-specific loop optimizations and heuristic solvers that find Pareto-optimized solutions in an efficient manner. Results show that our tool can achieve near-optimal results with low runtimes, demonstrating energy savings of, on average, more than 77.6%, where up to 24.5% higher savings are achieved compared to approaches that only consider switching activity.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Barbareschi M, Iannucci F, Mazzeo A (2016) Automatic design space exploration of approximate algorithms for big data applications. In: International conference on advanced information networking and applications (AINA), March 2016 Barbareschi M, Iannucci F, Mazzeo A (2016) Automatic design space exploration of approximate algorithms for big data applications. In: International conference on advanced information networking and applications (AINA), March 2016
2.
Zurück zum Zitat Barrois B, Sentieys O, Menard, D (2017) The hidden cost of functional approximation against careful data sizing; a case study. In: Design, automation test in Europe conference exhibition (DATE), March 2017 Barrois B, Sentieys O, Menard, D (2017) The hidden cost of functional approximation against careful data sizing; a case study. In: Design, automation test in Europe conference exhibition (DATE), March 2017
3.
Zurück zum Zitat Canis A, Choi J, Aldham M, Zhang V, Kammoona A, Anderson JH, Brown S, Czajkowski T (2011) LegUp: high-level synthesis for FPGA-based processor/accelerator systems. In: International symposium on field programmable gate arrays (FPGA), February 2011 Canis A, Choi J, Aldham M, Zhang V, Kammoona A, Anderson JH, Brown S, Czajkowski T (2011) LegUp: high-level synthesis for FPGA-based processor/accelerator systems. In: International symposium on field programmable gate arrays (FPGA), February 2011
4.
Zurück zum Zitat Chan W-TJ, Kahng AB, Kang S, Kumar R, Sartori J (2013) Statistical analysis and modeling for error composition in approximate computation circuits. In: International conference on computer design (ICCD), October 2013 Chan W-TJ, Kahng AB, Kang S, Kumar R, Sartori J (2013) Statistical analysis and modeling for error composition in approximate computation circuits. In: International conference on computer design (ICCD), October 2013
5.
Zurück zum Zitat Chippa VK, Mohapatra D, Roy K, Chakradhar ST, Raghunathan A (2014) Scalable effort hardware design. IEEE Trans Very Large Scale Integr Syst 22(9):2004–2016CrossRef Chippa VK, Mohapatra D, Roy K, Chakradhar ST, Raghunathan A (2014) Scalable effort hardware design. IEEE Trans Very Large Scale Integr Syst 22(9):2004–2016CrossRef
6.
Zurück zum Zitat Chippa VK, Chakradhar ST, Roy K, Raghunathan A (2013) Analysis and characterization of inherent application resilience for approximate computing. In: Design automation conference (DAC), June 2013 Chippa VK, Chakradhar ST, Roy K, Raghunathan A (2013) Analysis and characterization of inherent application resilience for approximate computing. In: Design automation conference (DAC), June 2013
7.
Zurück zum Zitat Constantinides GA, Cheung PYK, Luk W (2003) Wordlength optimization for linear digital signal processing. IEEE Trans Comput Aided Des Integr Circuits Syst 22(10):1432–1442CrossRef Constantinides GA, Cheung PYK, Luk W (2003) Wordlength optimization for linear digital signal processing. IEEE Trans Comput Aided Des Integr Circuits Syst 22(10):1432–1442CrossRef
8.
Zurück zum Zitat Coussy P, Morawiec A (2008) High-level synthesis: from algorithm to digital circuit. Springer, BerlinCrossRef Coussy P, Morawiec A (2008) High-level synthesis: from algorithm to digital circuit. Springer, BerlinCrossRef
9.
Zurück zum Zitat Han K, Evans BL (2006) Optimum wordlength search using sensitivity information. EURASIP J Adv Signal Process 2006(1):1–14CrossRef Han K, Evans BL (2006) Optimum wordlength search using sensitivity information. EURASIP J Adv Signal Process 2006(1):1–14CrossRef
10.
Zurück zum Zitat Han J, Orshansky M (2013) Approximate computing: an emerging paradigm for energy-efficient design. In: European test symposium (ETS), May 2013 Han J, Orshansky M (2013) Approximate computing: an emerging paradigm for energy-efficient design. In: European test symposium (ETS), May 2013
11.
Zurück zum Zitat He K, Gerstlauer A, Orshansky M (2013) Circuit-level timing-error acceptance for design of energy-efficient DCT/IDCT-based systems. IEEE Trans Circuits Syst Video Technol 23(6):961–974CrossRef He K, Gerstlauer A, Orshansky M (2013) Circuit-level timing-error acceptance for design of energy-efficient DCT/IDCT-based systems. IEEE Trans Circuits Syst Video Technol 23(6):961–974CrossRef
12.
Zurück zum Zitat Huang J, Lach J, Robins G (2012) A methodology for energy-quality tradeoff using imprecise hardware. In: Design automation conference (DAC), June 2012 Huang J, Lach J, Robins G (2012) A methodology for energy-quality tradeoff using imprecise hardware. In: Design automation conference (DAC), June 2012
13.
Zurück zum Zitat Lattner C, Adve V (2004) LLVM: a compilation framework for lifelong program analysis & transformation. In: International symposium on code generation and optimization with special emphasis on feedback-directed and runtime optimization (CGO), March 2004 Lattner C, Adve V (2004) LLVM: a compilation framework for lifelong program analysis & transformation. In: International symposium on code generation and optimization with special emphasis on feedback-directed and runtime optimization (CGO), March 2004
14.
Zurück zum Zitat Lee S (2017) Approximate high-level synthesis of quality and energy optimized hardware processors. PhD thesis, The University of Texas at Austin, December 2017 Lee S (2017) Approximate high-level synthesis of quality and energy optimized hardware processors. PhD thesis, The University of Texas at Austin, December 2017
15.
Zurück zum Zitat Lee S, Gerstlauer A (2013) Fine grain word length optimization for dynamic precision scaling in DSP systems. In: International Conference on Very Large Scale Integration (VLSI-SoC), October 2013 Lee S, Gerstlauer A (2013) Fine grain word length optimization for dynamic precision scaling in DSP systems. In: International Conference on Very Large Scale Integration (VLSI-SoC), October 2013
16.
Zurück zum Zitat Lee S, Gerstlauer A (2017) High-level synthesis of approximate hardware under joint precision and voltage scaling. In: Design, automation test in Europe conference exhibition (DATE), March 2017 Lee S, Gerstlauer A (2017) High-level synthesis of approximate hardware under joint precision and voltage scaling. In: Design, automation test in Europe conference exhibition (DATE), March 2017
17.
Zurück zum Zitat Lee S, Gerstlauer A (2018) Data-dependent loop approximations for performance-quality driven high-level synthesis. Embed Syst Lett 10(1):18–21CrossRef Lee S, Gerstlauer A (2018) Data-dependent loop approximations for performance-quality driven high-level synthesis. Embed Syst Lett 10(1):18–21CrossRef
18.
Zurück zum Zitat Lee DU, Gaffar AA, Cheung RCC, Mencer O, Luk W, Constantinides GA (2006) Accuracy-guaranteed bit-width optimization. IEEE Trans Comput Aided Des 25(10):1990–2000CrossRef Lee DU, Gaffar AA, Cheung RCC, Mencer O, Luk W, Constantinides GA (2006) Accuracy-guaranteed bit-width optimization. IEEE Trans Comput Aided Des 25(10):1990–2000CrossRef
19.
Zurück zum Zitat Lee S, Lee D, Han K, Shriver E, John LK, Gerstlauer A (2016) Statistical quality modeling of approximate hardware. In: International symposium on quality electronic design (ISQED), March 2016 Lee S, Lee D, Han K, Shriver E, John LK, Gerstlauer A (2016) Statistical quality modeling of approximate hardware. In: International symposium on quality electronic design (ISQED), March 2016
20.
Zurück zum Zitat Li C, Luo W, Sapatnekar SS, Hu J (2015) Joint precision optimization and high level synthesis for approximate computing. In: Design automation conference (DAC), June 2015 Li C, Luo W, Sapatnekar SS, Hu J (2015) Joint precision optimization and high level synthesis for approximate computing. In: Design automation conference (DAC), June 2015
21.
Zurück zum Zitat Menard D, Sentieys O (2002) Automatic evaluation of the accuracy of fixed-point algorithms. In: Design, automation and test in Europe conference exhibition (DATE), March 2002 Menard D, Sentieys O (2002) Automatic evaluation of the accuracy of fixed-point algorithms. In: Design, automation and test in Europe conference exhibition (DATE), March 2002
22.
Zurück zum Zitat Miao J, Gerstlauer A, Orshansky M (2012) Modeling and synthesis of quality-energy optimal approximate adders. In: International conference on computer-aided design (ICCAD), November 2012 Miao J, Gerstlauer A, Orshansky M (2012) Modeling and synthesis of quality-energy optimal approximate adders. In: International conference on computer-aided design (ICCAD), November 2012
23.
Zurück zum Zitat Misailovic S, Carbin M, Achour S, Qi Z, Rinard M (2014) Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. In: Conference on object-oriented programming systems, languages, and applications (OOPSLA), October 2014 Misailovic S, Carbin M, Achour S, Qi Z, Rinard M (2014) Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. In: Conference on object-oriented programming systems, languages, and applications (OOPSLA), October 2014
25.
Zurück zum Zitat Ranjan A, Raha A, Venkataramani S, Roy K, Raghunathan A (2014) ASLAN: synthesis of approximate sequential circuits. In: Design, automation test in Europe conference exhibition (DATE), March 2014 Ranjan A, Raha A, Venkataramani S, Roy K, Raghunathan A (2014) ASLAN: synthesis of approximate sequential circuits. In: Design, automation test in Europe conference exhibition (DATE), March 2014
26.
Zurück zum Zitat Sampson A, Baixo A, Randsford B, Moreau T, Yip J, Ceze L, Oskin M (2015) ACCEPT: a programmer-guided compiler framework for practical approximate computing. In: University of Washington Technical Report, 2015 Sampson A, Baixo A, Randsford B, Moreau T, Yip J, Ceze L, Oskin M (2015) ACCEPT: a programmer-guided compiler framework for practical approximate computing. In: University of Washington Technical Report, 2015
27.
Zurück zum Zitat Sidiroglou-Douskos S, Misailovic S, Hoffmann H, Rinard M (2011) Managing performance vs. accuracy trade-offs with loop perforation. In: European software engineering conference and symposium on the foundations of software engineering (ESEC/FSE), September 2011 Sidiroglou-Douskos S, Misailovic S, Hoffmann H, Rinard M (2011) Managing performance vs. accuracy trade-offs with loop perforation. In: European software engineering conference and symposium on the foundations of software engineering (ESEC/FSE), September 2011
28.
Zurück zum Zitat Venkata SK, Ahn I, Jeon D, Gupta A, Louie C, Garcia S, Belongie S, Taylor MB (2009) SD-VBS: the San Diego vision benchmark suite. In: International symposium on workload characterization (IISWC), October 2009 Venkata SK, Ahn I, Jeon D, Gupta A, Louie C, Garcia S, Belongie S, Taylor MB (2009) SD-VBS: the San Diego vision benchmark suite. In: International symposium on workload characterization (IISWC), October 2009
29.
Zurück zum Zitat Venkataramani S, Sabne A, Kozhikkottu V, Roy K, Raghunathan A (2012) SALSA: systematic logic synthesis of approximate circuits. In: Design automation conference (DAC), June 2012 Venkataramani S, Sabne A, Kozhikkottu V, Roy K, Raghunathan A (2012) SALSA: systematic logic synthesis of approximate circuits. In: Design automation conference (DAC), June 2012
Metadaten
Titel
Approximate High-Level Synthesis of Custom Hardware
verfasst von
Seogoo Lee
Andreas Gerstlauer
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-319-99322-5_10

Neuer Inhalt