Lukás Sekanina, Zdenek Vasícek. Functional Equivalence Checking for Evolution of Complex Digital Circuits. In Martin A. Trefzer, Andy M. Tyrrell, editors, Evolvable Hardware - From Practice to Application. Natural Computing Series, pages 175-189, Springer, 2015. [doi]
@incollection{SekaninaV15,
title = {Functional Equivalence Checking for Evolution of Complex Digital Circuits},
author = {Lukás Sekanina and Zdenek Vasícek},
year = {2015},
doi = {10.1007/978-3-662-44616-4_6},
url = {http://dx.doi.org/10.1007/978-3-662-44616-4_6},
researchr = {https://researchr.org/publication/SekaninaV15},
cites = {0},
citedby = {0},
pages = {175-189},
booktitle = {Evolvable Hardware - From Practice to Application},
editor = {Martin A. Trefzer and Andy M. Tyrrell},
series = {Natural Computing Series},
publisher = {Springer},
isbn = {978-3-662-44615-7},
}