Quantum logic synthesis by symbolic reachability analysis

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Proceedings - Design Automation Conference

• Publication date

  2004-06-07

• Fields of study

  Mathematics, Physics, Computer Science

• Identifiers
  DOI 10.1145/996566.996790
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Majority-based reversible logic gates

  2005cited by this paper
• Segmented channel routability via satisfiability

  2004cited by this paper
• A transformation based algorithm for reversible logic synthesis

  2003cited by this paper
• Board-level multiterminal net assignment for the partial cross-bar architecture

  2003cited by this paper
• BDD minimization by scatter search

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

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

  2002cited by this paper
• BerkMin: A fast and robust SAT-solver

  2002influential reference
• Reversible Logic Synthesis by Iterative Compositions

  2002cited by this paper
• Reversible logic circuit synthesis

  2002cited by this paper
• Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance

  2001cited by this paper
• Benefits of Bounded Model Checking at an Industrial Setting

  2001cited by this paper
• Symbolic model checking using SAT procedures instead of BDDs

  1999influential reference
• Basic Concepts in Quantum Computation (量子情報理論とその応用論文小特集)

  1998cited by this paper
• Five two-bit quantum gates are sufficient to implement the quantum Fredkin gate.

  1996cited by this paper
• Elementary gates for quantum computation.

  1995cited by this paper
• Realizable Universal Quantum Logic Gates.

  1995cited by this paper
• Symbolic Model Checking

  1993influential reference
• Quantum computational networks

  1989cited by this paper
• Graph-Based Algorithms for Boolean Function Manipulation

  1986cited by this paper
• Reversible logic and quantum computers.

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

  year unknowninfluential reference

• Effective scheme of parity-preserving-reversible floating-point divider

  2022cites this paper
• Dual Toffoli and Peres-reversible gates.

  2020cites this paper
• A modeling and verification framework for optical quantum circuits

  2019cites this paper
• Parity-preserving reversible flip-flops with low quantum cost in nanoscale

  2019cites this paper
• Equivalence Checking of Quantum Finite-State Machines

  2019cites this paper
• High Performance Reversible Direct Data Synthesizer for Radio Frequency Applications

  2018cites this paper
• Equivalence Checking of Sequential Quantum Circuits

  2018cites this paper
• Optimized 4-bit Quantum Reversible Arithmetic Logic Unit

  2017cites this paper
• Synthesis of Quantum Circuits

  2017cites this paper
• Design and Implementation of Efficient Reversible Arithmetic and Logic Unit

  2016cites this paper
• Optimised reversible divider circuit

  2016cites this paper
• Towards the Design Automation of Quantum Circuits

  2016cites this paper
• Design and Implementation of an Efficient Reversible Comparator Using TR Gate

  2016cites this paper
• Optimized design of full-subtractor using new SRG reversible logic gates and VHDL simulation

  2015cites this paper
• Optimization Approaches for Designing Quantum Reversible Arithmetic Logic Unit

  2015influential citation
• Reversible Comparator Circuit Using a New Reversible Gate

  2015cites this paper
• Smten and the art of satisfiability-based search

  2014cites this paper
• Models of computation: A numeric analysis and performance evaluation

  2014cites this paper
• Smten with Satisability-Bas ed Search THREADS 2014

  2014cites this paper
• Residue arithmetic's using reversible logic gates

  2014cites this paper
• Complexity Analysis of Reversible Logic Synthesis

  2014cites this paper
• Reversible Arithmetic Logic Gate (ALG) for Quantum Computation

  2013cites this paper
• Generating New Reversible Logic Gates with Ladder Block Structure for Emerging Nanocircuits

  2013cites this paper
• PERFORMANCE ANALYSIS OF HIGHSPEED LOW POWER TG - MULTIPLIERSDESIGNS WITH RADIX-4 MODIFIEDBOOTH RECODING

  2013cites this paper
• Quantum Finite State Machines - a Circuit Based Approach

  2013cites this paper
• A Novel Reversible Gate and its Applications

  2012cites this paper
• Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams

  2012cites this paper
• Minimum Cost Fault Tolerant Adder Circuits in Reversible Logic Synthesis

  2012cites this paper
• Reversible implementation of novel multiply accumulate (MAC) unit

  2012cites this paper
• Optimized Reversible carry select BCD a dders using Reversible logic gates

  2012cites this paper
• GPU Computing with Applications in Digital Logic

  2012cites this paper
• A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits

  2012cites this paper
• Model checking quantum Markov chains

  2012cites this paper
• Optimized design of BCD adder and Carry skip BCD adder using reversible logic gates

  2011cites this paper
• Novel Design of All-Optical Reversible Logic Gates Using Mach-Zehnder Interferometer in the Field of Nanotechnology

  2011cites this paper
• Design of Reversible Sequential Circuit Using Reversible Logic Synthesis

  2011cites this paper
• Design of Regular Reversible Quantum Circuits

  2011cites this paper
• Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics

  2011cites this paper
• Synthesizing hybrid quantum circuits without ancilla qudits

  2010cites this paper
• AN IMPROVED DESIGN OF A MULTIPLIER USING REVERSIBLE LOGIC GATES

  2010cites this paper
• Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions

  2010cites this paper
• A library-based synthesis methodology for reversible logic

  2010cites this paper
• Exact synthesis of three-qubit quantum circuits from non-binary quantum gates

  2010cites this paper
• Automatic Synthesis of Quantum Teleportation Circuit

  2009cites this paper
• Quantum Finite State Machines as Sequential Quantum Circuits

  2009cites this paper
• A novel Toffoli network synthesis algorithm for reversible logic

  2009cites this paper
• A Novel Transformation-Based Algorithm for Reversible Logic Synthesis

  2009influential citation
• An algorithm for minimization of quantum cost

  2009cites this paper
• Reversible logic synthesis with Fredkin and Peres gates

  2008cites this paper
• DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction

  2008influential citation
• Multiple Valued Logic: Concepts and Representations

  2008cites this paper
• A Fast Transformation-Based Synthesis Algorithm for Reversible Circuits

  2008cites this paper
• Synthesis of reversible circuits with minimal costs

  2008cites this paper
• Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets

  2008cites this paper
• An efficient verification of quantum circuits under a practical restriction

  2008influential citation
• Reversible multipliers: Decreasing the depth of the circuit

  2008influential citation
• Bi-Directional Synthesis of 4-Bit Reversible Circuits

  2008cites this paper
• Moving forward: A non-search based synthesis method toward efficient CNOT-based quantum circuit synthesis algorithms

  2008cites this paper
• Projective Measurement-Based Logic Synthesis of Quantum Circuits

  2008cites this paper
• Comparison of the cost metrics through investigation of the relation between optimal NCV and optimal NCT three-qubit reversible circuits

  2007cites this paper
• Inductive Learning of Quantum Behaviors

  2007cites this paper
• Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis

  2007cites this paper
• On the Behavior of Substitution-based Reversible Circuit Synthesis Algorithms: Investigation and Improvement

  2007cites this paper
• Quantum Behaviors : Synthesis and Measurement

  2007cites this paper
• An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction

  2007influential citation
• Quantum Approaches to Logic Circuit Synthesis and Testing

  2006cites this paper
• A Constructive Algorithm for Reversible Logic Synthesis

  2006cites this paper
• A Decision Diagram Package for Reversible and Quantum Circuit Simulation

  2006cites this paper
• Analysis and Synthesis of Quantum Circuits by Using Quantum Decision Diagrams

  2006cites this paper
• Quantum Circuit Simplification and Level Compaction

  2006cites this paper
• Synthesis of Ternary Quantum Logic Circuits by Decomposition

  2005cites this paper
• Extending classical test to quantum

  2005cites this paper
• Efficient Synthesis of Quantum Logic Circuits by Rotation-based Quantum Operators and Unitary Functional Bi-decomposition

  2005cites this paper
• Exact synthesis of 3-qubit quantum circuits from non-binary quantum gates using multiple-valued logic and group theory

  2005cites this paper
• Test generation and fault localization for quantum circuits

  2005cites this paper
• Majority-based reversible logic gates

  2005cites this paper
• Comparison of the Cost Metrics for Reversible and Quantum Logic Synthesis

  2005cites this paper
• Quantum circuit simplification using templates

  2005influential citation
• Synthesis of quantum logic circuits

  2005cites this paper
• Synthesis of quantum-logic circuits

  2004cites this paper
• Deterministic and Probabilistic Test Generation for Binary and Ternary Quantum Circuits

  2004cites this paper
• Multiple-Valued Quantum Circuits and Research Challenges for Logic Design and Computational Intelligence Communities

  year unknowncites this paper
• A pr 2 00 6 Quantum Circuit Simpli £ cation and Level Compaction

  year unknowncites this paper
• Quantum Computing Basics and Concepts 1.1 Introduction

  year unknowncites this paper