Doc. Ing. Zdeněk Vašíček, Ph.D.

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
Jazyk publikace:angličtina
Název publikace:Towards Formal Relaxed Equivalence Checking in Approximate Computing Methodology
Strany:1-6
Sborník:2nd Workshop on Approximate Computing (WAPCO 2016)
Konference:HiPEAC 2016
Místo vydání:Prague
Rok:2016
URL:http://wapco.inf.uth.gr/index.html
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconwapco16.pdf236 KB2016-01-23 18:51:54
^ Vybrat vše
S vybranými:
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11008}
}

Vaše IPv4 adresa: 54.147.40.153
Přepnout na IPv6 spojení

DNSSEC [dnssec]