Detail publikace

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits

ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits. Applied Soft Computing, roč. 95, č. 106466, 2020, s. 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
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Matyáš Jiří, Ing. (UITS FIT VUT)
Mrázek Vojtěch, Ing., Ph.D. (UPSY FIT VUT)
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
Vydavatel
Elsevier Science
DOI
10.1016/j.asoc.2020.106466
UT WoS
000576773900009
EID Scopus
2-s2.0-85086825652
BibTeX 
@ARTICLE{FITPUB12312,
   author = "Milan \v{C}e\v{s}ka and Ji\v{r}\'{i} Maty\'{a}\v{s} and Vojt\v{e}ch Mr\'{a}zek and Luk\'{a}\v{s} Sekanina and Zden\v{e}k Va\v{s}\'{i}\v{c}ek and Tom\'{a}\v{s} Vojnar",
   title = "Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits",
   pages = "1--17",
   booktitle = "Applied Soft Computing",
   journal = "Applied Soft Computing",
   volume = 95,
   number = 106466,
   year = 2020,
   ISSN = "1568-4946",
   doi = "10.1016/j.asoc.2020.106466",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12312"
}
Nahoru