- •Министерство общего и профессионального образования российской федерации
- •Учебное пособие Воронеж 2000
- •Учебное издание
- •394026 Воронеж, Московский поспект, 14
- •1. Тестовое диагностирование в цифровой технике:
- •1.1. Введение
- •1.2. Тестовое диагностирование в цифровой технике: цепи и терминология
- •1.3. Процедуры и проблемы программного тестирования
- •1.4. Необходимость проектирования тестопригодных схем
- •2. Анализ тестопригодности: система camelot
- •2.1. Количественная оценка тестопригодности
- •2.2 Принципы вычисления управляемости
- •2.3 Принципы вычисления наблюдаемости
- •2.4 Принципы вычисления тестопригодности
- •2.4.1. Тестопригодность как функция управляемости и наблюдаемости
- •2.5. Применение системы camelot на практике.
- •2.5.1. Количественная оценка проектируемых схем.
- •2.5.2. Автоматический выбор контрольных точек.
- •2.5.3 Методика генерации тестов вручную.
- •2.5.4. Методика автоматической генерации тестов
- •2.6. О других системах анализа тестопригодности
- •2.7. Заключительные замечания о методах анализа
- •3. Методы структурного проектирования
- •3.1. Принцип метода сканирования: сканируемый путь
- •3.2. Сканирование с произвольным доступом
- •3.3. Метод сканирования, чувствительного к уровню тактового сигнала
- •3.4. Недостатки и достоинства методов сканирования
- •3.5. Методы самотестирования: bilbo
- •3.5.3. Устройство встроенного поблочного диагностирования логических схем (bilbo)
- •3.6. Заключительные замечания о методах сканирования
- •4. Генерация тестов для схем, реализующих принцип сканирования
- •4.1. Алгоритм podem, условные обозначения, понятия и принципы
- •4.1.5. Вычисление относительных значении управляемости
- •4.2. Процедура podem
- •4.2.1. Пример 1. Основной принцип podem
- •4.2.2. Пример 2. Многомерный d-проход
- •4.2.3. Пример 3. Переопределение состояний первичных входов
- •4.2.4. Заключение относительного алгоритма podem
- •4.3. Процедура raps
- •4.3.1 Пример 4. Процедура raps
- •4.3.2. Заключение о процедуре raps
- •4.4. Методика выполнения процедур raps и podem
- •4.4.1 Использование статического сжатия тестов
- •4.4.2. Использование динамического сжатия тестов
- •4.5. Замечание относительно процедуры моделирования неисправностей
- •4.6. Заключительные замечания о процедурах podem и raps
- •5. Практические рекомендации по проектированию тестопригодных схем
- •5.1. Средства поддержки процедуры генерации тестов
- •5.2. Средства поддержки процедур тестирования и поиска неисправностей
- •Содержание
1. Тестовое диагностирование в цифровой технике:
НЕОБХОДИМОСТЬ ПРОЕКТИРОВАНИЯ ТЕСТОПРИГОДНЫХ СХЕМ
1.1. Введение
Тестовое диагностирование цифровых электронных схем на уровне кристалла, печатной платы или системы является дорогостоящим процессом. Оценки стоимости тестирования в процентах от стоимости полного жизненного цикла изделия изменяются от очень низкого значения (менее 10%) до чрезвычайно высокого (более 60%) в соответствии с этапом жизненного цикла и позицией того, кому необходимо найти средства для финансирования этого процесса. Традиционно этапы логического проектирования и генерации тестов диагностирования рассматривались отдельно; проектирование предшествовало этапу синтеза тестов, и разработчики цифровой аппаратуры не привлекались к процессу генерации тестов.
Однако в последнее время на фоне возрастающей сложности проектирования цифровых устройств возникает ситуация, когда разработчик может достаточно просто спроектировать схему, которая в современном смысле этого понятия фактически не является тестопригодной. Это распространяется на все уровни проектирования: от отдельного кристалла до законченной цифровой системы, состоящей из множества печатных плат. Сейчас разработчиками и диагностами признается, что если в результате проектирования необходимо иметь тестопригодное устройство, то требования контролепригодности должны выполняться в процессе проектирования. Реализация этого подхода дала начало развитию многочисленных методов, улучшающих тестопригодное проектирование — формальных н менее формальных.
Цель данной главы — проанализировать результаты, рассмотреть достижения в области тестового диагностирования цифровых устройств и показать необходимость тестопригодного проектирования. В связи с этим в последующих главах внимание будет сосредоточено на обсуждении специальных методов тестопригодного проектирования.
1.2. Тестовое диагностирование в цифровой технике: цепи и терминология
Главной целью тестового диагностирования цифровых схем на уровне кристалла, печатной платы или системы является обнаружение неисправностей элементов схемы, вызываемых дефектами процессов производства, неблагоприятными эксплуатационными факторами или механизмами старения. Такое тестовое диагностирование называют тестированием по результату—тест «проходит или не проходит».
Если проектируется ремонтопригодная схема или система, то второй целью тестирования является определение места и причины дефекта с достаточной точностью и достоверностью, что позволит эффективно восстановить исправность объекта диагностирования, Этот вид тестового диагностирования называется «поиском дефекта» и включает в себя как проверку исправности, так и локализацию места неисправности. «Неисправность» вызывается физическим механизмом дефекта, например обрывом соединения, в то время как «проявление неисправности» относится к логическому состоянию узла схемы, передающего сигнал: например, узел устойчиво находится в состоянии логической 1. Поведение большинства неисправностей адекватно отображается их моделями, которые характеризуют логические особенности проявления неисправностей, либо в виде устойчивой логической 1 — неисправность типа константа 1 (н-к-1), либо в виде устойчивого 0 — неисправность типа константа 0 (н-к-0), либо в виде проводных И, ИЛИ — неисправности типа короткого замыкания.
В общем случае цифровая схема представляет собой совокупность соединенных между собой базовых логических вентилей. триггеров и более сложных цифровых устройств, таких, как сдвиговые регистры, счетчики, ПЗУ, ЗУПВ. микропроцессоры и элементы расширения микропроцессорных устройств. Схема может также содержать и другие электронные элементы: транзисторы, операционные усилители, резисторы, соединяющие точки схемы с нулевым потенциалом или источником питания, и развязывающие конденсаторы. Тем не менее, как правило, тестер может воздействовать на схему (стимулировать тестовыми воздействиями) только через определенные доступные точки (выводы микросхемы или разъема печатной платы). Аналогично реакция схемы на тестовые сигналы обычно может наблюдаться (контролироваться) на других определенных доступных точках схемы. Входы, логическими состояниями которых можно непосредственно управлять, и выходы, логические состояния которых можно непосредственно наблюдать, называются первичными входами (ПВх) и первичными выходами (ПВых) схемы соответственно. Термин «тест», или «тестовый набор», означает определенное множество сигналов на ПВх и ожидаемых реакций на ПВых исправной схемы. Выражение «покрытие неисправностей» характеризует множество неисправностей, обнаруживаемых либо отдельным тестом, либо множеством тестов, для которых покрываемые неисправности — объединение подмножеств неисправностей, обнаруживаемых отдельными тестами.
Исправность цифровых схем проверяется программируемыми автоматическими диагностическими устройствами (АДУ) различного типа. Основными из них являются тестеры, проверяющие исправность прибора, несмонтированной печатной платы, тестеры для внутрисхемного тестирования, иноверки на правильное функционирование и исправность в условиях эксплуатации. Каждый тестер проектируется для выполнения специфической задачи в процессе диагностирования, связанного с циклом производств или эксплуатации изделия. Современные АДУ основаны на использовании вычислительных систем, программируемых для сопряжения с проверяемым устройством (ПУ) или печатной платой через заказную коммутационную систему. Тестеры для проверки печатных плат на функционирование могут содержать перемещаемый чувствительный элемент (наиболее часто называемый управляемым пробником), который является дополнительным средством поиска неисправности.