- •Министерство общего и профессионального образования российской федерации
- •Учебное пособие Воронеж 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. Средства поддержки процедур тестирования и поиска неисправностей
- •Содержание
3.4. Недостатки и достоинства методов сканирования
Основные недостатки методов сканирования, проявляющиеся при проектировании дискретных устройств, можно представить следующим образом.
А. Дополнительные конструкторско-технологические требования. Наиболее очевидным недостатком является необходимость использования дополнительных контрольных и управляющих входов-выходов и логических элементов. В частности, при реализации метода LSSD необходимо дополнительно ввести четыре входа-выхода (SDI, А, В, SDO), а число вентилей по оценкам специалистов увеличивается на 4—20% относительно числа вентилей, требуемых для нормального функционирования схемы. В результате это дополнительное свойство схемы обеспечивается увеличением числа блоков схемы и соединений, что ведет к повышению стоимости производства и снижению надежности.
Б. Увеличение времени тестового диагностирования. Стратегия тестирования, связанная с методом сканируемого пути, предусматривает циклический переход от режима сканирования к режиму нормального функционирования и обратно, когда для каждого тестового набора осуществляется загрузка элементов памяти схемы и проверяется правильность ее функционирования. Механизм последовательного ввода-вывода состояний элементов памяти является причиной увеличения длительности процедуры тестирования по сравнению с длительностью тестирования комбинационной схемы, обеспечивающего поиск неисправностей с помощью пробника, управляемого ручным способом в прямом и обратном направлении. (Состояние усталости оператора, проверяющего схему, возникает, когда время получения сигнатуры достигает порядка 30 с. Учитывая, что за этот период времени с целью повышения достоверности и точности тестирования сигнатура может быть сформирована трижды, получаем реальный предел продолжительности тестирования, равный 10 с.)
Предполагается, что время тестирования можно уменьшить, применив метод сканирования при параллельных операциях загрузки регистра и считывания содержимого, однако получаемый эффект должен превышать затраты на введение дополнительных входов-выходов.
В. Невозможность тестирования схемы на предельных рабочих частотах. Некоторые неисправности, например, динамического типа, вызываемые изменениями временных параметров элементов и цепей передачи логических сигналов обнаруживаются только в процессе проверки исправности схемы на максимальной рабочей частоте или близкой к ней. В схемах, реализующих метод сканирования, постоянное чередование режимов сканирования и функционирования в процессе тестирования схемы препятствует обнаружению неисправностей подобного типа.
Г. Ограничения возможностей разработчика. Принцип проектирования схем на основе методов сканирования ограничивает свободу выбора традиционных решений, связанных с логическим проектированием. В частности, разработчик не может использовать асинхронные схемы при необходимости увеличения быстродействия. Разработчик ограничен также в выборе требуемого элемента памяти из широкого ассортимента стандартных запоминающих устройств: структуры ЗУПВ и метод LSSD предопределяют использование элементов памяти строго определенного типа. Поэтому может показаться, что проектирование на основе методов сканирования превращает процесс разработки логических схем в весьма простую механическую работу, где творчеству отведена лишь небольшая роль. Однако это не так. Изобретательность, а следовательно, интерес и увлеченность при логическом проектировании все еще присутствуют частично потому, что не все схемы соответствуют требованиям методологии сканируемого пути (например, микрокомпьютерные блоки), и частично потому, что проводятся многочисленные исследования методов синтеза схем, позволяющих по заданной спецификации устройств построить схему, реализующую метод сканирования. В настоящее время в этой области выполнено чрезвычайно мало работ.
Следующие достоинства проектирования на основе методов сканирования пути частично компенсируют эти недостатки.
А. Проверка достоверности разработки и временной анализ. Возможность выполнить автоматическую проверку нарушений правил проектирования позволяет упростить процедуры проверки правильности разработки (логическое моделирование исправной схемы с нулевыми задержками) и временной анализ функционирования схемы. Метод LSSD специально предназначен для уменьшения зависимости работоспособности схемы от меняющихся во времени параметров, таких, как длительность фронта и среза тактовых импульсов, которые трудно моделировать в процессе проектирования и контролировать в процессе производства.
Б. Генерация тестов. Для схем, реализующих методы сканирования, необходимо генерировать тесты только для комбинационной части схемы. Это условие легко объясняется, и существует множество практических процедур, дающих приемлемое решение. В гл. 4 будет описана одна из таких процедур, называемая RAPS/PODRM.
В. Оценка эффективности тестов. Уменьшение сложности процесса генерации тестов упрощает также и процедуру оценки эффективности тестовых наборов, если эта оценка выполняется путем моделирования неисправностей. Выигрыш в этом случае состоит в том, что моделирование необходимо только для определения уровня покрытия неисправностей тестами, проверяющими комбинационную часть схемы. Это означает, что можно разработать специально упрощенную систему моделирования, которая поэтому будет более быстродействующей, чем системы моделирования общего применения. Увеличение скорости процедуры моделирования позволяет использовать ее как составную часть процесса генерации тестов, что дает возможность оценивать полноту покрытия неисправностей для каждого теста в процессе его генерации. Процедура RAPS/PODEM, описываемая в гл. 4, реализует эту возможность.
Г. Реализация тестового диагностирования и поиск неисправностей. Разделение схемы на сканируемые элементы памяти и комбинационную часть упрощает задачу поиска места неисправности как в процессе производства, так и при се эксплуатации. Возможность доступа к внутренним цепям обратной связи схемы (при работе в режиме сканирования) устраняет главную причину неправильного или неоднозначного диагноза. Для повышения точности локализации источников неисправности как в элементах (в режиме сканирования), так и в комбинационной части (в режиме нормального функционирования) можно использовать пробники, перемещаемые от выходов схемы к ее входам.
При реализации тестового диагностирования унификация и точно определенная взаимосвязь проверяемой схемы и тестера являются также достоинством обсуждаемого метода проектирования. Построение полной тестовой программы, включающей команды установки и тесты, проверяющие сканируемый путь и комбинационную часть схемы, не представляются трудной задачей. Действительно, она может быть построена с помощью простой компоновки объектных модулей, выполняющих каждую из этих задач. Дополнительным достоинством тестовых программ с модульной структурой является возможность простой замены отдельных модулей модифицированными версиями. Это, в свою очередь, облегчает решение исконной проблемы расширения тестовых программ, связанной с совершенствованием проектируемых схем. При эксплуатации изделий такие модификации, называемые предписаниями к изменению технических условий, или нечто подобное вызывают необходимость внимательного обращения к процедуре расширения тестовой программы и взаимосвязи соответствующей программы с отдельными изменениями в проекте. Модульные тестовые программы упрощают решение проблем, связанных с изменениями технических условий.
Наконец, проектирование на основе методов сканирования приносит значительную пользу при решении задач тестового диагностирования и ставит перед разработчиком интересные проблемы. Основной недостаток определяется необходимостью введения дополнительных входов-выходов и аппаратурных затрат, однако этот недостаток присущ всем методам проектирования тестопригодных схем. Как всегда, затраты на тестовое диагностирование будут определять, какому из методов отдать предпочтение.