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" }