Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking.

Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli

Browse the full DATE paper archive.