Борисевич О. В. Методи синтезу структурних тестів для цифрових синхронних схем на основі апаратних засобів, що реконфігуруються

В дисертації розглядаються методи синтезу тестів для цифрових синхронних схем з пам'яттю. Запро-поновано ряд методів, що використовують структур-ну декомпозицію об'єкта тестування, символьний аналіз фрагментів схеми, а також апаратну підтримку процесу синтезу тестів і моделювання несправностей. Розв'язана задача ефективного використання апарат-ного прискорення еволюційного пошуку тестових по-слідовностей. Запропоновано алгебру, яка описує ке-рованість сигналів у цифровій схемі з пам'яттю і ал-горитм оцінки довжини тестових послідовностей. Отримано нові цільові функції для рішення задачі си-нтезу тестів еволюційними методами, що мають влас-тивості ін'єктивності та унімодальності, і економічно реалізовані апаратно. Використання запропонованих методів і алгоритмів дозволяє значно збільшити швидкодію систем синтезу тестів, для цифрових син-хронних схем