Detail publikace

Formal Methods for Exact Analysis of Approximate Circuits

VAŠÍČEK, Z. Formal Methods for Exact Analysis of Approximate Circuits. IEEE Access, 2019, vol. 7, no. 1, p. 177309-177331. ISSN: 2169-3536.
Název česky
Formální metody pro analýzu přibližně počítajících obvodů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY)
Klíčová slova

approximate computing, approximate circuits, binary decision diagrams, error metrics, error analysis, formal methods, satisfiability solvers, quality assessment

Abstrakt

Přibližně počítající obvody jsou takové číslicové obvody, které jsou záměrně navrženy tak, aby byla porušena specifikace z pohledu funkčnosti s cílem zvýšení výkonnosti, uspoření energie, plochy na čipu apod. oproti funkčnímu řešení plně vyhovujícímu specifikaci. Při návrhu těchto obvodů je zapotřebí mít k dispozici proceduru, která je schopna prověřit, zda-li obvody splňují požadavky plynoucí z dané aplikace a kvantifikovat míru chyby, které obvody vykazují. K tomuto účelu se typicky používají obvodové simulátory, avšak tento přístup vyžaduje spočítat odezvu pro všechny vstupní kombinace, což vede na problematickou škálovatelnost. Cílem tohoto článku je ukázat, jakým způsobem lze tento problém řešit s využitím formálních technik známých z oblasti verifikace číslicových obvodů, zejména binárních rozhodovacích diagramů a tzv. SAT solverů. Článek obsahuje rešerši v literatuře dostupných řešení, navrhuje nové algoritmy a obsahuje podrobné vyhodnocení jednotlivých přístupů na více než 2000 aritmetických obvodech.

Rok
2019
Strany
177309–177331
Časopis
IEEE Access, roč. 7, č. 1, ISSN 2169-3536
DOI
10.1109/ACCESS.2019.2958605
UT WoS
000509405300071
EID Scopus
2-s2.0-85077180957
BibTeX 
@article{BUT161468,
  author="Zdeněk {Vašíček}",
  title="Formal Methods for Exact Analysis of Approximate Circuits",
  journal="IEEE Access",
  year="2019",
  volume="7",
  number="1",
  pages="177309--177331",
  doi="10.1109/ACCESS.2019.2958605",
  issn="2169-3536",
  url="https://www.fit.vut.cz/research/publication/12133/"
}
Soubory
Nahoru