An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits

Arman Allahyari-Abhari, Robert Wille, Rolf Drechsler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Abstract

In the recent past, significant effort has been put on the investigation of design methods for quantum circuits. Based on different physical realizations, several gate libraries have been proposed for this purpose. Recently, the so-called NCV-1 library has been introduced in this context. In contrast to established libraries, the NCV-1 library seems to inherit some significant advantages compared to established ones, e.g. with respect to the mapping from reversible circuits or the satisfaction of nearest neighbour constraints. However, all these conclusions have been drawn based on heuristically results. In this work, we perform a more in-depth examination of the NCV-1 library based on minimal circuits. For this purpose, an exact synthesis scheme is proposed which utilizes the power of solvers for Boolean satisfiability. Our examination clearly unveiled that, from a logic design perspective, the NCV-1 library indeed superiors the currently established library.

Original languageEnglish
Title of host publicationProceedings - 2015 IEEE 45th International Symposium on Multiple-Valued Logic, ISMVL 2015
PublisherIEEE Computer Society
Pages42-47
Number of pages6
ISBN (Electronic)9781479917778
DOIs
StatePublished - 2 Sep 2015
Externally publishedYes
Event45th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015 - Waterloo, Canada
Duration: 18 May 201520 May 2015

Publication series

NameProceedings of The International Symposium on Multiple-Valued Logic
Volume2015-September
ISSN (Print)0195-623X

Conference

Conference45th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015
Country/TerritoryCanada
CityWaterloo
Period18/05/1520/05/15

Fingerprint

Dive into the research topics of 'An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits'. Together they form a unique fingerprint.

Cite this