Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

IEEE Globecom Workshops (GC Wkshps)

Quantum Mem-Computing for Design and Test

Vladimir I. Hahanov, Wajeb Gharibi, Mykhailo Liubarskyi, Vugar Hajimahmud Abdullayev, Svetlana V. Chumachenko, Ivan Hahanov, Eugenia I. Litvinova

Published Dec 1, 2018• 6 citations
Publisher

Abstract

Cyberculture of quantum memory-driven computing integrates emerging technologies of parallel solution for time-consuming combinatorial problems. A scalable map of research relevant to quantum cyberculture is aimed at creating parallel algorithms for SoC Design and Test. The memory-driven innovation architecture of quantum computing is presented, which is defined by the leverage of photon read-write transactions on the structure of electrons in the absence of logic, associated with superposition and entanglement. A class of logical X-functions and their qubit models is introduced, that are technologically feasible for test, diagnosis, and fault simulation of SoC components. The architecture of services for design, test and verification of digital devices based on qubit models of logical primitives is described. A service for fault-free circuits simulation based on the qubit coverage of functional primitives is given. The models, cubit data structures and methods are focused and simulated on the classical computers by leveraging unitary coding binary states.

DOI
10.1109/glocomw.2018.8644256

Related papers

Architectures of Quantum Memory-driven Computing

Vladimir I. Hahanov, Svetlana V. Chumachenko, Eugenia I. Litvinova +1 more

Cyberculture of quantum memory-driven computing integrates emerging technologies of parallel solution for time-consuming combinatorial problems, which eliminates transactions between memory and ALU-processor. A scalable map of research relevant to quantum cyberculture is aimed at creating parallel algorithms for SoC Design and Test. The innovative proposal in terms of quantum memory-driven computing architecture is represented, that is based on the leverage of photon transactions on the electron structure where read-write operations are fulfilled in the absence of logic, corresponds to entanglement and superposition commands.

IEEE East-West Design & Test Symposium (EWDTS)•Sep 1, 2018•3 citations

Methods for quantum analysis of digital circuits

Vladimir I. Hahanov, Eugenia I. Litvinova, Svetlana V. Chumachenko +2 more

The memory-driven innovative architecture of logic-free quantum computing is presented, which is characterized by the use of photon read-write transactions in the structure of electrons associated with superposition and entanglement of states. The quantum methods for parallel analysis, diagnosis of digital circuits and solving the coverage problem based on the use of qubit data structures are proposed.

IEEE International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET)•Feb 1, 2018•3 citations

Qubit-driven Fault Simulation

Vladimir I. Hahanov, Wajeb Gharibi, Eugenia I. Litvinova +1 more

Quantum data structures, methods, algorithms and software applications for parallel solution of combinatorial problems, including design and test, on classical computers by using extra memory are proposed. Quantum models and methods for design and test of specific logic functionalities are developed based on the use of vector qubit data structures and memory-driven architectures for parallel computing algorithms, in order to significantly improve the performance of testing and deductive simulation of digital systems-on-chips. A new quantum method of test generation for single stuck-at faults of logic functions through taking Boolean derivatives with respect to their qubit coverages is proposed. The quantum method of deductive simulation of stuck-at faults of logical functions through the synthesis of matrices of Boolean derivatives with respect to their qubit coverage has been developed. The performance of methods for test synthesis and their analysis has no analogues in algorithmic performance.

IEEE Latin American Test Symposium (LATS)•Mar 1, 2019•25 citations

Quantum memory-driven computing for test synthesis

Vladimir I. Hahanov, Wajeb Gharibi, Eugenia I. Litvinova +2 more

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.

IEEE East-West Design & Test Symposium (EWDTS)•Sep 1, 2017•14 citations

Quantum sequencer for the minimal test synthesis of black-box functionality

Vladimir I. Hahanov, Igor Iemelianov, Svetlana V. Chumachenko +2 more

Quantum memory-driven computing on the classical computers for design and test of black-box functionality is considered. A method for synthesis and minimization test for the black-box functionality, based on a qubit derivative matrix and sequencer for searching a quasi-optimum coverage, is proposed. Examples of quantum memory-driven design and test minimization of the Schneider logic circuit are presented. An architecture and algorithm for parallel search of a quasi-minimal set of test vectors based on the logical structure is developed. The technological advantages of the qubit coverage leverage for increasing the speed of performance due to the parallel solution of the test synthesis and analysis for single stuck-at-faults of external and internal variables are shown.

IEEE East-West Design & Test Symposium (EWDTS)•Sep 1, 2017•7 citations

Quantum Deductive Simulation for Logic Functions

Vladimir I. Hahanov, Vugar Hajimahmud Abdullayev, Eugenia I. Litvinova +2 more

An overview of the technologies of cyber-physical culture is proposed that is aimed at solving practical problems in the field of quantum parallel synthesis and analysis of digital systems based on qubit models and algorithms for design, testing, and simulation. Algorithms for deductive analysis of digital logic circuits leveraging qubit data structures, which significantly improve the processing performance of large scale digital systems are presented. Software and hardware solutions for the simulation of stuck-at faults based on the use of qubit vector descriptions of logic circuits are proposed. Algorithms for the synthesis of deductive expressions focused on fault simulation of x-functions, which are characterized by a high level of testability, are developed. Practical examples, proving the effectiveness of models, methods and algorithms for processing modern digital systems-on-chips, are described.

IEEE East-West Design & Test Symposium (EWDTS)•Sep 1, 2018•10 citations
Cyberculture of quantum memory-driven computing integrates emerging technologies of parallel solution for time-consuming combinatorial problems. A scalable map of research relevant to quantum cyberculture is aimed at creating parallel algorithms for SoC Design and Test. The memory-driven innovation architecture of quantum computing is presented, which is defined by the leverage of photon read-write transactions on the structure of electrons in the absence of logic, associated with superposition and entanglement. A class of logical X-functions and their qubit models is introduced, that are technologically feasible for test, diagnosis, and fault simulation of SoC components. The architecture of services for design, test and verification of digital devices based on qubit models of logical primitives is described. A service for fault-free circuits simulation based on the qubit coverage of functional primitives is given. The models, cubit data structures and methods are focused and simulated on the classical computers by leveraging unitary coding binary states.
Cyberculture of quantum memory-driven computing integrates emerging technologies of parallel solution for time-consuming combinatorial problems, which eliminates transactions between memory and ALU-processor. A scalable map of research relevant to quantum cyberculture is aimed at creating parallel algorithms for SoC Design and Test. The innovative proposal in terms of quantum memory-driven computing architecture is represented, that is based on the leverage of photon transactions on the electron structure where read-write operations are fulfilled in the absence of logic, corresponds to entanglement and superposition commands.
Quantum data structures, methods, algorithms and software applications for parallel solution of combinatorial problems, including design and test, on classical computers by using extra memory are proposed. Quantum models and methods for design and test of specific logic functionalities are developed based on the use of vector qubit data structures and memory-driven architectures for parallel computing algorithms, in order to significantly improve the performance of testing and deductive simulation of digital systems-on-chips. A new quantum method of test generation for single stuck-at faults of logic functions through taking Boolean derivatives with respect to their qubit coverages is proposed. The quantum method of deductive simulation of stuck-at faults of logical functions through the synthesis of matrices of Boolean derivatives with respect to their qubit coverage has been developed. The performance of methods for test synthesis and their analysis has no analogues in algorithmic performance.
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.
Quantum memory-driven computing on the classical computers for design and test of black-box functionality is considered. A method for synthesis and minimization test for the black-box functionality, based on a qubit derivative matrix and sequencer for searching a quasi-optimum coverage, is proposed. Examples of quantum memory-driven design and test minimization of the Schneider logic circuit are presented. An architecture and algorithm for parallel search of a quasi-minimal set of test vectors based on the logical structure is developed. The technological advantages of the qubit coverage leverage for increasing the speed of performance due to the parallel solution of the test synthesis and analysis for single stuck-at-faults of external and internal variables are shown.
An overview of the technologies of cyber-physical culture is proposed that is aimed at solving practical problems in the field of quantum parallel synthesis and analysis of digital systems based on qubit models and algorithms for design, testing, and simulation. Algorithms for deductive analysis of digital logic circuits leveraging qubit data structures, which significantly improve the processing performance of large scale digital systems are presented. Software and hardware solutions for the simulation of stuck-at faults based on the use of qubit vector descriptions of logic circuits are proposed. Algorithms for the synthesis of deductive expressions focused on fault simulation of x-functions, which are characterized by a high level of testability, are developed. Practical examples, proving the effectiveness of models, methods and algorithms for processing modern digital systems-on-chips, are described.