Department of Computer Systems

Book chapter

SEKANINA Lukáš and VAŠÍČEK Zdeněk. Functional Equivalence Checking for Evolution of Complex Digital Circuits. Evolvable Hardware - From Practice to Application. Berlin: Springer Verlag, 2015, pp. 175-189. ISBN 978-3-662-44615-7.
Publication language:english
Original title:Functional Equivalence Checking for Evolution of Complex Digital Circuits
Title (cs):Ověřování funkční ekvivalence pro evoluční návrh složitých číslicových obvodů
Pages:175-189
Book:Evolvable Hardware - From Practice to Application
Place:Berlin, DE
Year:2015
ISBN:978-3-662-44615-7
Publisher:Springer Verlag
Keywords
digital circuit, evolutionary algorithm, SAT problem, equivalence checking
Annotation
This book chapter deals with the functional equivalence checking methods that were utilized in evolution of complex digital circuits. It is one of 14 chapters included into a new book on evolvable hardware edited by Martin Trefzer and Andy M. Tyrrell of 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?id=10396}
}

Your IPv4 address: 54.227.126.69
Switch to IPv6 connection

DNSSEC [dnssec]