Generating and checking control logic in the HDL-based design of reversible circuits

Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler. Generating and checking control logic in the HDL-based design of reversible circuits. In Sixth International Symposium on Embedded Computing and System Design, ISED 2016, Patna, India, December 15-17, 2016. pages 7-12, IEEE, 2016. [doi]

Abstract

Abstract is missing.