Using ZDDs in the mapping of quantum circuits

  title={Using ZDDs in the mapping of quantum circuits},
  author={M. Soeken},
  • M. Soeken
  • Published in QPL 2019
  • Computer Science, Physics
  • A critical step in quantum compilation is the transformation of a technology-independent quantum circuit into a technology-dependent form for a targeted device. In addition to mapping quantum gates into the supported gate set, it is necessary to map pseudo qubits in the technology-independent circuit into physical qubits of the technology-dependent circuit such that coupling constraints among qubits acting in multiple-qubit gates are satisfied. It is usually not possible to find such a mapping… CONTINUE READING
    3 Citations
    Architecture-aware synthesis of phase polynomials for NISQ devices
    • 2
    • PDF
    Technology-dependent Quantum Logic Synthesis and Compilation


    Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices
    • 67
    • PDF
    Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures
    • 14
    Circuit Transformations for Quantum Architectures
    • 21
    • PDF
    An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures
    • 89
    • PDF
    Quantum Computing in the NISQ era and beyond
    • 1,126
    • PDF
    On the Complexity of Quantum Circuit Compilation
    • 24
    A Practical Quantum Instruction Set Architecture
    • 167
    • PDF
    Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems
    • S. Minato
    • Computer Science
    • 30th ACM/IEEE Design Automation Conference
    • 1993
    • 739
    • PDF
    The Art of Computer Programming
    • 11,873