і. Для непрямих методів не потрібно побудови інших описів схем, крім схемного списку, крім того, вони не залежать від класу аналізованих схем. Однак для непрямих методів, в порівнянні з прямими, може знадобитися значно більше часу для визначення потрібного вхідного впливу. Непрямі методи аналізу носять універсальний характер і застосовуються у тому випадку, коли прямі методи не розроблені або занадто складні для будь-якого класу схем. Прямі й непрямі методи аналізу доповнюють один одного. Якщо, наприклад, тест для схеми був складений "вручну" з використанням прямих методів, то моделювання може бути застосоване для аналізу тесту на повноту.
У даній роботі пропонується непрямий метод аналізу.
1.3. Опис тестової діагностики.
Проблема тестового діагностування цифрових схем виникає на різних етапах їх виробництва та експлуатації і включає взаємопов'язані завдання. Перша з них полягає в визначенні, в якому стані знаходиться досліджувана схема. [3] Основним станом цифрових схем є справний - це таке технічний стан схеми, при якому вона задовольняє всім вимогам, встановленим технічної документацією. В іншому випадку схема знаходиться в одному з несправних станів.
Якщо встановлено, що цифрова схема несправна, то вирішується друге завдання: здійснюється пошук несправності схеми, мета якого - визначення місця і виду несправності.
З безлічі різних видів несправностей виділяється клас логічних несправностей, які змінюють логічні функції елементів цифрової схеми. Для їх опису в більшості випадків використовуються наступні математичні моделі.
Константні несправності: константних нуль і константних одиниця, що означає наявність постійного рівня логічного нуля або логічної одиниці на входах і виході несправного логічного елемента.
Несправності типу "коротке замикання" (мостіковие несправності) з'являються при короткому замиканні входів і виходів логічних елементів і поділяються на два види: несправності, викликані коротким замиканням входів логічного елемента, і несправності типу зворотного зв'язку.
Інверсні несправності описують фізичні дефекти цифрових схем, що призводять до появі фіктивного інвертора по входу або виходу логічного елемента, входить до даної схему.
Несправності типу "перепутиваніе" полягають у переплутуванні зв'язків цифрової схеми і викликаються помилками, що виникають при проектуванні і виробництві цифрових схем, які змінюють функції, що їх схемою.
Класична стратегія тестування цифрових схем заснована на формуванні тестових послідовностей, дозволяють виявляти задані безлічі їх несправностей. При цьому, для проведення процедури тестування, зберігаються як самі тестові послідовності, так і еталонні вихідні реакції схем на їх вплив. У процесі тестування при відповідності отриманих реакцій схеми еталонним вона вважається справною, в іншому випадку схема містить несправність і знаходиться в несправному стані.
Структурні блоки,...
