Prompt-Testing of Logic

• Published in: East-West Design and Test Symposium pp. 1 - 5
• Main Authors: Hahanov, Vladimir, Devadze, David, Hahanov, Ivan, Chumachenko, Svetlana, Litvinova, Eugenia, Obrizan, Volodymyr, Dmytro, Pashkov, Mishchenko, Alexander, Maksymova, Nataliya
• Format: Conference Proceeding
• Language: English
• Published: IEEE 13.11.2024
• Subjects: Circuit faults; Computational modeling; Data models; Data structures; deductive matrix; Digital circuits; fault modeling without a modeling algorithm; in-memory computing; Integrated circuit modeling; Logic; Logic testing; logical constant; logical matrix; logical vector; prompt-engineering; smart data structures; Testing; testing map; Vectors
• ISSN: 2472-761X
• DOI: 10.1109/EWDTS63723.2024.10873774

Vector logic computing is considered a component of intelligent prompt computing for creating (modeling) a test map and test synthesis without a simulation algorithm. We consider non-traditional logic testing based on using a logical constant presented as a fault matrix. The latter interacts with the logical matrix to obtain a test map in the form of an exhaustive test relationship and all combinations of tested faults. The problems of modeling faults of logical functionality are solved using an exhaustive test without a modeling algorithm. A constant matrix xor-distance between tests and faults is proposed to solve problems of testing functionality specified by logical vectors. In this case, one model is used for tests and faults in the form of a truth table of n-variables. The logical constant is the core of the testing mechanism for logical functions and digital circuits. Together with the logical matrix, which is the derivative of the logical vector of the element, the logical constant is involved in the design of smart data structures that, without modeling, allow you to build a test map. All components of smart data structures are derived from a logical vector. All testing problems are solved in two-dimensional space, which is organized based on xor-operation on truth table addresses of n-variables. Vector-logical testing mechanisms are implemented in Python. The current educational implementation of the system allows you to build tests and simulate faults for any functionality and logical schemes, with dimensions up to 100 elements. Fault modeling logic without simulation is the novelty and advantage of the prompt-testing mechanism.