Quantum memory-driven computing for test synthesis
Vladimir I. Hahanov, Wajeb Gharibi, Eugenia I. Litvinova, Mykhailo Liubarskyi, Anastasia Hahanova · 2017
Memory-driven computing for the design and test of digital devices is considered. One of the possible solutions to the problem of design and test theory and methods of quantum memory-driven computing on the classical computers for their subsequent application in all fields of human activity is proposed. Engineering-focused definitions of computing types are presented, including quantum one, which leverages the superposition and entanglement notions, and also memory-driven computing. The necessity of joint and parallel solving the problem of the creation of a market-accessible quantum computer and development of quantum-focused applications and cloud services is explained. Examples of quantum memory-driven design and test of digital circuit fragments are presented. A method for synthesis and minimization test for the black-box functionality, based on a qubit derivative matrix and sequencer for searching a quasioptimum coverage, is proposed.