Rotational abstractions for verification of quantum Fourier transform circuits
Abstract With the race to build large‐scale quantum computers and efforts to exploit quantum algorithms for efficient problem solving in science and engineering disciplines, the requirement to have efficient and scalable verification methods are of vital importance. A novel formal verification metho...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2023-06-01
|
| Series: | IET Quantum Communication |
| Subjects: | |
| Online Access: | https://doi.org/10.1049/qtc2.12055 |