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

International Conference on Information Technology: New Generations

Quantum Models and Method for Analysis and Testing Computing Systems

Vladimir I. Hahanov, S. Hyduke, Wajeb Gharibi, Eugenia I. Litvinova, Svetlana V. Chumachenko, Irina Hahanova

Published Apr 1, 2014• 19 citations
Publisher

Abstract

Matrix method for quantum diagnosing functional failures and stuck-at faults in software or hardware units is proposed. It is based on qubit data structures comprising diagnostic information, which allows significantly reducing the computational complexity of the simulation and diagnosis due to the introduction of parallel logical operations on the matrix data. The quantum method for fault-free simulating digital units with the possibility of online repair of digital system components is presented. It is characterized by significantly improved performance due to addressed processing procedure of the functional primitives, defined by Q-coverages.

DOI
10.1109/itng.2014.125

Related papers

Квантовые модели диагностирования цифровых систем

Ammar Awni Abbas, Хаханов Владимир Иванович, Литвинова Евгения Ивановна +2 more

A new model for data representation and quantum matrix method of diagnosing functional disorders in the software or hardware blocks, as well as constant faults, data structures used qubit quantum computational processes, which allows to significantly reduce the computational complexity at diagnosis due to the introduction of parallel logic operations on matrix information constituting diagnostic information. Qubit described data structures and quantum method serviceable modeling of digital devices, which has significantly higher performance thanks to the implementation of procedures for processing address functional primitives defined Q-covers.

Радиоэлектроника и информатика•Jan 1, 2013•0 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 modeling and repairing digital systems

Baghdadi Ammar Awni Abbas, Vladimir I. Hahanov, Manikandan Palanichamy +2 more

The results of studies concerning the models and methods of quantum diagnosis of digital systems, qubit fault simulation and analysis of fault-free behavior, as well as repair of faulty primitives, are presented.

IEEE East-West Design & Test Symposium (EWDTS)•Sep 1, 2013•0 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

Qubit model for solving the coverage problem

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

Qubit (quantum) structures of data and computational processes for significantly improving performance when solving problems of discrete optimization and fault-tolerant design are proposed. We describe a hardware-focused models for parallel (one cycle) calculating the power set (the set of all subsets) on the universe of n primitives for solving coverage problems, minimization of Boolean functions, data compression, analysis and synthesis of digital systems through the implementation of the processor structure in the form of the Hasse diagram. A prototype of quantum device, implemented by programmable logic, is described.

IEEE East-West Design & Test Symposium (EWDTS)•Sep 1, 2013•28 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
Matrix method for quantum diagnosing functional failures and stuck-at faults in software or hardware units is proposed. It is based on qubit data structures comprising diagnostic information, which allows significantly reducing the computational complexity of the simulation and diagnosis due to the introduction of parallel logical operations on the matrix data. The quantum method for fault-free simulating digital units with the possibility of online repair of digital system components is presented. It is characterized by significantly improved performance due to addressed processing procedure of the functional primitives, defined by Q-coverages.
A new model for data representation and quantum matrix method of diagnosing functional disorders in the software or hardware blocks, as well as constant faults, data structures used qubit quantum computational processes, which allows to significantly reduce the computational complexity at diagnosis due to the introduction of parallel logic operations on matrix information constituting diagnostic information. Qubit described data structures and quantum method serviceable modeling of digital devices, which has significantly higher performance thanks to the implementation of procedures for processing address functional primitives defined Q-covers.
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.
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.
Qubit (quantum) structures of data and computational processes for significantly improving performance when solving problems of discrete optimization and fault-tolerant design are proposed. We describe a hardware-focused models for parallel (one cycle) calculating the power set (the set of all subsets) on the universe of n primitives for solving coverage problems, minimization of Boolean functions, data compression, analysis and synthesis of digital systems through the implementation of the processor structure in the form of the Hasse diagram. A prototype of quantum device, implemented by programmable logic, is described.