DocumentCode
734401
Title
Quantum circuits specifications design with lexical verification
Author
Kalmychkov, V.A. ; Krasilnikov, A.V. ; Matveeva, I.V.
Author_Institution
Fac. of Comput. Sci. & Technol., St. Petersburg Electrotech. Univ. "LETI", St. Petersburg, Russia
fYear
2015
fDate
19-21 May 2015
Firstpage
87
Lastpage
89
Abstract
In this paper we present our experience in quantum circuits design automation on the different notations basis. The need of rules and methods for generation of primitive quantum gates sequence for the quantum circuits on the basis of the Linear Nearest Neighbor (LNN) notation is shown. Our lexical verification methodology for quantum circuit specifications in each stage of its design is represented.
Keywords
formal verification; quantum gates; LNN notation; lexical verification; linear nearest neighbor notation; notations basis; primitive quantum gates sequence; quantum circuits design automation; quantum circuits specifications design; Boolean functions; Circuit synthesis; Computer science; Electronic mail; Logic gates; Optimization; Quantum computing; linear nearest neighbor architectures; quantum circuits design; quantum circuits optimization;
fLanguage
English
Publisher
ieee
Conference_Titel
Soft Computing and Measurements (SCM), 2015 XVIII International Conference on
Conference_Location
St. Petersburg
Print_ISBN
978-1-4673-6960-2
Type
conf
DOI
10.1109/SCM.2015.7190419
Filename
7190419
Link To Document