Detail publikačního výsledku

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.

Originální název

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits

Anglický název

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits

Druh

Článek WoS

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.

Anglický 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

Klíčová slova v angličtině

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.

Rok RIV

2021

Vydáno

22.06.2020

Kniha

Applied Soft Computing

ISSN

1568-4946

Periodikum

APPLIED SOFT COMPUTING

Svazek

95

Číslo

106466

Stát

Nizozemsko

Strany od

1

Strany do

17

Strany počet

17

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/"
}

Dokumenty

preprint
main