Information Technologies and Systems (Інформаційні технології та системи), 2025, Том 3, № 3

Permanent URI for this collection

https://dr.csbc.edu.ua/handle/123456789/1278

Browse

Browsing Information Technologies and Systems (Інформаційні технології та системи), 2025, Том 3, № 3 by Author "Рицар, Богдан Євгенович"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Новий метод генерування тестових кодів для виявлення множинних пошкоджень stuck-at-faults у комбінаційних схемах. Частина 2
    (Інститут інформаційних технологій та систем НАН України, Видавничий дім "Академперіодика" НАН України, 2025) Рицар, Богдан Євгенович
    Вступ. Діагностувати множинні несправності stuck-at-faults (0/1) у цифрових схемах типу PIPO значно складніше, ніж у пристроях типу PISO (частина 1). Функції системи переважно взаємопов’язані між собою, а отже, виявлене пошкодження в якійсь одній функції схеми може передатися інших функцій системи, що описує роботу досліджуваної схеми. Відповідно, методи генерування тестових кодів на основі одиночних несправностей не працюють для схем типу PIPO, а ті методи й алгоритми діагностики, що використовують моделювання одиночних несправностей, ускладнені додатковими процедурами, не дають надійного результату. Аналогічний висновок про певні практичні обмеження можна також зробити і до аналітичних підходів до розв’язання зазначеної проблеми виявлення множинних несправностей stuck-at-faults (0/1) у цифрових схемах типу PIPO. Мета статті. Запропонувати метод генерування векторів тестових кодів для виявлення як одиночних, так і множинних пошкоджень типу stuck-at-faults (0/1) у комбінаційних пристроях типу PIPO, який порівняно з відомими методами й алгоритмами може забезпечувати достовірні результати з допомогою реалізації простих операцій і процедур. Методи. Запропонований метод генерування тестових кодів ґрунтується на числовому теоретико-множинному підході до реалізації всіх операцій і процедур, а саме: штучного впровадження у буловий простір заданої системи повних функцій F(X), X = {x1, x2, …, xn }, що описує роботу досліджуваної PIPO-схеми, одної або більше (до n - 1) неістотних змінних та застосуванні процедури q-розбиття до системних мінтермів з урахуванням індексів функцій заданої системи F(X). Результати. Завдяки застосуванню процедури q-розбиття системних мінтермів впровадження «неістотних» змінних у буловий простір заданої системи забезпечує виявлення всіх можливих як одиночних, так і множинних пошкоджень типу stuck-at-faults (0/1) у досліджуваній схемі. Унаслідок цього формуються 2r ( r = 1, 2, ..., n-1 ) псевдодосконалих ТМФ «пошкодженої» системи F(X), на підставі яких після виконання простих операцій спрощення одержуються шукані вектори тестових кодів, з допомогою яких можна визначити в схемі як місце пошкодження, так і тип одиночного та множинного stuck-atfaults (0/1) пошкодження. Висновки. Запропоновано новий метод генерування векторів тестових кодів для визначення місця і типу stuck-at-faults (0/1) одиночних і множинних пошкоджень у комбінаційних PIPO-схемах, що ґрунтується на штучному впровадженні в досліджувану схему одної і більше неістотних змінних та застосуванні процедури q-розбиття системних мінтермів заданої системи булових функцій. Порівняно з відомими методами та алгоритмами метод відрізняється відносно простішою реалізацією та надійністю отриманих остаточних результатів практичної діагностики без застосування додаткових засобів та обмежень. Наведені в статті приклади визначення місця і типу stuck-at-faults (0/1) одиночних і множинних пошкоджень ілюструють ефективність пропонованого методу.