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
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;
Conference_Titel :
Soft Computing and Measurements (SCM), 2015 XVIII International Conference on
Conference_Location :
St. Petersburg
Print_ISBN :
978-1-4673-6960-2
DOI :
10.1109/SCM.2015.7190419
