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]
No references recorded for this publication.
No citations of this publication recorded.