Quetschlich, Nils und Forster, Tobias und Osterwind, Adrian und Helms, Domenik und Wille, Robert (2024) Towards Equivalence Checking of Classical Circuits Using Quantum Computing. In: 5th IEEE International Conference on Quantum Computing and Engineering, QCE 2024, 1, Seiten 268-274. 2024 IEEE International Conferene on Quantum Computin & Engineering (QCE24), 2024-09-15 - 2024-09-20, Montréal, Québec, Canada. doi: 10.1109/QCE60285.2024.00040. ISBN 979-833154137-8.
![]() |
PDF
- Nur DLR-intern zugänglich bis 30 September 2026
329kB |
Kurzfassung
Quantum computers and quantum algorithms have made great strides in the last few years and promise improvements over classical computing for specific tasks. Although the current hardware is not yet ready to make real impacts at the time of writing, this will change over the coming years. To be ready for this, it is important to share knowledge of quantum computing in application domains where it is not yet represented. One such application is the verification of classical circuits, specifically, equivalence checking. Although this problem has been investigated over decades in an effort to overcome the verification gap, how it can potentially be solved using quantum computing has hardly been investigated yet. In this work, we address this question by considering a presumably straightforward approach: Using Grover's algorithm. However, we also show that, although this might be an obvious choice, there are several pitfalls to avoid in order to get meaningful results. This leads to the proposal of a working concept of a quantum computing methodology for equivalent checking providing the foundation for corresponding solutions in the (near) future.
elib-URL des Eintrags: | https://elib.dlr.de/205860/ | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||||||
Titel: | Towards Equivalence Checking of Classical Circuits Using Quantum Computing | ||||||||||||||||||||||||
Autoren: |
| ||||||||||||||||||||||||
Datum: | 2024 | ||||||||||||||||||||||||
Erschienen in: | 5th IEEE International Conference on Quantum Computing and Engineering, QCE 2024 | ||||||||||||||||||||||||
Referierte Publikation: | Ja | ||||||||||||||||||||||||
Open Access: | Nein | ||||||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||||||
In SCOPUS: | Ja | ||||||||||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||||||||||
Band: | 1 | ||||||||||||||||||||||||
DOI: | 10.1109/QCE60285.2024.00040 | ||||||||||||||||||||||||
Seitenbereich: | Seiten 268-274 | ||||||||||||||||||||||||
ISBN: | 979-833154137-8 | ||||||||||||||||||||||||
Status: | veröffentlicht | ||||||||||||||||||||||||
Stichwörter: | Circuit Equivalence Checking Quantum Computing Application Application of Grover's Algorithm | ||||||||||||||||||||||||
Veranstaltungstitel: | 2024 IEEE International Conferene on Quantum Computin & Engineering (QCE24) | ||||||||||||||||||||||||
Veranstaltungsort: | Montréal, Québec, Canada | ||||||||||||||||||||||||
Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||||||
Veranstaltungsbeginn: | 15 September 2024 | ||||||||||||||||||||||||
Veranstaltungsende: | 20 September 2024 | ||||||||||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||
HGF - Programm: | Verkehr | ||||||||||||||||||||||||
HGF - Programmthema: | keine Zuordnung | ||||||||||||||||||||||||
DLR - Schwerpunkt: | Verkehr | ||||||||||||||||||||||||
DLR - Forschungsgebiet: | V - keine Zuordnung | ||||||||||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | V - keine Zuordnung | ||||||||||||||||||||||||
Standort: | Oldenburg | ||||||||||||||||||||||||
Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität > System Evolution and Operation | ||||||||||||||||||||||||
Hinterlegt von: | Osterwind, Adrian | ||||||||||||||||||||||||
Hinterlegt am: | 16 Aug 2024 11:35 | ||||||||||||||||||||||||
Letzte Änderung: | 18 Feb 2025 10:45 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags