To obtain access to full text of journal and articles you must register!
- Article name
- A QUANTUM APPROACH TO SOLVING PROBLEMS FORMAL VERIFICATION OF DIGITAL CIRCUITS
- Authors
- Pravilshchikov P. A., , pravilshchikov@mail.ru, Federal State Government-Financed Scientific Establishment V. A. Trapeznikov Institute for Control Sciences of RAS, Moscow, Russia
- Keywords
- quantum computers / quantum algorithms / formal verification / qubits / qutrits / ququadrits / qunits
- Year
- 2023 Issue 1 Pages 10 - 20
- Code EDN
- SVNQNL
- Code DOI
- 10.52190/2073-2597_2023_1_10
- Abstract
- The reasons for the return to logical control systems based on hard logic are outlined. A des-cription of quantum algorithms is given on examples of solving the problem of verification for logical control systems based on rigid logic. It is assumed that quantum algorithms operate on the platform of a problem-oriented quantum computer with a quantum parallelism mechanism. To avoid unnecessary details, instead of a quantum computer, we consider here the solution of verifi-cation problems based on its new computational model.
- Text
- BUY for read the full text of article
- Buy
- 500.00 rub
