Detail publikace

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.
Název česky
Adaptivní evoluční strategie pro návrh aproximačních aritmetických obvodů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Mrázek Vojtěch, Ing., Ph.D. (UPSY)
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

přibližné počítání  energeticky úsporné obvody,  genetické programování, optimalizace obvodů

Abstrakt

Představujeme nový přístup k navrhování komplexních aproximačních aritmetických obvodů, které mění přesnost se spotřebou energie a a hrají důležitou roli v mnoha energeticky kritických aplikacích. Náš přístup jedinečným způsobem integruje formální metody poskytující formální garanci chyby aproximace do algoritmu pro optimalizaci evolučního obvodu. Klíčovou myšlenkou je použít novou adaptivní strategii vyhledávání, která řídí evoluci tak, aby obvody byly rychle ověřitelné. Jak bylo prokázáno v rozsáhlém hodnocení zahrnujícím několik strukturně odlišných aritmetických obvodů a různé cílové přesnosti, strategie vyhledávání poskytuje vynikající škálovatelnost a univerzálnost s ohledem na různé aproximační scénáře. Náš přístup výrazně zlepšuje schopnosti stávajících metod a posouvá nás k automatizovanému procesu návrhu aproximačních obvodů s dokazatelnou chybou.

Rok
2020
Strany
1–17
Časopis
APPLIED SOFT COMPUTING, roč. 95, č. 106466, ISSN 1568-4946
Kniha
Applied Soft Computing
DOI
10.1016/j.asoc.2020.106466
UT WoS
000576773900009
EID Scopus
2-s2.0-85086825652
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/"
}
Nahoru