Prof. Ing. Lukáš Sekanina, Ph.D.

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.
Jazyk publikace:angličtina
Název publikace:Functional Equivalence Checking for Evolution of Complex Digital Circuits
Název (cs):Ověřování funkční ekvivalence pro evoluční návrh složitých číslicových obvodů
Strany:175-189
Kniha:Evolvable Hardware - From Practice to Application
Místo vydání:Berlin, DE
Rok:2015
ISBN:978-3-662-44615-7
Vydavatel:Springer Verlag
Klíčová slova
digital circuit, evolutionary algorithm, SAT problem, equivalence checking
Anotace
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.
BibTeX:
@INBOOK{
   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},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=10396}
}

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

DNSSEC [dnssec]