Functional Equivalence Checking for Evolution of Complex Digital Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Lukás Sekanina' in GoogleThis author has not been identified. Look up 'Zdenek Vasícek' in Google

runs on WebDSL