Reversible Logic Synthesis Using Binary Decision Diagrams (BDDs) With Exploiting Efficient Reordering Operators
Publication Type
Original research
Authors

With the continuous shrinkage of transistor sizes in very large scale integrated circuits, power consumption forms a serious concern to be tackled. With their ability to allow for zero energy dissipation, reversible circuits have been considered as a promising solution to meet up with low power design requirements. Moreover, advances in their synthesis methodologies can be easily applied to quantum circuits due to the inherited reversibility of the latter. Although numerous algorithms have been proposed in the literature to synthesize reversible circuits and map them into their corresponding quantum circuits, the scalability and computational effort of such algorithms form a serious concern when synthesizing large size input functions. Binary Decision Diagram-based synthesis for reversible circuits has shown great evidence realizing reversible circuits with the low quantum cost through exploiting proper reduction rules for smaller graph size. However, the order of the variables in the decision diagram impacts its overall size, and thus, the cost of its corresponding reversible circuit. While several reordering algorithms have been proposed in this manner, their direct impact on the quantum cost has not been considered. In this paper, a Binary DecisionDiagram-based algorithm for reversible circuit synthesis is proposed to synthesize reversible circuits fora given Boolean function with the low quantum cost through exploiting a linearized relationship between the decision diagram size and the corresponding quantum cost. Thereafter, different decision diagram reordering algorithms have been integrated with the proposed algorithm and compared in terms of their impact on the quantum cost. Experimental results show that Genetic Algorithm-based reordering for decision diagram, supported with, cycle crossover, inverse mutation, and tournament selection, results in the least quantum cost of the output circuit if compared with other algorithms due to its property in preserving the nodes of the decision diagram in their near-optimal locations during the optimization recipe.

Journal
Title
IEEE Access
Publisher
IEEE
Publisher Country
United States of America
Indexing
Thomson Reuters
Impact Factor
3.745
Publication Type
Both (Printed and Online)
Volume
8
Year
2020
Pages
1-16