Automated Generation of Quantum Circuit Specifications Based on Reed-Muller Expressions
- Programming / Tools
- Software Architecture
The current situation in quantum computing will described in the presentation and perhaps conference participants will find out new information from promising area of realization and programming of quantum computers. The experience of the development of the modular system for automatic generation of quantum circuit specifications which are used as a basis for the logical representation of the quantum computing process will be presented. The presentation discusses the proposed methods for automatic minimization of quantum circuits based on scalable templates, their evaluation and automatic verification.