Reversible logic synthesis of boolean functions using functional decomposition

Reversible logic circuits are one of the solutions to the problem of conventional microelectronic technology reaching its limits. Unfortunately, efficient reversible system design requires different approaches than conventional solutions; the current methods of reversible function synthesis have certain limitations, including their complexity and scalability. This paper presents the application of functional decomposition, developed for conventional logic synthesis, as a potentially crucial step in synthesis of reversible logic. A decomposition of a Boolean function into a network of smaller sub-functions, subsequently synthesized into reversible blocks and composed into a reversible system, often yields better results than direct reversible synthesis of the original Boolean function. The experimental results presented in this paper demonstrate the potential of the proposed approach.