Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker. Equivalence checking of partial designs using dependency quantified Boolean formulae. In 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013. pages 396-403, IEEE, 2013. [doi]
Abstract is missing.