TwCAD строит тесты автоматически

• 89.0% - полнота теста, контролирующего одиночные константные неисправности контактов микросхем и разъёмов (прогноз 98.9%)
• 98.9% достижимость нулей и единиц на линиях схемы и входах для верификации логики
• нет контратеста шин с примерами неверной работы шин, так как шин нет
• 100% управляемость и 100% наблюдаемость
• 9.09% непроверяемых неисправностей - проблемы с избыточностью схемы
• в тесте 98 набор, 49 сегментов, в среднем 98/49=2 набора

Эти тесты обладают важными потребительскими свойствами;

• контролируют 534 неисправности из 660, список которых приводится
• качество теста высокое 89%
• последовательности наборов свободны от рисков сбоя и гонок по построению
• тест сегментирован, то есть подразделён на короткие последовательности наборов, которые можно подавать на тестируемую схему независимо от других сегментов теста

Все характеристики обработанной схемы и спроектированных тестов, а также сами тесты   видны из выводимого протокола. Основные характеристики схемы таковы

• П823,AЯИH.469.015 - имя схемы
• 7 типов микросхем
• 19 микросхем среднего уровня интеграции
• около 10(y+z)=640 вентилей = 0 злементов памяти (y)+64 комбинационных подсхем(z)
• 77 входа
• 0 выходов
• 64 элементов памяти
• 10 уровней срабатывания
• 0 M-S структур
• Обратные связи - нет


Основные характеристики спроектированного теста, контролирующего одиночные константные неисправности таковы:
• 660 - всего неисправностей контактов микросхем и разъёмов
• 534 или 89% провереннных неисправностей от числа проверяемых 600=534+66 неисправностей
• 534 или 80.9% провереннных неисправностей от общего числа 660 неисправностей
• 66 или 10% непроверенных неисправностей от общего числа 660 неисправностей
• 60 или 9.09% непроверямых неисправностей от общего числа 660 неисправностей
• КПД Tw-CAD при генерации теста составил 100%