Publication
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler
In: 8th International Conference on Reversible Computation. International Conference on Reversible Computation (RC), 2016.