Detail publikace

Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished

ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; VAŠÍČEK, Z.; SEKANINA, L.; VOJNAR, T. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017. p. 416-423. ISBN: 978-1-5386-3093-8.
Název česky
Aproximace komplexních aritmetických obvodů s garantovanou chybou: 32-bitové násobičky
Typ
článek ve sborníku konference
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)
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

approximate computing, logical synthesis, genetic programming, formal methods

Abstrakt

V tomto článku představujeme novou metodu, která umožňuje aproximaci aritmetických obvodů s matematickou garancí aproximační chyby. Tato metoda unikátním způsobem spojuje techniky formální verifikace aproximovaných obvodů a algoritmu pro prohledávání stavového prostoru. Klíčovou myšlenkou našeho přístupu je to, že hledáme obvody, které jsou jednoduše verifikovatelné. Tato metoda byla implementována jako rozšíření do nástroje ABC a byla vyhodnocena na úloze funkční aproximace násobiček (až 32-bitové operandy) a sčítaček (až 128-bitové operandy). Během několika hodin jsme zkonstruovali kvalitní Pareto frontu 32-bitových násobiček s dobrým poměrem mezi plochou obvodu a aproximační odchylkou. Toto je poprvé, co byly navrženy takto velké aproximační obvody s garantovanou odchylkou. 

Rok
2017
Strany
416–423
Sborník
Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD)
Konference
2017 IEEE / ACM International Conference On Computer Aided Design, Irvine, CA, US
ISBN
978-1-5386-3093-8
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Irvine, CA
DOI
10.1109/ICCAD.2017.8203807
UT WoS
000424863100055
EID Scopus
2-s2.0-85043523353
BibTeX 
@inproceedings{BUT144430,
  author="Milan {Češka} and Jiří {Matyáš} and Vojtěch {Mrázek} and Zdeněk {Vašíček} and Lukáš {Sekanina} and Tomáš {Vojnar}",
  title="Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished",
  booktitle="Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD)",
  year="2017",
  pages="416--423",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Irvine, CA",
  doi="10.1109/ICCAD.2017.8203807",
  isbn="978-1-5386-3093-8",
  url="https://www.fit.vut.cz/research/publication/11420/"
}
Nahoru