Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.

Robert Wille, Oliver Keszcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler

Browse the full RC paper archive.