Detail publikace

Functional Equivalence Checking for Evolution of Complex Digital Circuits

SEKANINA Lukáš a VAŠÍČEK Zdeněk. Functional Equivalence Checking for Evolution of Complex Digital Circuits. Evolvable Hardware - From Practice to Application. Berlin: Springer Verlag, 2015, s. 175-189. ISBN 978-3-662-44615-7.
Název česky
Ověřování funkční ekvivalence pro evoluční návrh složitých číslicových obvodů
Typ
kapitola v knize
Jazyk
angličtina
Autoři
Abstrakt

Tato knižní kapitola se zabývá metodami ověřování funkční ekvivalence pro evoluční návrh složitých číslicových obvodů. Jedná se o jednu ze 14 kapitol, které byly začleněny do nové knihy o evolvable hardware editované Martinem Trefzerem and Andym M. Tyrrellem z University of York, UK.

Rok
2015
Strany
175-189
Kniha
Evolvable Hardware - From Practice to Application
ISBN
978-3-662-44615-7
Vydavatel
Springer Verlag
Místo
Berlin, DE
DOI
EID Scopus
BibTeX
@INBOOK{FITPUB10396,
   author = "Luk\'{a}\v{s} Sekanina and Zden\v{e}k Va\v{s}\'{i}\v{c}ek",
   title = "Functional Equivalence Checking for Evolution of Complex Digital Circuits",
   pages = "175--189",
   booktitle = "Evolvable Hardware - From Practice to Application",
   year = 2015,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-44615-7",
   doi = "10.1007/978-3-662-44616-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10396"
}
Nahoru