Robert Wille, Oliver Keszocze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler. Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report. In Simon J. Devitt, Ivan Lanese, editors, Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Volume 9720 of Lecture Notes in Computer Science, pages 160-166, Springer, 2016. [doi]
Abstract is missing.