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 East-West Design & Test Symposium (EWDTS)

Qubit modeling digital systems

Irina Hahanova, Igor Emelyanov, Тамер Бани Амер

Published Sep 1, 2014• 0 citations
Publisher

Abstract

The data structures, effective from the viewpoint of software or hardware implementation of fault-free interpretative modelling discrete systems described in the form of qubit vectors of primitive output states are considered.
DOI
10.1109/ewdts.2014.7027109

Related papers

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 models for description of digital systems

Vladimir I. Hahanov, Irina Hahanova, Eugenia I. Litvinova +5 more

Quantum models for description of digital systems and results of studies concerning the models and methods of quantum diagnosis of digital systems, qubit fault simulation and analysis of fault-free behavior are presented.

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

Quantum models for data structures and computing

Vladimir I. Hahanov, Irina Hahanova, Гузь Олеся Алексеевна +1 more

The qubit (quantum) data structures and computational processes are proposed to significantly improve the performance in solving problems of discrete optimization and fault-tolerant design. A quantum device prototype is implemented by programmable logic.

International Conference on Modern Problems of Radio Engineering, Telecommunications and Computer Science•May 7, 2012•5 citations

ВЕКТОРНІ МОДЕЛІ ЛОГІКИ І СТРУКТУРИ ДЛЯ ТЕСТУВАННЯ ТА МОДЕЛЮВАННЯ ЦИФРОВИХ СХЕМ

A. Khakhanova, В. І. Хаханов, С. М. Чумаченко +2 more

Context. It is known that data structures are decisive for the creation of efficient parallel algorithms and high-performance computing devices. Therefore, the development of mathematically perfect and technologically simple data structures takes about 80 percent of the design time, when about 20 percent of time and material resources are spent on algorithms and their hardware-software coding. This lead to search for such primitives of data structures that will significantly simplify the parallel high-performance algorithms which are working on them. Models and methods for testing and simulation of digital systems are proposed, which containing certain advantages of quantum computing in terms of implementation of vector qubit data structures in technology of classical computational processes. Objective. The goal of the work is development of an innovative technology for qubit-vector synthesis and deductive analysis of tests for their verification based on vector data structures that greatly simplify algorithms that can be embedded as BIST components in digital systems on chips. Method. The deductive faults simulation is used to obtain analytical expressions focused on transporting fault lists through a functional or logical element based on the xor-operation, which serves as a measure of similarity-difference between a test, a function and faults which is specified in the same way in one of the formats − a table, graph, equation. A binary vector is proposed as the most technologically advanced primitive of data structures for setting logical functionality for the purpose of parallel synthesis and analysis of digital systems. The parallelism of solving combinatorial problems is a physical property of quantum computing, which in classical computing, for parallel simulation and faults diagnostics, is provided by unitary-coded data structures due to excess memory. Results. 1) A method of analytical synthesis of deductive logic for functional elements on the gate level and register transfer level has been developed. 2) A deductive processor for faults simulation based on transporting input lists or faults vectors to external outputs of digital circuits was proposed. 3) The qubit-vector form of logic setting and methods of qubit synthesis of deductive equations for faults simulation were described. 4) A qubit-vector method for the tests’ synthesis which is using derivatives calculated by vector coverage of logic has been developed. 5) Models and methods verification is performed on test examples in the software implementation of structures and algorithms. Conclusions. The scientific novelty lies in the new paradigm of the technology for the synthesis of deductive RTL logic based on metric test equation, which forms the. A vector form for structures description is introduced, which makes it possible to apply wellknown technologies for the synthesis and analysis of logical circuits tests to effectively solve the problems of graph structures testing and state machine models of digital devices. The practical significance is reflected in the examples of analytical synthesis of deductive logic for functional elements on gate level and register transfer level. A deductive processor for faults simulation which is focused on implementation as a BIST tool, which is used in online testing, simulation and fault diagnosis for digital systems on chips is proposed. A qubit-vector form of the digital systems description is proposed, which surpasses the existing methods of computing devices development in terms of the metric: manufacturability, compactness, speed and quality. A software application has been developed that implements the main testing, simulation and diagnostics services which are used in the educational process to study the advantages of qubit-vector data structures and algorithms. The computational complexity of synthesis processes and deductive formulas for logic and their usage in fault simulation are given.

The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University Series pedagogy•Oct 6, 2021•0 citations

«Quantum» structures for digital systems synthesis

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

"Quantum " data structures for synthesis of digital system are proposed. They are based on transactions between addressable memory components to implement any functionality. The new approach of logic function minimization for synthesis of digital systems is proposed. It is supposed to apply vector form (quantum) of description logic and sequential structures implemented into memory elements. This approach remarkably differs from the common synthesis theory of discrete devices based on truth tables of components. It is based on an opportunity of applying quantum or qubit data structures [1-5] in modern computers when doing calculating processes with the purpose of unary coding states of input, internal and output variables, and also on the technology of qubit-vectors implementation into memory elements FPGA, which realize combinational and sequential primitives. The use of quantum memory-based only models for describing digital components when computer systems design would allow us to increase yield, enhance reliability of computers, make the process of design and production of devices cheaper, and also provides human-free repairing in remote & online mode.

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

Qubit-based Model for Simulation of Discrete Quantum Systems

Steven Peil

Bulletin of the American Physical Society•May 21, 2009•0 citations
Context. It is known that data structures are decisive for the creation of efficient parallel algorithms and high-performance computing devices. Therefore, the development of mathematically perfect and technologically simple data structures takes about 80 percent of the design time, when about 20 percent of time and material resources are spent on algorithms and their hardware-software coding. This lead to search for such primitives of data structures that will significantly simplify the parallel high-performance algorithms which are working on them. Models and methods for testing and simulation of digital systems are proposed, which containing certain advantages of quantum computing in terms of implementation of vector qubit data structures in technology of classical computational processes. Objective. The goal of the work is development of an innovative technology for qubit-vector synthesis and deductive analysis of tests for their verification based on vector data structures that greatly simplify algorithms that can be embedded as BIST components in digital systems on chips. Method. The deductive faults simulation is used to obtain analytical expressions focused on transporting fault lists through a functional or logical element based on the xor-operation, which serves as a measure of similarity-difference between a test, a function and faults which is specified in the same way in one of the formats − a table, graph, equation. A binary vector is proposed as the most technologically advanced primitive of data structures for setting logical functionality for the purpose of parallel synthesis and analysis of digital systems. The parallelism of solving combinatorial problems is a physical property of quantum computing, which in classical computing, for parallel simulation and faults diagnostics, is provided by unitary-coded data structures due to excess memory. Results. 1) A method of analytical synthesis of deductive logic for functional elements on the gate level and register transfer level has been developed. 2) A deductive processor for faults simulation based on transporting input lists or faults vectors to external outputs of digital circuits was proposed. 3) The qubit-vector form of logic setting and methods of qubit synthesis of deductive equations for faults simulation were described. 4) A qubit-vector method for the tests’ synthesis which is using derivatives calculated by vector coverage of logic has been developed. 5) Models and methods verification is performed on test examples in the software implementation of structures and algorithms. Conclusions. The scientific novelty lies in the new paradigm of the technology for the synthesis of deductive RTL logic based on metric test equation, which forms the. A vector form for structures description is introduced, which makes it possible to apply wellknown technologies for the synthesis and analysis of logical circuits tests to effectively solve the problems of graph structures testing and state machine models of digital devices. The practical significance is reflected in the examples of analytical synthesis of deductive logic for functional elements on gate level and register transfer level. A deductive processor for faults simulation which is focused on implementation as a BIST tool, which is used in online testing, simulation and fault diagnosis for digital systems on chips is proposed. A qubit-vector form of the digital systems description is proposed, which surpasses the existing methods of computing devices development in terms of the metric: manufacturability, compactness, speed and quality. A software application has been developed that implements the main testing, simulation and diagnostics services which are used in the educational process to study the advantages of qubit-vector data structures and algorithms. The computational complexity of synthesis processes and deductive formulas for logic and their usage in fault simulation are given.
"Quantum " data structures for synthesis of digital system are proposed. They are based on transactions between addressable memory components to implement any functionality. The new approach of logic function minimization for synthesis of digital systems is proposed. It is supposed to apply vector form (quantum) of description logic and sequential structures implemented into memory elements. This approach remarkably differs from the common synthesis theory of discrete devices based on truth tables of components. It is based on an opportunity of applying quantum or qubit data structures [1-5] in modern computers when doing calculating processes with the purpose of unary coding states of input, internal and output variables, and also on the technology of qubit-vectors implementation into memory elements FPGA, which realize combinational and sequential primitives. The use of quantum memory-based only models for describing digital components when computer systems design would allow us to increase yield, enhance reliability of computers, make the process of design and production of devices cheaper, and also provides human-free repairing in remote & online mode.