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

  Скачати повний текст