Печатная плата BMK2L - прототип вентильной матрицы
Это печатная плата с микросхемами среднего уровня интеграции.

TwCAD строит все виды тестов автоматически, используя оригинальный метод генерации тестов

• 95.2% - полнота теста, контролирующего одиночные константные неисправности контактов микросхем и разъёмов (прогноз 99.5%)
• 99.5% - рейтинг верификации по достижимости нулей и единиц на линиях и входах схемы
• нет контратеста шин, так как шин нет
• 100% управляемость и наблюдаемость
•  1.23% непроверяемых неисправностей - проблемы с избыточностью схемы
• в тесте 35 набор, 21сегментов, в среднем 35/21=1.6 набора

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

• проверяет 457 неисправности из 486, список которых приводится
• качество теста высокое 95.2%, но могло бы быть и лучше 99.5%, однако ряд проблем этому препятствуют
• последовательности наборов свободны от рисков сбоя и гонок по построению
• тест сегментирован, то есть подразделён на короткие последовательности наборов, которые можно подавать на тестируемую схему независимо от других сегментов теста

Поясняются препятствия к достижению идеального 100% качества, устранимые только разработчиком:

• 6 непроверяемых неисправностей - ?0 ?1 30-Д18:7, ?0 ?1 30-Д18:8, ?0 ?1 74-Д8:2
• нет установки в 1  для 571XЛ5-Д19:11   
• 30  плохие шины с двумя источниками - Возможно подключение 2 источников одновременно, например PORT-A3:919 и 1533ИP33-Д9:19

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

• NBMK2 - имя схемы
• 11 типов микросхем
• 19 микросхем среднего уровня интеграции
• около 610 вентилей [10 элементов памяти +51 комбинационных подсхем]
• 48 входов
• 39 выходов
• 10 элементов памяти
• 6 уровней срабатывания
• 12 M-S структур
• Обратные связи - нет

Основные характеристики спроектированного теста, контролирующего одиночные константные неисправности таковы:

• 486 - всего неисправностей контактов микросхем и разъёмов
• 457 или 95.2% проверенных неисправностей от числа проверяемых 480=457+23 неисправностей
• 457 или 94.03% проверенных неисправностей от общего числа 486 неисправностей
• 26 или 5.34% непроверенных неисправностей от общего числа 486 неисправностей
• 6 или 1.23% непроверяемых неисправностей от общего числа 486 неисправностей
• КПД TwCAD при генерации теста составил 100.0%