Дослідження побудови тестових послідовностей для перевірки функціонування ПЛІС
| dc.contributor.author | Рязанцев, О. І. | |
| dc.contributor.author | Кардашук, В. С. | |
| dc.contributor.author | Барбарук, В. М. | |
| dc.contributor.author | Кравцов, С. В. | |
| dc.date.accessioned | 2026-04-20T17:25:32Z | |
| dc.date.available | 2026-04-20T17:25:32Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | У статті проведено дослідження методів побудови тестів для перевірки функціонування ПЛІС. Застосування методів діагностики та тестування при їх практичній реалізацій дозволить краще зрозуміти їх можливості та обмеження, а також визначити оптимальний алгоритм для конкретних завдань забезпечення працездатності систем на електронних компонентах. Аналіз існуючих методів та алгоритмів побудови тестів для перевірки працездатності засобів цифрових систем, їх класифікація, застосування та порівняння дозволяє побудувати оптимальну структуру тестів, скоротити кількість перевірок та при програмній реалізації скоротити об’єм програмного коду. Здійснено огляд методів побудови тестів в системах діагностики комп’ютерних систем на базі ПЛІС. Відмічені основні принципи логічного моделювання: паралельність, подієвість, асинхронність, ієрархічність. Відзначені основні риси принципу подієвості. Запропонований алгоритм знаходження логічної моделі на основі вхідних послідовностей (наборів). Розглянуто логічну модель, що містить 4 входи та 1 вихід, метод зворотної імплікації з метою знаходження тестового впливу для реалізації принципу подієвості. Розглянута зворотна імплікація для цифрової схеми полягає в обчисленні множини вхідних значень сигналів, подаючи які на схему, можна отримати необхідні вихідні значення. При виконанні зворотної імплікації використовуються операції кубічного перетину вхідного вектору з кубічним вектором покриття елемента. Наведено приклад виконання зворотної імплікації для одиничного та нульового значення на виході схеми. Отримані набори для одиничного С1 та нульового покриття С0 використовуються для подачі на схему тестового впливу. Перевірки правильності функціонування для визначення одиничних та нульових значень на повному наборі вхідних впливів проведена в програмі Multisim 14.3. В подальшому результати дослідження можуть бути використані для перевірки функціонування вузлів та блоків систем на базі ПЛІС, побудові таблиць константних несправностей та алгоритмів дедуктивного моделювання, який є найпростішим неявним методом моделювання несправностей, орієнтованим на обробку схем вентильного логічного рівня або універсального базисів. | |
| dc.identifier.citation | Дослідження побудови тестових послідовностей для перевірки функціонування ПЛІС / Рязанцев О.І., Кардашук В.С. , Барбарук В.М., Кравцов С.В. Наукові вісті Далівського університету. 2025. №28. | |
| dc.identifier.doi | https://doi.org/10.33216/2222-3428-2025-28-2 | |
| dc.identifier.udc | 004.94 | |
| dc.identifier.uri | https://dspace.snu.edu.ua/handle/123456789/2756 | |
| dc.language.iso | uk | |
| dc.publisher | СНУ ім. В. Даля | |
| dc.subject | ПЛІС | |
| dc.subject | тестова послідовність | |
| dc.subject | моделювання | |
| dc.subject | подієвість | |
| dc.subject | зворотна імплікація | |
| dc.subject | кубічне покриття | |
| dc.title | Дослідження побудови тестових послідовностей для перевірки функціонування ПЛІС | |
| dc.type | Article |