- •Министерство общего и профессионального образования российской федерации
- •Учебное пособие Воронеж 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.6. Заключительные замечания о методах сканирования
В этой главе рассмотрены принципы методов сканирования и применения их для проектирования логических схем, которое завершается проектированием самотестируемых схем на основе методов сканирования. Сущность подхода заключается во введении в проектируемую схему таких свойств, которые уменьшают сложность решения проблемы генерации диагностических тестов до приемлемого уровня. Обсуждены также недостатки рассматриваемого подхода. После обсуждения всех аспектов тестопригодности окончательное решение об использовании метода сканирования основывается на анализе затрат, включающих стоимость дополнительных кремниевых или интегральных микросхем, стоимость замены устройств или систем, не отвечающих требованиям тестирования, и т. д.
Инициаторами развития методов сканирования являются большие промышленные объединения, производящие системы и имеющие возможности производства интегральных микросхем. Последнее сообщение о выпуске микросхемы Am29818—последовательного теневого регистра—открывает путь к широкому использованию методов сканирования для всех разработчиков независимо от возможностей их объединений. Это означает, что все больше и больше разработчиков начнет использовать методы сканирования в процессе проектирования. Поэтому в следующей главе описывается эффективный метод генерации тестов для таких схем.
4. Генерация тестов для схем, реализующих принцип сканирования
В предыдущей главе был представлен метод проектирования общего применения, названный методом сканирования, который позволяет сократить затраты на процедуру генерации тестов путем разделения схемы на две основные части — комбинационную
и элементы памяти. Общей стратегией тестирования предполагается вначале проверка элементов памяти, а затем использование этих элементов для формирования входных наборов, проверяющих комбинационную часть устройства. Выходная реакция этой части схемы записывайся через цепь обратной связи в элементы памяти, а затем передается на выход в режиме сканирования.
Теоретически генерация тестов для комбинационных схем не является проблемой. Классические алгоритмы синтеза тестов, такие, как D-алгоритм Рота или метод, основанный на активизации путей, успешно используются на практике уже много лс-i. Эффективность генерируемых тестов измеряется в основном уровнем (в %) покрытия множества неисправностей определенного класса, такого, как множество неисправностей типа константа 1 и 0 (н-к-1, н-к-0) на всех соединениях схемы. Постоянное развитие заказных СБИС и комплектов вентильных матриц изменило взгляды на эффективность процедур генерации тестов, тем не менее этот раздел посвящен описанию алгоритма генерации тестов, ориентированных на диагностирование неисправностей установленного класса и называемого PODEM (Path Oriented DEsicion Making), который разработал П. Гоэл в соответствии с требованиями к процедуре генерации тестов методом LSSD. Алгоритм применим для любой комбинационной схемы и, по мнению автора, является по меньшей мере достойным преемником упомянутых классических алгоритмов. Таким образом, описание процедуры PODEM составляет ядро данной главы. В конце книги приводятся работы, имеющие отношение к теме данной главы.
Прежде всего необходимо отметить, что алгоритм PODEM отражает только часть общего подхода к построению тестов для схем, реализующих метод сканирования. Как было отмечено в подразделе 3.5.2, обычно применению алгоритма PODEM предшествуют генерация и оценка эффективности некоторых псевдослучайных тестовых наборов, позволяющих быстро и с малыми затратами получить приемлемый уровень покрытия множества неисправностей. Такая процедура разработана для схем, реализующих метод LSSD, названа методом активизации произвольного пути (RAPS — RAndom Path Sensitising) и является примером «искусного» псевдослучайного метода. Описание RAPS следует за описанием PODEM, хотя реально процедура RAPS используется раньше, чем PODEM. Глава завершается описанием общей методики тестирования на основе алгоритмов PODEM и RAPS для схем, в которых реализуется принцип сканирования.