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...
Kaydedildi:
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Wiley
2023-06-01
|
| Seri Bilgileri: | IET Quantum Communication |
| Konular: | |
| Online Erişim: | https://doi.org/10.1049/qtc2.12055 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|