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)

QuaSim — Cloud service for digital circuits simulation

Ivan Hahanov, Igor Iemelianov, Wajeb Gharibi, Тамер Бани Амер

Published Oct 1, 2016• 3 citations
Publisher

Abstract

A cloud service QuaSim designed for simulation and verification of digital systems based on transactions between the addressable memory components to implement any functionality is proposed. A new approach to the synthesis and analysis of digital systems using vector form (quantum) for defining combinational and sequential structures to implement them in the memory elements is described; it is substantially different from the classical design theory of discrete devices based on the truth tables of the components. Quantum or qubit data structures are used [1-5] for the implementation of computational processes in order to improve the performance of digital systems analysis and reduce memory volume through unary coding the states of input, internal and output variables, and also the implementation of qubit vectors in the FPGA memory elements, which realize combinational and sequential primitives. Implementation of quantum memory-based-only models for describing digital components in the practice of designing computer systems directly affects the increase in product yield, allows improving the reliability of computer products, reducing the cost of designing and manufacturing, and providing standalone human-free remote & online repair.

DOI
10.1109/ewdts.2016.7807667

Related papers

«Quantum» processor for digital systems analysis

Vladimir I. Hahanov, Dmitry Shcherbin, Wajeb Gharibi +1 more

"Quantum" processors' structure for simulation and verification of digital system is proposed. It is based on transactions between addressable memory components to realize any functionality. The new approach for analysis of digital systems is proposed. It is supposed to apply vector form (quantum) of combinational and sequential structures implemented into memory elements. This approach remarkably differs from the common design theory of discrete devices based on logic truth tables of components. It is based on an opportunity of applying quantum or qubit data structures 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 designing computer systems 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•2 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

Quantum data structures for SoC design

Svetlana V. Chumachenko, Alexander Shkil, Anastasiya Hahanova +2 more

A qubit-vector model of computing automaton is proposed; it is characterized by the transactional interaction of memory components, which represent the combinational and sequential elements and are implemented in the form of a qubit or “quantum” primitives needed to create parallel virtual computers and cloud-focused processors.

International Conference on Experience of Designing and Applications of CAD Systems in Microelectronics•Feb 1, 2015•0 citations

Qubit Data Structures for Analyzing Computing Systems

Vladimir I. Hahanov, Wajeb Gharibi, Svetlana V. Chumachenko +1 more

Qubit models and methods for improving the performance of software and hardware for analyzing digital devices through increasing the dimension of the data structures and memory are proposed.The basic concepts, terminology and definitions necessary for the implementation of quantum computing when analyzing virtual computers are introduced.The investigation results concerning design and modeling computer systems in a cyberspace based on the use of two-component structure <memory -transactions> are presented.

arXiv:1412.1402•Nov 7, 2014•1 citation

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 Mem-Computing for Design and Test

Vladimir I. Hahanov, Wajeb Gharibi, Mykhailo Liubarskyi +4 more

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.

IEEE Globecom Workshops (GC Wkshps)•Dec 1, 2018•6 citations
A cloud service QuaSim designed for simulation and verification of digital systems based on transactions between the addressable memory components to implement any functionality is proposed. A new approach to the synthesis and analysis of digital systems using vector form (quantum) for defining combinational and sequential structures to implement them in the memory elements is described; it is substantially different from the classical design theory of discrete devices based on the truth tables of the components. Quantum or qubit data structures are used [1-5] for the implementation of computational processes in order to improve the performance of digital systems analysis and reduce memory volume through unary coding the states of input, internal and output variables, and also the implementation of qubit vectors in the FPGA memory elements, which realize combinational and sequential primitives. Implementation of quantum memory-based-only models for describing digital components in the practice of designing computer systems directly affects the increase in product yield, allows improving the reliability of computer products, reducing the cost of designing and manufacturing, and providing standalone human-free remote & online repair.
"Quantum" processors' structure for simulation and verification of digital system is proposed. It is based on transactions between addressable memory components to realize any functionality. The new approach for analysis of digital systems is proposed. It is supposed to apply vector form (quantum) of combinational and sequential structures implemented into memory elements. This approach remarkably differs from the common design theory of discrete devices based on logic truth tables of components. It is based on an opportunity of applying quantum or qubit data structures 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 designing computer systems 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.
"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.
Qubit models and methods for improving the performance of software and hardware for analyzing digital devices through increasing the dimension of the data structures and memory are proposed.The basic concepts, terminology and definitions necessary for the implementation of quantum computing when analyzing virtual computers are introduced.The investigation results concerning design and modeling computer systems in a cyberspace based on the use of two-component structure <memory -transactions> are presented.
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.
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.