2 papers
quant-ph2021
Equivalence Checking of Dynamic Quantum Circuits
Xin Hong, Yuan Feng, Sanjiang Li +1
Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a very limited number of qubits. One possible way to execute mor…
quant-ph2021
Approximate Equivalence Checking of Noisy Quantum Circuits
Xin Hong, Mingsheng Ying, Yuan Feng +2
We study the fundamental design automation problem of equivalence checking in the NISQ (Noisy Intermediate-Scale Quantum) computing realm where quantum noise is present inevitably.…