Functional equivalence checking for evolution of complex digital circuits

Sekanina, L., & Vašíček, Z. (2015). Functional equivalence checking for evolution of complex digital circuits. In Evolvable Hardware: From Practice to Application (pp. 175–189). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-44616-4_6