Detail publikace

Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology

HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology. In: 2nd Workshop on Approximate Computing (WAPCO 2016). Prague, 2016, s. 1-6. Dostupné z: http://wapco.inf.uth.gr/index.html
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS 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)
URL
Abstrakt

Most design automation methods developed for approximate computing evaluate candidate solutions by applying a set of input vectors and measuring the error of the output vectors with respect to an exact solution. This approach is not, however, applicable when approximating complex combinational or sequential circuits since the error is not computed precisely enough. This paper surveys various methods of formal verification that could be extended for purposes of determining the error of approximation more precisely and formulates this task through a notion of formal relaxed equivalence checking.

Rok
2016
Strany
1-6
Sborník
2nd Workshop on Approximate Computing (WAPCO 2016)
Konference
HiPEAC 2016, Praha, CZ
Místo
Prague
BibTeX 
@INPROCEEDINGS{FITPUB11008,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Adam Rogalewicz 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 = "Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology",
   pages = "1--6",
   booktitle = "2nd Workshop on Approximate Computing (WAPCO 2016)",
   year = 2016,
   location = "Prague, ",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11008"
}
Soubory
Nahoru