- author = "Rongliang Fu and Robert Wille and Nobuyuki Yoshikawa and Tsung-Yi Ho",
- title = "Efficient Cartesian Genetic Programming-Based Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits",
- journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems",
- keywords = "genetic algorithms, genetic programming, Cartesian genetic programming, Logic gates, Logic circuits, Logic, Quantum computing, Inverters, Reversible computing, Design automation, Energy efficiency, Energy dissipation, Superconducting electronics, reversible quantum-flux-parametron, logic synthesis",
- ISSN = "1937-4151",
-
DOI = "
doi:10.1109/TCAD.2025.3546884",
- abstract = "Reversible computing has garnered significant attention as a promising avenue for achieving energy-efficient computing systems, particularly within the realm of quantum computing. The reversible quantum-flux-parametron (RQFP) is the first practical reversible logic gate using adiabatic superconducting devices, with experimental evidence supporting both its logical and physical reversibility. Each RQFP logic gate operates on alternating current (AC) power and features three input ports and three output ports. Notably, each output port is capable of implementing a majority function while driving only a single fan-out. Additionally, the three inputs to each gate must arrive in the same clock phase. These inherent characteristics present substantial challenges in the design of RQFP logic circuits. To address these challenges, this paper proposes an automatic synthesis framework for RQFP logic circuit design based on efficient Cartesian genetic programming (CGP). The framework aims to minimise both the number of RQFP logic gates and the number of garbage outputs within the generated RQFP logic circuit. It incorporates the specific characteristics of the RQFP logic circuit by encoding them into the genotype of a CGP individual. It also introduces several point mutation operations to facilitate the generation of new individuals. Furthermore, the framework integrates circuit simulation with formal verification to assess the functional equivalence between the parent and its offspring. Experimental results on RevLib and reversible reciprocal circuit benchmarks demonstrate the effectiveness of our framework.",
-
notes = "Also known as \cite{10907912}
Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China",
