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...
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Artigo |
| Langue: | Inglês |
| Publié: |
Wiley
2023-06-01
|
| Collection: | IET Quantum Communication |
| Sujets: | |
| Accès en ligne: | https://doi.org/10.1049/qtc2.12055 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|