Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F20%3APU138660" target="_blank" >RIV/00216305:26230/20:PU138660 - isvavai.cz</a>
Result on the web
<a href="https://www.fit.vut.cz/research/publication/12312/" target="_blank" >https://www.fit.vut.cz/research/publication/12312/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.asoc.2020.106466" target="_blank" >10.1016/j.asoc.2020.106466</a>
Alternative languages
Result language
angličtina
Original language name
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
APPLIED SOFT COMPUTING
ISSN
1568-4946
e-ISSN
1872-9681
Volume of the periodical
95
Issue of the periodical within the volume
106466
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
17
Pages from-to
1-17
UT code for WoS article
000576773900009
EID of the result in the Scopus database
2-s2.0-85086825652