Моделирование неисправностей
•Используется модель константной неисправности:
–Простота
–Описывает влияние физической неисправности на входные/выходные сигналы
Модель 2х-входового вентиля И
Количество неисправностей
•Для k сигнальных линий существует 2k различных комбинаций одиночных неисправностей
•Для каждой сигнальной линии существует три возможных состояния:
–Свободное от неполадок
–С постоянной логической 1
–С постоянным логическим 0
•Следовательно для k сигнальных линий существует 3k комбинаций возможных состояний
Множественные неисправности
•Число комбинаций ошибок может быть очень велико
•Анализ множественных неисправностей
– задача весьма сложная, и невыполнимая
•Большинство множественных неисправностей обнаруживаются при поиске одиночных ошибок
Места возникновения неисправностей
•Всего в схеме возможно 10 различных неисправностей: 5 ветвей*2 неисправности
•Всего в схеме возможно 16 различных неисправностей, хотя 6 ветвей (6*2=12)
Тестирование ИС
•Входные комбинации, используемые для
обнаружения неисправностей называются
тестовыми векторами
•Набор тестовых векторов, обеспечивающий
проверку всех возможных состояний называется тестовым набором
•Относительное число ошибок, которое можно
найти с помощью теста называется
покрытием неисправностей
Методы поиска неисправностей
•Табличный (по таблице истинности). Подходит только для простых схем.
•Алгебраический (по выходной функции). Подходит только для простых схем.
•Метод активизации пути (Path sensitization metod). Подходит для схем любого уровня сложности.
Прямой проход активизации пути
•В точку с предположительной неисправностью подается значения сигнала, противоположного тому, которое вызывает неисправность
А=0, B=1;
или
В=0, A=1;
или
A=0, B=0.
Обратный проход активизации пути
•Устанавливаются входные значения для передачи логического уровня сигнала в точке
неисправности сквозь схему до выхода, где его можно наблюдать
Если Н – ненаблюдаемый выход, то чтобы на F обнаружить неисправность внутренней ветви необходимо установить
С=1
Упрощение поиска неисправностей
•Для упрощения поиска неисправностей вводится обозначение сигнала
•D показывает, что сигнал =1, если схема исправна и =0, если нет
•D показывает, что сигнал =0, если схема исправна и =1, если нет
•Данный метод носит название D- алгоритма, или алгоритма Рота