Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts
Abstract Neutral Atom Quantum Computing (NAQC) emerges as a promising hardware
platform primarily due to its long coherence times and scalability. Additionally, NAQC offers …
platform primarily due to its long coherence times and scalability. Additionally, NAQC offers …
QMDDs: Efficient quantum function representation and manipulation
Quantum mechanical phenomena such as phase shifts, superposition, and entanglement
show promise in use for computation. Suitable technologies for the modeling and design of …
show promise in use for computation. Suitable technologies for the modeling and design of …
An efficient algorithm for sparse quantum state preparation
N Gleinig, T Hoefler - 2021 58th ACM/IEEE Design Automation …, 2021 - ieeexplore.ieee.org
Generating quantum circuits that prepare specific states is an essential part of quantum
compilation. Algorithms that solve this problem for general states generate circuits at grow …
compilation. Algorithms that solve this problem for general states generate circuits at grow …
One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic
Reversible computation is a heavily investigated emerging technology due to its promising
characteristics in low-power design, its application in quantum computations, and several …
characteristics in low-power design, its application in quantum computations, and several …
Tools for quantum computing based on decision diagrams
With quantum computers promising advantages even in the near-term NISQ era, there is a
lively community that develops software and toolkits for the design of corresponding …
lively community that develops software and toolkits for the design of corresponding …
Optimal SWAP gate insertion for nearest neighbor quantum circuits
Motivated by its promising applications eg for database search or factorization, significant
progress has been made in the development of automated design methods for quantum …
progress has been made in the development of automated design methods for quantum …
Exact reordering of circuit lines for nearest neighbor quantum architectures
Research in the domain of quantum computation is mainly driven by their promising
applications eg, for factorization or database search. At the same time, physical …
applications eg, for factorization or database search. At the same time, physical …
Programming quantum computers using design automation
Recent developments in quantum hardware indicate that systems featuring more than 50
physical qubits are within reach. At this scale, classical simulation will no longer be feasible …
physical qubits are within reach. At this scale, classical simulation will no longer be feasible …
Advanced exact synthesis of Clifford+ T circuits
Quantum systems provide a new way of conducting computations based on the so-called
qubits. Due to the potential for significant speed-ups, this field received significant research …
qubits. Due to the potential for significant speed-ups, this field received significant research …
Logic synthesis for established and emerging computing
Logic synthesis is an enabling technology to realize integrated computing systems, and it
entails solving computationally intractable problems through a plurality of heuristic …
entails solving computationally intractable problems through a plurality of heuristic …