Test generation and simulation for crosstalk faults

Abstract

EN: The main models of crosstalk faults are defined: 1) induced positive and negative pulses, 2) induced delays. The purpose of the work is to increase the effectiveness of the methods of constructing checking tests for digital systems based on an evolutionary approach and models of non-const fault. Formalized statement of the problem of test generation for a single crosstalk faults-induced pulses and delays. It is shown that this problem is reduced to solving a system of logic equations in the multi-valued alphabet. The 8-valued alphabet and multi-valued functions for basic gates are defined. Simulation method was developed in the 8-valued alphabet for crosstalk faults. On this basis, the genetic algorithm is proposed for test generation of single cross-faults. The test generation problem for fault-induced delay is formalized. A genetic algorithm of test generation for fault-induced is proposed. Developed algorithms and software for test generation for crosstalk faults, which improve the quality of test generation by using evolutionary techniques. The approbation of the developed methods is implemented at circuits of international catalogs ISCAS85, ISCAS89, which showed an increase in the completeness of tests by 15%. UK: Розглянуто основні моделі перехресних несправностей ( crosstalkfaults ): 1) індуковані позитивні і негативні імпульси, 2) індуковані затримки. Мета роботи – підвищення ефективності методів побудови перевіряльних тестів цифрових систем на основі еволюційного підходу і моделей неконстантних несправностей. Формалізована постановка задачі генерації перевіряльного тесту для одиночних перехресних несправностей – індукованих імпульсів і затримок. Показано, що ця задача зводиться до розв’язання системи логічних рівнянь в багатозначному алфавіті. Визначено 8-значний багатозначний алфавіт і функції основних вентилів у цьому алфавіті. Отримав розвиток метод моделювання перехресних несправностей в 8-значному алфавіті. На цій основі розроблено генетичний алгоритм побудови перевіряльних тестів для одиночних перехресних несправностей. Розглянуто задачу генерації перевіряльного тесту для несправності індукована затримка. Запропоновано генетичний алгоритм побудови перевіряльних тестів для несправності індукована затримка. Розроблено алгоритмічне та програмне забезпечення для генерації тестів для перехресних несправностей, яке дозволяє підвищити якість перевіряльних тестів за рахунок використання еволюційних методів та моделей неконстантних несправностей . Проведено апробацію розроблених методів на схемах міжнародних каталогів ISCAS85 , ISCAS89 , яка показала збільшення повноти тестів на 15%.