Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ČEŠKA, M. MATYÁŠ, J. MRÁZEK, V. SEKANINA, L. VAŠÍČEK, Z. VOJNAR, T.
Originální název
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits
Typ
článek v časopise ve Web of Science, Jimp
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
Approximate computing, Energy efficiency, Circuit optimisation, Genetic programming
Autoři
ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; SEKANINA, L.; VAŠÍČEK, Z.; VOJNAR, T.
Vydáno
22. 6. 2020
ISSN
1568-4946
Periodikum
APPLIED SOFT COMPUTING
Ročník
95
Číslo
106466
Stát
Nizozemsko
Strany od
1
Strany do
17
Strany počet
URL
https://www.fit.vut.cz/research/publication/12312/
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/" }