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]
Abstract is missing.