Towards a Design Flow for Reversible Logic - Wille, Robert; Drechsler, Rolf.; SpringerLink (Online service) (Dordrecht : Springer Netherlands : Imprint: Springer, 2010)
Preliminaries -- Synthesis of Reversible Logic -- Exact Synthesis of Reversible Logic -- Embedding of Irreversible Functions -- Optimization -- Formal Verification and Debugging -- Summary and Conclusions.
Keywords: Electronic circuits; Circuits and Systems