1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
Equivalence Checking of Parameterised Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +4
Parameterised quantum circuits (PQCs) hold great promise for demonstrating quantum advantages in practical applications of quantum computation. Examples of successful applications…
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien +5
With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introdu…
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…
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.…