- •Министерство общего и профессионального образования российской федерации
- •Учебное пособие Воронеж 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.1. Принцип метода сканирования: сканируемый путь
Проектирование с использованием методов сканирования следует рассматривать как тщательно продуманную попытку упростить процедуру генерации тестов для логических устройств, содержащих элементы памяти и цепи глобальной обратной связи. В основе этого подхода лежит принцип «разделяй и властвуй», который можно продемонстрировать на примере общей модели синхронной последовательностной схемы (рис. 3.1).
Множество элементов схемы можно включить в две основные части этой модели—комбинационную часть N и банк элементов памяти, которые управляются системными тактовыми импульсами. Входы N разделяются на первичные входы (ПВх) и входы цепей обратной связи Y внутренних переменных состояний. Следовательно, состояния на выходах схемы (ПВых) зависят от текущего значения сигналов на входах схемы и состояний элементов памяти. Аналогично последующее состояние элементов памяти также зависит как от состояния первичных входов, так и состояний самих элементов памяти в текущий момент времени. Эта зависимость последующего состояния от предыдущего и является источником всех проблем генерации тестов. Первичные входы — единственные входы, которыми может непосредственно управлять разработчик тестов. Аналогично единственными выходами, на которых можно наблюдать состояния непосредственно, являются первичные выходы схемы. Управление элементами памяти и наблюдение за их состояниями можно осуществить только через комбинационную часть схемы. Задача о том, какую из частей схемы проверять первой, решается с учетом условия, что ни одна из двух частей схемы непосредственно не управляема и не наблюдаема и части схемы взаимно зависят друг от друга при правильном функционировании.
Проектирование с использованием метода сканирования позволяет решать эту проблему путем уменьшения сложности структуры схемы.
Рис. 3. 1. Общая модель синхронной последовательностной схемы
Принцип, на котором основан этот метод, обеспечивает схеме дополнительные свойства, а именно:
а) элементы памяти могут проверяться отдельно от остальной части схемы;
б) внутренние переменные можно установить в любое требуемое состояние независимо от их предыдущего состояния;
в) выходные величины комбинационной части схемы, которые запитывают входы элементов памяти, можно непосредственно наблюдать.
Эти свойства присущи схеме, если в логическом устройстве реализуется метод сканируемого пути через элементы памяти, как показано на рис. 3.2. Действительно, каждому элементу памяти предшествует мультиплексор «21», управляемый общим сигналом выбора режима сканирования. Когда этот сигнал равен 0, мультиплексоры соединяют выходы комбинационной части схемы со входами элементов памяти, т. е. схема работает в режиме нормального функционирования. Когда сигнал управления сканирования равен 1, элементы памяти реконфигурируются в один сдвиговый регистр с последовательным вводом и выводом данных. Вход, на который данные поступают последовательно, называют входом сканируемых данных, а выход, с которого последовательно считываются данные, называют выходом сканируемых данных. Таким образом, в режиме сканирования элементы памяти можно достаточно просто установить в любое заданное множество состояний, подавая последовательность сигналов на вход сканируемых данных и тактируя сдвиговый регистр с помощью системного тактового импульса.
Рис. 3.2. Принцип сканируемого пути
Последовательность тестирования представляется теперь в следующем виде.
Шаг. 1. Установить режим сканирования, т. е. реконфигурировать элементы памяти в сдвиговый регистр. Проверить состояния и правильность функционирования каждого элемента памяти, путем использования входа-выхода сканируемых данных и системного тактового импульса. Для этой цели можно применить следующие тесты:
А. Тест бегущей 1 или 0. В этом тесте во все элементы памяти записываются 0, а единственная 1 последовательно сдвигается от входа к выходу сканируемых данных через элементы памяти сканируемого пути под управлением системного тактового импульса. Процедура повторяется с бегущим 0, который последовательно сдвигается на фоне единичных состояний элементов памяти. Этот тест позволяет проверить способность каждого элемента памяти принимать значение 0 и 1.
Б. Тест проверки сдвигового регистра. Последовательность 00110011... сканируется через сдвиговый регистр и позволяет проверить все комбинации переходов предыдущего и последующего состояний каждого элемента памяти.
Шаг 2. Определить множество тестов для комбинационной части схемы, предполагая:
а) полное управление всеми входами (первичными и внутренними входами элементов памяти); б) непосредственное наблюдение состояний всех выходов (первичных выходов и выходов элементов памяти).
Шаг 3. Применить каждый тест следующим образом.
Шаг 3А. Установить режим сканируемого пути. В элементы памяти предварительно записать тестовые наборы и установить дополнительно тестовые данные на первичных входах.
Шаг 3Б. Установить режим нормального функционирования. Состояния внутренних выходов комбинационной части записать в элементы памяти, синхронизируя запись системным тактовым импульсом.
Шаг 3В. Вернуться к режиму сканирования и синхронно с системным тактовым импульсом вывести содержимое элементов памяти через выход сканируемых данных. Сравнить эту последовательность и наблюдаемые состояния первичных выходов схемы с эталонной реакцией исправной схемы.
В рассмотренном методе сканируемого пути принцип «разделяй и властвуй» теперь проявляется более наглядно. Вместо тестового диагностирования схемы как единого целого этот метод реализации схемы позволяет проверить отдельно ее каждую составную часть в соответствии с приведенной выше процедурой. Более того, если использовать стандартные тесты для элементов памяти (см. шаг 1), то задача генерации тестов сводится к процедуре построения тестов для комбинационной части схемы.
Рис. 3. 3. Реализация сканирующего пути в D-триггере типа «ведущий — ведомый»
В следующей главе описывается одна из таких процедур, известная как RAPS/PODEM.
Одна из проблем, возникающих при тестировании согласно схеме, представленной на рис. 3.2 (и рис. 3.1), заключается и возможности появления в ней состязаний при записи в элемент памяти данных с внутренних выходов комбинационной части схемы. Причиной является различное время реакции элементов памяти. Более быстродействующий элемент памяти может изменить состояние выходов комбинационной части схемы раньше, чем переключится медленнодействующий элемент. Эта классическая проблема, возникающая при проектировании синхронных схем, обычно решается применением двухступенчатых элементов памяти типа «ведущий—ведомый». На рис. 3.3 показан пример D-1риггера, построенного по схеме «ведущий—ведомый», который можно использовать при реализации метода сканируемого пути.
Эту схему можно построить на стандартных серийно выпускаемых элементах, однако в этом случае дополнительные аппаратурные затраты умаляют достоинства метода сканирования. В следующем разделе описывается более специфичный вариант метода сканирования, применяемый при проектировании схем на элементах памяти специального типа.