Печатная плата MBP1
Это печатная плата с микросхемами среднего уровня интеграции.
- 93.4%(даже лучше, чем ожидалось 89.3%) - полнота теста, контролирующего одиночные константные
неисправности контактов микросхем и разъёмов
- 98.8% - рейтинг верификации по достижимости нулей и единиц
на линиях и входах схемы
- нет контратеста шин, так как шин нет
- 100% управляемость и 90.4% наблюдаемость
- 10.8% непроверяемых неисправностей - серьёзные проблемы с избыточностью схемы
- в контролирующем тесте 121 набор, 42 сегмента
Контролирующий тест обладает важными потребительскими свойствами
- контролируют 465 неисправностей из 558, список которых приводится
- качество теста высокое 93.37%, но могло бы быть и лучше, однако ряд проблем
этому препятствуют
- последовательности наборов свободны от рисков сбоя и гонок по построению
- тест сегментирован, то есть подразделён на короткие последовательности наборов,
в среднем 2.9 набора, которые можно подавать на проверяемую схему независимо
от других сегментов
Поясняются препятствия к достижению идеальной 100% полноты теста,
препятствия устранимы только разработчиком схемы
- 60 непроверяемых неисправностей - протокол прилагается
- 3 недостижимых значения при верификации -
"0" на CD4013-Д26:13; "0" на CD4066-Д28:2; "1" на CD4066-Д28:2
Все характеристики обработанной схемы и спроектированных тестов,
а также сами тесты видны из выводимого протокола.
Основные характеристики схемы
- MBP1 - имя схемы
- 14 типов микросхем
- 30 микросхем среднего уровня интеграции
- около 870 вентилей [38 злементов памяти и 49 комбинационных подсхем]
- 46 входов
- 15 выходов
- 38 элементов памяти
- 21 уровень срабатывания
- 225 M-S структур
- Обратные связи - 20 max
Основные характеристики спроектированного
теста, контролирующего одиночные константные неисправности
- 558 - всего неисправностей контактов микросхем и разъёмов
- 465 или 93.4% провереннных неисправностей
от числа проверяемых 498=465+33 неисправностей
- 465 или 83.33% провереннных неисправностей
от общего числа 558 неисправностей
- 33 или 5.91% непровереннных неисправностей
- 60 или 10.75% непроверямых неисправностей
- КПД TwCAD при генерации теста составил 42.2%
