elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Towards Equivalence Checking of Classical Circuits Using Quantum Computing

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.

[img] 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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Quetschlich, Nilsnils.quetschlich (at) tum.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Forster, Tobiast.forster (at) tum.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Osterwind, Adrianadrian.osterwind (at) dlr.dehttps://orcid.org/0000-0002-0752-8698NICHT SPEZIFIZIERT
Helms, Domenikdomenik.helms (at) dlr.dehttps://orcid.org/0000-0001-7326-200XNICHT SPEZIFIZIERT
Wille, Robertrobert.wille (at) tum.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.