Detail publikačního výsledku

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error

MATYÁŠ, J.; PANKUCH, A.; VOJNAR, T.; ČEŠKA, M.; ČEŠKA, M.

Originální název

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error

Anglický název

Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

We present a novel method allowing one to approximate complex arithmetic circuits with formal guarantees on the worst-case relative error, abbreviated as WCRE. WCRE represents an important error metric relevant in many applications including, e.g., approximation of neural network HW architectures. The method integrates SAT-based error evaluation of approximate circuits into a verifiability-driven search algorithm based on Cartesian genetic programming. We implement the method in our framework ADAC that provides various techniques for automated design of arithmetic circuits. Our experimental evaluation shows that, in many cases, the method offers a superior scalability and allows us to construct, within a few hours, high-quality approximations (providing trade-offs between the WCRE and size) for circuits with up to 32-bit operands. As such, it significantly improves the capabilities of ADAC.

Anglický abstrakt

We present a novel method allowing one to approximate complex arithmetic circuits with formal guarantees on the worst-case relative error, abbreviated as WCRE. WCRE represents an important error metric relevant in many applications including, e.g., approximation of neural network HW architectures. The method integrates SAT-based error evaluation of approximate circuits into a verifiability-driven search algorithm based on Cartesian genetic programming. We implement the method in our framework ADAC that provides various techniques for automated design of arithmetic circuits. Our experimental evaluation shows that, in many cases, the method offers a superior scalability and allows us to construct, within a few hours, high-quality approximations (providing trade-offs between the WCRE and size) for circuits with up to 32-bit operands. As such, it significantly improves the capabilities of ADAC.

Klíčová slova

automated circuit design, approximate circuits, SAT

Klíčová slova v angličtině

automated circuit design, approximate circuits, SAT

Autoři

MATYÁŠ, J.; PANKUCH, A.; VOJNAR, T.; ČEŠKA, M.; ČEŠKA, M.

Rok RIV

2021

Vydáno

15.04.2020

Nakladatel

Springer Verlag

Místo

Cham

ISBN

978-3-030-45092-2

Kniha

International Conference on Computer Aided Systems Theory (EUROCAST'19)

Edice

Lecture Notes in Computer Science

Svazek

12013

Strany od

482

Strany do

490

Strany počet

9

BibTex

@inproceedings{BUT168134,
  author="Jiří {Matyáš} and Adam {Pankuch} and Tomáš {Vojnar} and Milan {Češka} and Milan {Češka}",
  title="Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error",
  booktitle="International Conference on Computer Aided Systems Theory (EUROCAST'19)",
  year="2020",
  series="Lecture Notes in Computer Science",
  volume="12013",
  pages="482--490",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-030-45093-9\{_}58",
  isbn="978-3-030-45092-2"
}