Function Translations And Search-Based Transformation For Mvl Reversible Circuit Synthesis

Two new function translations and a novel bounded search transformation-based synthesis approach that finds a reversible circuit implementation for a given 3-valued reversible function are presented. Methods for simplifying the circuit post-synthesis and quantum circuit implementation constraints are also considered. Experimental results for all 2-input 3-valued functions show the effectiveness of the new approaches compared to earlier transformation-based synthesis approaches. Other examples are given to show both the effectiveness and limitations of the new approaches which point to a number of key areas for further research. (C) 2021 Elsevier B.V. All rights reserved.