activity
20072026
most citedSynthesis and Optimization of Reversible Circuits - A Survey

301 citations · 969 across the 18 of their papers we have counts for

collaborators
Showing quant-phShow all

14 papers · 1 filter

quant-ph2026

When Close Enough Is Not Enough: Autoregressive Drift in Quantum Circuit Synthesis

Mehdi Saeedi, Eddie Richter, Paul Hartke

Quantum circuit optimization for fault-tolerant computing requires exact functional equivalence while minimizing expensive non-Clifford resources such as T gates. We study this pro…

quant-ph2013

Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures

Mehdi Saeedi, Alireza Shafaei, Massoud Pedram

Quantum arithmetic circuits have practical applications in various quantum algorithms. In this paper, we address quantum addition on 2-dimensional nearest-neighbor architectures ba…

quant-ph2013★ 72 cited

Linear-Depth Quantum Circuits for n-qubit Toffoli gates with no Ancilla

Mehdi Saeedi, Massoud Pedram

We design a circuit structure with linear depth to implement an -qubit Toffoli gate. The proposed construction uses a quadratic-size circuit consists of elementary 2-qubit contr…

quant-ph2013★ 34 cited

Faster Quantum Number Factoring via Circuit Synthesis

Igor L. Markov, Mehdi Saeedi

A major obstacle to implementing Shor's quantum number-factoring algorithm is the large size of modular-exponentiation circuits. We reduce this bottleneck by customizing reversible…

quant-ph2012★ 19 cited

Depth-Optimized Reversible Circuit Synthesis

Mona Arabzadeh, Morteza Saheb Zamani, Mehdi Sedighi +1

In this paper, simultaneous reduction of circuit depth and synthesis cost of reversible circuits in quantum technologies with limited interaction is addressed. We developed a cycle…

quant-ph2011★ 216 cited

Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures

Mehdi Saeedi, Robert Wille, Rolf Drechsler

While a couple of impressive quantum technologies have been proposed, they have several intrinsic limitations which must be considered by circuit designers to produce realizable ci…

quant-ph2011★ 45 cited

Reversible Circuit Optimization via Leaving the Boolean Domain

Dmitri Maslov, Mehdi Saeedi

For years, the quantum/reversible circuit community has been convinced that: a) the addition of auxiliary qubits is instrumental in constructing a smaller quantum circuit; and, b)…

quant-ph2010

Block-based quantum-logic synthesis

Mehdi Saeedi, Mona Arabzadeh, Morteza Saheb Zamani +1

In this paper, the problem of constructing an efficient quantum circuit for the implementation of an arbitrary quantum computation is addressed. To this end, a basic block based on…

quant-ph2010★ 37 cited

Synthesis of Reversible Functions Beyond Gate Count and Quantum Cost

Robert Wille, Mehdi Saeedi, Rolf Drechsler

Many synthesis approaches for reversible and quantum logic have been proposed so far. However, most of them generate circuits with respect to simple metrics, i.e. gate count or qua…

quant-ph2010

Rule-Based Optimization of Reversible Circuits

Mona Arabzadeh, Mehdi Saeedi, Morteza Saheb Zamani

Reversible logic has applications in various research areas including low-power design and quantum computation. In this paper, a rule-based optimization approach for reversible cir…

quant-ph2010★ 60 cited

A Library-Based Synthesis Methodology for Reversible Logic

Mehdi Saeedi, Mehdi Sedighi, Morteza Saheb Zamani

In this paper, a library-based synthesis methodology for reversible circuits is proposed where a reversible specification is considered as a permutation comprising a set of cycles.…

quant-ph2010★ 133 cited

Reversible Circuit Synthesis Using a Cycle-Based Approach

Mehdi Saeedi, Morteza Saheb Zamani, Mehdi Sedighi +1

Reversible logic has applications in various research areas including signal processing, cryptography and quantum computation. In this paper, direct NCT-based synthesis of a given…

quant-ph2008★ 38 cited

A Novel Synthesis Algorithm for Reversible Circuits

Mehdi Saeedi, Mehdi Sedighi, Morteza Saheb Zamani

In this paper, a new non-search based synthesis algorithm for reversible circuits is proposed. Compared with the widely used search-based methods, our algorithm is guarantied to pr…

quant-ph2007★ 10 cited

Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis

Mehdi Saeedi, Morteza Saheb Zamani, Mehdi Sedighi

The exponential speed up of quantum algorithms and the fundamental limits of current CMOS process for future design technology have directed attentions toward quantum circuits. In…