Publication Details

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits

ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; SEKANINA, L.; VAŠÍČEK, Z.; VOJNAR, T. Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. APPLIED SOFT COMPUTING, 2020, vol. 95, no. 106466, p. 1-17. ISSN: 1568-4946.
Czech title
Adaptivní evoluční strategie pro návrh aproximačních aritmetických obvodů
Type
journal article
Language
English
Authors
Keywords

Approximate computing, 
Energy efficiency, 
Circuit optimisation, 
Genetic programming

Abstract

We present a novel approach for designing complex approximate arithmetic circuits
that trade correctness for power consumption and play important role in many
energy-aware applications. Our approach integrates in a unique way formal methods
providing formal guarantees on the approximation error into an evolutionary
circuit optimisation algorithm. The key idea is to employ a novel adaptive search
strategy that drives the evolution towards promptly verifiable approximate
circuits. As demonstrated in an extensive evaluation including several
structurally different arithmetic circuits and target precisions, the search
strategy provides superior scalability and versatility with respect to various
approximation scenarios. Our approach significantly improves capabilities of the
existing methods and paves a way towards an automated design process of
provably-correct circuit approximations.

Published
2020
Pages
1–17
Journal
APPLIED SOFT COMPUTING, vol. 95, no. 106466, ISSN 1568-4946
Book
Applied Soft Computing
DOI
UT WoS
000576773900009
EID Scopus
BibTeX
@article{BUT168169,
  author="Milan {Češka} and Jiří {Matyáš} and Vojtěch {Mrázek} and Lukáš {Sekanina} and Zdeněk {Vašíček} and Tomáš {Vojnar}",
  title="Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits",
  journal="APPLIED SOFT COMPUTING",
  year="2020",
  volume="95",
  number="106466",
  pages="1--17",
  doi="10.1016/j.asoc.2020.106466",
  issn="1568-4946",
  url="https://www.fit.vut.cz/research/publication/12312/"
}
Files
Back to top