Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli. Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. In Luca Fanucci, Jürgen Teich, editors, 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. pages 175-180, IEEE, 2016. [doi]
Abstract is missing.