Fast equivalence-checking for quantum circuits

zbMATH Open1237.81059arXiv0909.4119MaRDI QIDQ3171609FDOQ3171609

Authors: S. Yamasita, Igor L. Markov 

Publication date: 5 October 2011

Full work available at URL: https://arxiv.org/abs/0909.4119

Recommendations

• Towards large-scale functional verification of universal quantum circuits
• Model Checking for Verification of Quantum Circuits
• Property checking of quantum circuits using quantum multiple-valued decision diagrams
• Automated equivalence checking of concurrent quantum systems
• Equivalence checking of quantum finite-state machines

zbMATH Keywords

quantum circuitequivalence-checkingcircuit simplificationreversible miters

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Cited In (11)

• Property checking of quantum circuits using quantum multiple-valued decision diagrams
• Towards large-scale functional verification of universal quantum circuits
• Advanced exact synthesis of Clifford+T circuits
• \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
• \textsf{symQV}: automated symbolic verification of quantum programs
• An automated deductive verification framework for circuit-building quantum programs
• Title not available (Why is that?)
• Equivalence checking in multi-level quantum systems
• Efficient Construction of Functional Representations for Quantum Algorithms
• Verifying the Steane code with Quantomatic
• A modeling and verification framework for optical quantum circuits

This page was built for publication: Fast equivalence-checking for quantum circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3171609)