Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397
Journal "Software Engineering"
a journal on theoretical and applied science and technology
ISSN 2220-3397
Issue N3 2020 year
Quantum computing is gradually reaching the applied level from the theoretical field due to the rapid progress of the technological base and the emergence of real quantum computer prototypes. Logical operations are the basis of computing devices, therefore quantum logical operations must be present in the quantum circuit, which is a model of quantum computing at the logical level. This paper presents our experience in automated synthesis and analysis of quantum circuit specifications and the results of using a set of developed applications to support these processes. The design, generation of possible variants and selection of a suitable quantum circuit are the iterative problem of multi-criteria search. The article considers the stages of a set of polarized Reed— Muller expressions of fixed polarity (FPRM) synthesis at the logical level by the truth table and automatic generation of sets of quantum Boolean schemes in notation of quantum gates. Results of using auto-minimize templates for SWAP gates composition in the transition to the architecture of linear nearest neighbor (LNN) are demonstrated. For qualitative and quantitative evaluation of automatically obtained specifications, the developed applications provide lexical verification of the generated quantum circuits based on symbolic notation for the coefficients of the involved qubits. The results of the automatic formation of the statistical analysis table for the choice of the quantum circuit according to the criteria set by the assumed technology of physical realization are presented.