W. Gharibi 1, PhD, Prof., A. Hahanova 2, Cand. T. Sc, Ass. Prof., V. Hahanov 2,
D. Sc., Prof., S. Chumachenko 2, D. Sc., Prof., E. Litvinova 2, D. Sc., Prof., I. Hahanov 2
1 The University of Missouri-Kansas City MO 64110 USA,
Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.
2 Kharkiv National University of Radio Electronics,
Ukraine, 61166, Kharkiv, Nauka Avenue, 14,
(057) 7021 326, Ця електронна адреса захищена від спам-ботів. Вам необхідно увімкнути JavaScript, щоб побачити її.
Èlektron. model. 2023, 45(2):16-33
https://doi.org/10.15407/emodel.45.02.016
АНОТАЦІЯ
The main idea is to create vector-logic computing that uses only read-write transactions on address memory to process large data. The main task is to implement new simple and reliable models and methods of vector computing based on primitive read-write transactions in the technology of vector flexible interpretive simulation of digital system faults. Vector-logic computing is a computational process based on read-write transactions over bits of a binary vector of functionality, where the input data is the addresses of the bits. A vector method for the synthesis of deductive matrices for transporting input fault lists is proposed, which has a quadratic computational complexity. The method is a development of the deductive vector synthesis algorithm based on the truth table. The deductive matrix is intended for the synthesis and verification of tests using parallel simulation of faults, as addresses, based on a read-write transaction of deductive vector cells in memory.
КЛЮЧОВІ СЛОВА:
vector computing, vector form of logic, matrix of deductive vectors, vector method for synthesizing a deductive matrix, read-write transaction, vector model of defects, functions and structures, deductive parallel fault simulation.
СПИСОК ЛІТЕРАТУРИ
- Gharibi V., Khakhanova A.V., Hahanov V.I., Chumachenko S.V., Litvinova E.I., Hahanov I.V. (2023), Vector-deductive Memory-based Transactions for Fault-as-address Simulation. Electronic modeling, no. 1, pp. 12-23.
- Shannon C.E. (1958, 1993), Von Neumann's Contributions to Automata Theory Bulletin American Mathematical Society, 64, Claude E. Shannon: Collected Papers. IEEE, pp. 831-835.
- Davis M. (1989), Emil Post's contributions to computer science. Fourth Annual Symposium on Logic in Computer Science, pp. 134-136.
- What’s New in the 2022 Gartner Hype Cycle for Emerging Technologies, Accessed: https://www.gartner.com/en/articles/what-s-new-in-the-2022-gartner-hype-cycle-for-emerging-technologies, 02/08/2023.
- Wang P. et al. (2018), RC-NVM: Enabling Symmetric Row and Column Memory Accesses for In-memory Databases. 2018 IEEE International Symposium on High Performance Computer Architecture (HPCA), Vienna, Austria, pp. 518-530. Doi: 10.1109/HPCA.2018. 00051.
- Takahashi N., Ishiura N. and Yajima S. (1994), Fault simulation for multiple faults by Boolean function manipulation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. April, vol. 13, no. 4, pp. 531-535. Doi: 10.1109/43.275363.
- Srivastava M., Goyal S.K., Saraswat A. and Gangil G. (2020), Simulation Models for Different Power System Faults. 2020 IEEE International Conference on Advances and Developments in Electrical and Electronics Engineering (ICADEE), pp. 1-6. Doi: 10.1109/ ICADEE51157.2020.9368915.
- Menon and Chappell. Deductive Fault Simulation with Functional Blocks. IEEE Transactions on Computers. 1978, vol. C-27, no. 8, pp. 689-695. Doi: 10.1109/TC.1978. 1675175.
- Pomeranz I. and Reddy S.M. (2001), Forward-looking fault simulation for improved static compaction. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Oct. 2001, vol. 20. no. 10, pp. 1262-1265. Doi: 10.1109/43.952743.
- Navabi Z. (2011), Digital System Test and Testable Design. Using HDL Models and Architectures. Springer.
- Hahanov V., Chumachenko S., Iemelianov I., Hahanov V., Larchenko L. and Daniyil T. (2017), Deductive qubit fault simulation. 2017 14th International Conference: The Experience of Designing and Application of CAD Systems in Microelectronics (CADSM), pp. 256- Doi: 10.1109/CADSM.2017.7916129.
- Hahanov V., Gharibi W., Litvinova E. and Chumachenko S. (2019), Qubit-driven Fault Simulation. 2019 IEEE Latin American Test Symposium (LATS), pp. 1-7. Doi: 10.1109/ LATW.2019.8704583.
- Gharibi W., Devadze D., Hahanov V., Litvinova E. and Hahanov I. (2019), Qubit Test Synthesis Processor for SoC Logic. 2019 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, pp. 1-5. Doi: 10.1109/EWDTS.2019.8884476.
- Hahanov V. et al. (2021), Vector-Qubit models for SoC Logic-Structure Testing and Fault Simulation. 2021 IEEE 16th International Conference on the Experience of Designing and Application of CAD Systems (CADSM), pp. 24-28. Doi: 10.1109/CADSM52681.2021. 9385266.
- Hahanov V.I., Hyduke S.M., Gharibi W., Litvinova E.I., Chumachenko S.V. and HahanovaV. (2014), Quantum Models and Method for Analysis and Testing Computing Systems. 2014 11th International Conference on Information Technology: New Generations, Las Vegas, NV, pp. 430-434. Doi: 10.1109/ITNG.2014.125.
- Karavay M., Hahanov V., Litvinova E., Khakhanova H. and Hahanova I. (2019), Qubit Fault Detection in SoC Logic. 2019 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, pp. 1-7. Doi: 10.1109/EWDTS.2019.8884475.
- Hahanov V., Gharibi W., Litvinova E. and Chumachenko S. (2019), Qubit-driven Fault Simulation. 2019 IEEE Latin American Test Symposium (LATS), Santiago, Chile, pp. 1-7. Doi: 10.1109/LATW.2019.8704583.
- Karavay M., Hahanov V., Litvinova E., Khakhanova H. and Hahanova I. (2019), Qubit Fault Detection in SoC Logic. 2019 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, pp. 1-7. Doi: 10.1109/EWDTS.2019.8884475.
- Hahanov V. Cyber Physical Computing for IoT-driven Services. New York: Springer. 2018.
- Reinsalu U., Raik J., Ubar R. and Ellervee P. (2011), Fast RTL Fault Simulation Using Decision Diagrams and Bitwise Set Operations. 2011 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Vancouver, BC, pp. 164-170. Doi: 10.1109/DFT.2011.42.
- Pomeranz I. and Reddy S.M. (1998), A synthesis procedure for flexible logic functions. Proceedings Design, Automation and Test in Europe. Pp. 973-974. Doi: 10.1109/DATE. 1998.655995.
- D.B. (1972), A Deductive Method for Simulating Faults in Logic Circuits. IEEE Transactions on Computers. May 1972. Vol. C-21, No. 5, pp. 464-471. Doi: 10.1109/T-C.1972.223542.
- Vinod N. et al. (2020), Performance Evaluation of LUTs in FPGA in Different Circuit Topologies. 2020 International Conference on Communication and Signal Processing (ICCSP), pp. 1511-1515. Doi: 23.1109/ICCSP48568.2020.9182074.
- Efanov D. Pogodina T. (2023), Properties Investigation of Self-Dual Combinational Devices with Calculation Control Based on Hamming Codes. Informatics and Automation. Vol. 22, Iss. 2, pp. 349-392. Doi: 10.15622/ia.22.2.5.
HAHANOV Vladimir, DSc, professor. He graduated from the Kharkov Institute of Radio Electronics in 1978. The degree of Doctor of Technical Sciences was awarded in 1996. Currently, he is a professor at the Design Automation Department of KNURE. Research interests are computer systems and networks, quantum, cyber-physical, cyber-social computing.
CHUMACHENKO Svetlana, DSc, professor. She graduated from Kharkiv State University in 1991. Doctor of Technical Sciences degree is awarded in 2008. Currently, she is the Head of the Design Automation Department of KNURE. Research interests are discrete mathematics, quantum, cyber-physical, cyber-social computing, new technologies in education.
LITVINOVA Eugenia, DSc, professor. She graduated from the Kharkov Institute of Radio Electronics in 1985. The degree of Doctor of Technical Sciences was awarded in 2010. Currently, she is a professor at the Design Automation Department of KNURE. Research interests are quantum computing, testing and diagnosis of digital systems.
HAHANOV Ivan is PhD student of the Design Automation Department of KNURE. He gra-duated from Kharkiv National University of Radio Electronics in 2019. Research interests are deep learning, data analysis, big data, quantum, cyber-physical, cyber-social computing, design and test of digital systems.
Повний текст: PDF