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

• 77.3% - полнота теста, контролирующего одиночные константные неисправности контактов микросхем и разъёмов (прогноз 84.8%)
• 96.3% рейтинг достижимости нулей и единиц на линиях схемы и входах для верификации логики
• нет контратеста шин с примерами неверной работы шин
• 98.5% управляемость и 89.7% наблюдаемость
• 9.0% непроверяемых неисправностей - проблемы с избыточностью схемы
• в тесте 117 набор, 31 сегментов, в среднем 117/31=3.8 набора

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

• контролируют 525 неисправности из 746, список которых приводится
• качество теста не очень высокое 77.32%, могло бы быть и лучше 84.8%, однако ряд проблем этому препятствуют
• последовательности наборов свободны от рисков сбоя и гонок по построению
• тест сегментирован, то есть подразделён на короткие последовательности наборов, которые можно подавать на тестируемую схему независимо от других сегментов теста

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

• BHM24 - имя схемы
• 16 типов микросхем
• 14 микросхем среднего уровня интеграции
• около 1510 вентилей [70 злементов памяти + 81 комбинационных подсхем]
• 45 входов
• 18 выходов
• 69 элементов памяти
• 10 уровней срабатывания
• 161 M-S структур
• Обратные связи - есть - 110 вентилей


Основные характеристики спроектированного теста, контролирующего одиночные константные неисправности таковы:
• 746 - всего неисправностей контактов микросхем и разъёмов
• 525 или 77.32% провереннных неисправностей от числа проверяемых 679=525+154 неисправностей
• 525 или 70.38% провереннных неисправностей от общего числа 746 неисправностей
• 154 или 20.64% непровереннных неисправностей от общего числа 746 неисправностей
• 67 или 8.98% непроверямых неисправностей от общего числа 746 неисправностей
• КПД Tw-CAD при генерации теста составил 68.3%