FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3016880330> ?p ?o ?g. }

• W3016880330 endingPage "1824" @default.
• W3016880330 startingPage "1810" @default.
• W3016880330 abstract "In the not-so-distant future, quantum computing will change the way we tackle certain problems. It promises to dramatically speed-up many chemical, financial, cryptographical, and machine-learning applications. However, in order to capitalize on those promises, complex design flows composed of steps, such as compilation, decomposition, mapping, or transpilation need to be employed before being able to execute a conceptual quantum algorithm on an actual device. This results in many descriptions at various levels of abstraction which may significantly differ from each other. The complexity of the underlying design problems makes it ever more important to not only provide efficient solutions for the single steps but also to verify that the originally intended functionality is preserved throughout all levels of abstraction. This motivates methods for equivalence checking of quantum circuits. However, most existing methods for this are inspired by equivalence checking in the classical realm and have merely been extended to support quantum circuits (i.e., circuits which do not only rely on 0's and 1's but also employ superposition and entanglement). In this work, we propose an advanced methodology that takes the different paradigms of quantum circuits not only as a burden but as an opportunity. In fact, the proposed methodology explicitly utilizes characteristics unique to quantum computing in order to overcome the shortcomings of existing approaches. We show that by exploiting the reversibility of quantum circuits, complexity can be kept feasible in many cases. Moreover, we show that, in contrast to the classical realm, simulation is very powerful in verifying quantum circuits. Experimental evaluations confirm that the resulting methodology allows one to conduct equivalence checking dramatically faster than ever before-in many cases just a single simulation run is sufficient. An implementation of the proposed equivalence checking flow is publicly available at https://iic.jku.at/eda/research/quantum_verification/." @default.
• W3016880330 created "2020-04-24" @default.
• W3016880330 creator A5004214923 @default.
• W3016880330 creator A5012129773 @default.
• W3016880330 date "2021-09-01" @default.
• W3016880330 modified "2023-09-30" @default.
• W3016880330 title "Advanced Equivalence Checking for Quantum Circuits" @default.
• W3016880330 cites W10410845 @default.
• W3016880330 cites W1749786511 @default.
• W3016880330 cites W1913744808 @default.
• W3016880330 cites W1985875391 @default.
• W3016880330 cites W2019827905 @default.
• W3016880330 cites W2038709177 @default.
• W3016880330 cites W2040497903 @default.
• W3016880330 cites W2063803513 @default.
• W3016880330 cites W2081444194 @default.
• W3016880330 cites W2084652510 @default.
• W3016880330 cites W2088468720 @default.
• W3016880330 cites W2093722143 @default.
• W3016880330 cites W2114969008 @default.
• W3016880330 cites W2121695129 @default.
• W3016880330 cites W2125125126 @default.
• W3016880330 cites W2130753923 @default.
• W3016880330 cites W2150528339 @default.
• W3016880330 cites W2203382396 @default.
• W3016880330 cites W2765753692 @default.
• W3016880330 cites W2781738013 @default.
• W3016880330 cites W2888326017 @default.
• W3016880330 cites W2899727632 @default.
• W3016880330 cites W2908999967 @default.
• W3016880330 cites W2913992572 @default.
• W3016880330 cites W2946718325 @default.
• W3016880330 cites W2949747156 @default.
• W3016880330 cites W2950116903 @default.
• W3016880330 cites W2963481762 @default.
• W3016880330 cites W2963837308 @default.
• W3016880330 cites W2963924382 @default.
• W3016880330 cites W2964148776 @default.
• W3016880330 cites W2990961515 @default.
• W3016880330 cites W2996674934 @default.
• W3016880330 cites W2996803642 @default.
• W3016880330 cites W2997740458 @default.
• W3016880330 cites W3013344133 @default.
• W3016880330 cites W3144070277 @default.
• W3016880330 cites W3149477534 @default.
• W3016880330 cites W3149485484 @default.
• W3016880330 cites W4243399171 @default.
• W3016880330 cites W4244267487 @default.
• W3016880330 cites W69190861 @default.
• W3016880330 doi "https://doi.org/10.1109/tcad.2020.3032630" @default.
• W3016880330 hasPublicationYear "2021" @default.
• W3016880330 type Work @default.
• W3016880330 sameAs 3016880330 @default.
• W3016880330 citedByCount "38" @default.
• W3016880330 countsByYear W30168803302020 @default.
• W3016880330 countsByYear W30168803302021 @default.
• W3016880330 countsByYear W30168803302022 @default.
• W3016880330 countsByYear W30168803302023 @default.
• W3016880330 crossrefType "journal-article" @default.
• W3016880330 hasAuthorship W3016880330A5004214923 @default.
• W3016880330 hasAuthorship W3016880330A5012129773 @default.
• W3016880330 hasBestOaLocation W30168803302 @default.
• W3016880330 hasConcept C111472728 @default.
• W3016880330 hasConcept C111498074 @default.
• W3016880330 hasConcept C113775141 @default.
• W3016880330 hasConcept C118615104 @default.
• W3016880330 hasConcept C119599485 @default.
• W3016880330 hasConcept C121040770 @default.
• W3016880330 hasConcept C121332964 @default.
• W3016880330 hasConcept C124304363 @default.
• W3016880330 hasConcept C127413603 @default.
• W3016880330 hasConcept C134146338 @default.
• W3016880330 hasConcept C138885662 @default.
• W3016880330 hasConcept C2780069185 @default.
• W3016880330 hasConcept C33923547 @default.
• W3016880330 hasConcept C41008148 @default.
• W3016880330 hasConcept C58053490 @default.
• W3016880330 hasConcept C62520636 @default.
• W3016880330 hasConcept C80444323 @default.
• W3016880330 hasConcept C84114770 @default.
• W3016880330 hasConcept C96654402 @default.
• W3016880330 hasConceptScore W3016880330C111472728 @default.
• W3016880330 hasConceptScore W3016880330C111498074 @default.
• W3016880330 hasConceptScore W3016880330C113775141 @default.
• W3016880330 hasConceptScore W3016880330C118615104 @default.
• W3016880330 hasConceptScore W3016880330C119599485 @default.
• W3016880330 hasConceptScore W3016880330C121040770 @default.
• W3016880330 hasConceptScore W3016880330C121332964 @default.
• W3016880330 hasConceptScore W3016880330C124304363 @default.
• W3016880330 hasConceptScore W3016880330C127413603 @default.
• W3016880330 hasConceptScore W3016880330C134146338 @default.
• W3016880330 hasConceptScore W3016880330C138885662 @default.
• W3016880330 hasConceptScore W3016880330C2780069185 @default.
• W3016880330 hasConceptScore W3016880330C33923547 @default.
• W3016880330 hasConceptScore W3016880330C41008148 @default.
• W3016880330 hasConceptScore W3016880330C58053490 @default.
• W3016880330 hasConceptScore W3016880330C62520636 @default.
• W3016880330 hasConceptScore W3016880330C80444323 @default.

• next