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

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ů
Book:Evolvable Hardware - From Practice to Application
Place:Berlin, DE
Publisher:Springer Verlag
digital circuit, evolutionary algorithm, SAT problem, equivalence checking
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.
   author = {Luk{\'{a}}{\v{s}} Sekanina and Zden{\v{e}}k
   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 = {}

Your IPv4 address:
Switch to https