A transformation based algorithm for reversible logic synthesis

No abstract is available for this paper.

• Publication year

  2003

• Venue

  Proceedings - Design Automation Conference

• Publication date

  2003-06-02

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/775832.775915
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Hierarchical Approach to Computer-Aided Design of Quantum Circuits

  2003cited by this paper
• GARBAGE IN REVERSIBLE DESIGN OF MULTIPLE OUTPUT FUNCTIONS

  2003cited by this paper
• Reversible logic circuit synthesis

  2002influential reference
• Reversible Logic Synthesis by Iterative Compositions

  2002cited by this paper
• Spectral and two-place decomposition techniques in reversible logic

  2002cited by this paper
• Spectral Techniques for Reversible Logic Synthesis

  2002cited by this paper
• Transformation rules for designing CNOT-based quantum circuits

  2002cited by this paper
• Logic Synthesis of Reversible Wave Cascades

  2002cited by this paper
• Efficient adder circuits based on a conservative reversible logic gate

  2002influential reference
• A scheme for efficient quantum computation with linear optics

  2001cited by this paper
• Regularity and Symmetry as a Base for Efficient Realization of Reversible Logic Circuits

  2001cited by this paper
• Ultra-low-power CMOS technologies

  1996cited by this paper
• Helical logic

  1996cited by this paper
• Two types of mechanical reversible logic

  1993cited by this paper
• Ultra low power CMOS technology

  1991cited by this paper
• Reversible Computing

  1980influential reference
• Logical reversibility of computation

  1973cited by this paper
• Irreversibility and heat generation in the computing process

  1961cited by this paper
• International Journal of Theoretical Physics, VoL 21, Nos. 3/4, 1982 Conservative Logic 1

  year unknowncited by this paper

• A REFINED AND EXPEDIENT THREE-OPERAND BINARY ADDER DEVISED BY MEANS OF REVERSIBLE LOGICAL ARTIFICE

  2026cites this paper
• An Automated Synthesis Framework for Benchmarking Quantum Resource Costs of Symmetric-Key Cryptography

  2026influential citation
• CLINE: Improving Control Flow Compilation of Quantum Programs with Control Line Encoding

  2026cites this paper
• Fault detection scheme for negative control flipping faults in reversible circuits

  2026cites this paper
• A Novel and Ultra-Efficient Design of Reversible Quantum Vedic Multiplier

  2025cites this paper
• Synthesis of a reversible quantum Vedic multiplier on IBM quantum computers

  2025cites this paper
• Can Quantum Break ZUC? Only with a Million Qubits and a Billion Years to Spare

  2025cites this paper
• Scalable and low-power reversible logic for future devices: QCA and IBM-based gate realization

  2025cites this paper
• Block Encoding of Sparse Matrices via Coherent Permutation

  2025cites this paper
• ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language

  2025cites this paper
• A complete set of transformation rules for reversible circuits

  2025cites this paper
• PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits

  2025cites this paper
• Efficient representation of bit-planes for quantum image processing

  2024cites this paper
• Simplified Quantum Circuit Implementation for ASCON Security Analysis against Grover’s Algorithm

  2024cites this paper
• Geometric Refactoring of Quantum and Reversible Circuits Using Graph Algorithms

  2024cites this paper
• A regular architecture for a low-quantum-cost n-bit multiplier

  2024cites this paper
• Boolean Matching Reversible Circuits: Algorithm and Complexity

  2024cites this paper
• Synthesis of Binary-Input Multi-Valued Output Optical Cascades for Reversible and Quantum Technologies

  2024cites this paper
• Designing of Reversible Functions in Classical and Quantum Domains

  2024cites this paper
• Toffoli-depth reduction method preserving in-place quantum circuits and its application to SHA3-256

  2024cites this paper
• One Hot Encoding Synthesis of Quantum Automata from Flowcharts

  2023cites this paper
• Approximate Reversible Circuits for NISQ-Era Quantum Computers

  2023cites this paper
• Prediction of the neutron drip line in oxygen isotopes using quantum computation

  2023cites this paper
• Design of Reversible Computing Systems; Large Logic, Languages, and Circuits

  2023cites this paper
• Demonstration of a Hardware-Independent Toolkit for Automated Quantum Subcircuit Synthesis

  2023influential citation
• Quantum Circuit Completeness: Extensions and Simplifications

  2023cites this paper
• Graph Neural Network Autoencoders for Efficient Quantum Circuit Optimisation

  2023cites this paper
• Towards Faster Reinforcement Learning of Quantum Circuit Optimisation: Exponential Reward Functions

  2023cites this paper
• A novel design of reversible quantum multiplier based on multiple-control toffoli synthesis

  2023cites this paper
• Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace

  2023cites this paper
• An Energy-Aware Nanoscale Design of Reversible Atomic Silicon Based on Miller Algorithm

  2023influential citation
• A new design of parity preserving reversible Vedic multiplier targeting emerging quantum circuits

  2023influential citation
• Synthesis of Reversible Logic Circuits-A Technical Review

  2023cites this paper
• Compact Quantum Circuits for Dimension Reducible Functions

  2023cites this paper
• SAT-Based Quantum Circuit Adaptation

  2023cites this paper
• XOR-AND-XOR Logic Forms for Autosymmetric Functions and Applications to Quantum Computing

  2023cites this paper
• Data-Driven Reliability Models of Quantum Circuit: From Traditional ML to Graph Neural Network

  2023cites this paper
• Design of a Ternary Fredkin Reversible Gate

  2023cites this paper
• Cost Explosion for Efficient Reinforcement Learning Optimisation of Quantum Circuits

  2023cites this paper
• A new design of parity-preserving reversible multipliers based on multiple-control toffoli synthesis targeting emerging quantum circuits

  2023cites this paper
• Reducing Reversible Circuit Line Count Using Boolean Techniques

  2023cites this paper
• Automated quantum oracle synthesis with a minimal number of qubits

  2023influential citation
• Optimized Boolean expression embedding in quantum and reversible logic circuits

  2023cites this paper
• Nano-design of ultra-efficient reversible block based on quantum-dot cellular automata

  2023influential citation
• An Ultra-Ecient Nano-Scale Arithmetic and Logic Unit Using a New Conservative Reversible Block and Quantum-Dots

  2022cites this paper
• Optimizing the Depth of Quantum Implementations of Linear Layers

  2022cites this paper
• Multistage Multi-population Species Conservation Evolutionary Algorithm for Reversible Logic Circuit Synthesis

  2022cites this paper
• SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

  2022cites this paper
• QCiR: Pattern Matching Based Universal Quantum Circuit Rewriting Framework

  2022influential citation
• Transpiling Quantum Circuits using the Pentagon Equation

  2022cites this paper
• T-depth Reduction Method for Efficient SHA-256 Quantum Circuit Construction

  2022cites this paper
• Synthesis of Reversible Circuits with Reduced Nearest-Neighbor Cost Using Kronecker Functional Decision Diagrams

  2022cites this paper
• tweedledum: A Compiler Companion for Quantum Computing

  2022cites this paper
• Using Quantum computers to speed up dynamic testing of software

  2022cites this paper
• Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages

  2021cites this paper
• Hardware Implementation of a Visual Image Watermarking Scheme Using Qubit/Quantum Computation Through Reversible Methodology

  2021cites this paper
• A Transformation-Based Quantum Physical Synthesis Approach for Nearest-Neighbor Architectures

  2021cites this paper
• Optimization of multiplier in reversible logic

  2021cites this paper
• Post-Synthesis Optimization of Reversible Circuits

  2021cites this paper
• Synthesis of Reversible and Quantum Circuit using ROCBDD and Mixed-Polarity Toffoli Gate

  2021cites this paper
• Test Points for Online Monitoring of Quantum Circuits

  2021cites this paper
• From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++

  2021cites this paper
• A fast Binary Decision Diagram (BDD)-based reversible logic optimization engine driven by recent meta-heuristic reordering algorithms

  2021cites this paper
• A multi-commodity network model for optimal quantum reversible circuit synthesis

  2021cites this paper
• A reversible circuit synthesis algorithm with progressive increase of controls in generalized Toffoli gates

  2021cites this paper
• An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

  2021cites this paper
• Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls

  2021cites this paper
• Decomposition-Based Watermarking of Quantum Circuits

  2021cites this paper
• Quantum algorithm for credit valuation adjustments

  2021influential citation
• Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit

  2021cites this paper
• Reversible multiplier with a column-wise structure and a reduced number of ancilla inputs and garbage outputs

  2021influential citation
• Design of Single-Bit Fault-Tolerant Reversible Circuits

  2021cites this paper
• Exploring the Potential Benefits of Alternative Quantum Computing Architectures

  2021cites this paper
• Quantum logic synthesis for Satisfiability Problems

  2021cites this paper
• Automated Flag Qubit Insertion for Reliable Quantum Circuit Output

  2021cites this paper
• A new method for reversible circuit synthesis using a Simulated Annealing algorithm and don’t-cares

  2021influential citation
• Efficient Designs of Reversible Synchronous Counters in Nanoscale

  2021cites this paper
• Reversible Logic Synthesis

  2020cites this paper
• Search-Based Transformation Synthesis for 3-Valued Reversible Circuits

  2020influential citation
• Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

  2020cites this paper
• Resource-Efficient Quantum Computing by Breaking Abstractions

  2020cites this paper
• Ant Colony Optimization Implementation for Reversible Synthesis in Walsh-Hadamard Domain

  2020cites this paper
• Realization of Quantum Oracles using Symmetries of Boolean Functions

  2020cites this paper
• Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators

  2020cites this paper
• The Algorithm for Reversible Circuits Synthesis

  2020cites this paper
• SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation

  2020cites this paper
• Improved ant colony optimization for quantum cost reduction

  2020cites this paper
• Quantum legitimacy of reversible gate and a new design of multiplier based on R gate

  2020cites this paper
• A Swarm based Binary Decision Diagram (BDD) Reordering Optimizer for Reversible Circuit Synthesis

  2020influential citation
• Reversible Circuits Synthesis from Functional Decision Diagrams by using Node Dependency Matrices

  2020cites this paper
• Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements

  2020cites this paper
• Design of 4x2 Priority Encoder Using Reversible Logic Gates

  2020cites this paper
• On the Complexity of the Cycles based Synthesis of Ternary Reversible Circuits

  2020cites this paper
• An Attack on Quantum Circuits Based on the Error Rates of NISQ Systems and a Countermeasure

  2020cites this paper
• Improved Quantum Circuits via Intermediate Qutrits

  2020cites this paper
• Design and Implementation of Reversible Programmable Devices

  2020cites this paper
• Efficient designs of reversible BCD to EX-3 Converter with low quantum cost in nanoscale

  2020cites this paper
• A Novel Fault-Detection Scheme for Nearest-Neighbor-Based Reversible Circuits

  2020cites this paper
• Exact and Practical Pattern Matching for Quantum Circuit Optimization

  2019influential citation
• Adaptive Quantum Image Encryption Method Based on Wavelet Transform

  2019cites this paper