A Cycle Based Reversible Logic Synthesis Approach

Research in the field of reversible computing has gained vivid attention during the last decade because of its importance in various applications like low power design and quantum computing. With such motivations researchers have worked on developing several reversible synthesis approaches over the years. Some methods are exact, some are based on heuristics, some rely on function representations like Binary Decision Diagram (BDD) or Exclusive-OR Sum of Products (ESOP), and some are based on group theoretic methods. In this paper a synthesis approach for reversible logic circuit based on the theory of permutation cycles is presented, using multiple-control Toffoli gates. The method uses cycle decomposition rules to divide larger cycles into smaller ones and then smaller cycles with bit difference less than three are directly synthesized using an existing synthesis algorithm in the backend. After generating the net list, further optimizations are performed using an window optimization method present in Revkit.