- •Министерство общего и профессионального образования российской федерации
- •Учебное пособие Воронеж 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.5.3. Устройство встроенного поблочного диагностирования логических схем (bilbo)
Универсальный элемент BILBO можно использовать как в схемах со сканированием данных, так и в самотестируемых схемах на основе сигнатурного анализа. Элемент способен выполнять несколько различных функций в соответствии со значениями сигналов на двух входах, управляющих режимами работы. Общая схема 4-разрядной структуры BILBO показана на рис. 3.23.
Рис. 3.23. Базовый элемент BILBO
По существу, элемент BILBO представляет собой многорежимный сдвиговый регистр с дополнительными возможностями использования линейной обратной связи. Управление четырьмя режимами функционирования, которые показаны на рис. 3.24 —3.27, осуществляется с двумя управляющими входами С1 и С2.
Рис. 3.24. Режим начальной установки. С1=0, С2=1
На рис. 3.24 показан режим начальной установки при условии С1=0, С2=1. В этом режиме на входе каждого D-триггера фиксируется 0, и, следовательно, каждый триггер может быть установлен в состояние 0.
Рис. 3.25. Режим нормального функционирования: С1=1, С2=1
На рис. 3.25 показан режим нормального функционирования, соответствующий
С1=1, С2=1. Все триггеры независимы, и для каждого из них отдельно информация вводится по входам и считывается с выходов Q.
Рис. 3. 26. Режим сканирования: С1=0, С2=0
Режим сканирования данных иллюстрируется рис. 3.26 и соответствует С1=0, С2=0. Необычной здесь является инверсия данных между разрядами сдвигового регистра, однако при сканировании данных это не вызывает каких-либо проблем.
Наконец, на рис. 3.27, показан режим, в котором элемент BILBO может использоваться либо как генератор псевдослучайных последовательностей, либо как 'многоканальный сигнатурный анализатор. Этому режиму соответствуют значения управляющих входных сигналов С2=0, С1=1.
Рис. 3. 27. Режим LFSR: С1=1, С2=0
В качестве псевдослучайных последовательностей схема может генерировать последовательность, описанную ранее (см. рис. 3.19), при условии, что:
а) начальные состояния триггеров (Ql, Q2, Q3, Q4) не все одновременно равны нулю;
б) на входы Zl, Z2, 23 и Z4 поданы нули.
К сожалению, в режиме начальной установки на выходах триггеров Ql, Q2, Q3 и Q4 устанавливается 0. Приемлемой для этого режима начальной установкой является следующая: Z1 = Z2 = Z3 = 0, Z4 = 1. При этих условиях сдвиговый регистр с линейной обратной связью генерирует, как и ранее, 15 псевдослучайных наборов (но в другой последовательности), а блокирующим набором в этом случае является 1110.
В качестве сигнатурного анализатора элемент BILBO может работать в двух режимах — с последовательным и параллельным вводом данных. При последовательном вводе считываемые данные подаются на вход Z1, при этом Z2=Z3=Z4=0. При параллельном вводе считываемые данные поступают на некоторые или все входы Z одновременно. Теория многоканальных сигнатурных анализаторов достаточно сложна и не рассматривается в этой книге. На практике свойства многоканального сигнатурного анализатора подобны свойствам сдвигового регистра с линейной обратной связью, имеющего один вход. Действительно, такой регистр с одним входом можно рассматривать как частный случай сдвигового регистра с линейной обратной связью с параллельными входами, двоичные последовательности на входах которого Z2, Z3,.. состоят из логических нулей.
3.5.4. ЭЛЕМЕНТ BILBO В СХЕМАХ СО СКАНИРОВАНИЕМ ДАННЫХ И САМОТЕСТИРОВАНИЕМ
Элемент BILBO можно использовать в схемах, реализующих метод сканирования LSSD, в качестве сдвигового регистра в структуре при условии, что приняты меры для исключения состязаний. Это означает, что для схемы BIBLE, в которой используются D-триггеры с динамическим управлением, а не чувствительные к уровню тактового сигнала триггеры типа «ведущий—ведомый», структура всего устройства должна быть аналогична структуре LSSD с одноступенчатыми триггерами-защелками, как видно из рис. 3.28.
Блоки В1 и В2 схемы BILBO управляются независимо своими собственными тактовыми импульсами CLK(l) и CLK(2) и от отдельных шин управления режимами работы С1 1, С2 1 и С1 2, С2 2. Аналогично разделены пути сканирования данных, как показано на рисунке. В режиме нормального функционирования на обе пары управляющих входов подается логическая 1. В режиме тестирования используется метод, основанный на сканировании.
При этом для проверки исправности N1 выполняются следующие операции:
1) установить блок В1 в режим нормального функционирования;
2) установить блок В2 в режим сканирования данных:
3) стробировать последовательно вводимый в блок В2 тестовый набор;
4) подать выходные сигналы Y2 и ПВх 1 на вход блока N1;
5) зафиксировать выходные сигналы N1 путем записи в
блок В1;
6) перевести блок В1 в режим сканирования;
7) стробировать последовательно выводимые данные из блока В 1 и проверить их правильность;
8) возвратиться к шагу 1, если еще имеются тесты.
Рис. 3.28. Метод сканирования, основанный на использовании элементов BILBO
Для тестирования подсхемы N2 в описанной процедуре следует поменять местами названия блоков В1 и В2.
При методе сигнатурного тестирования используются свойства сдвигового регистра с линейной обратной связью элемента BILBO и выполняются следующие операции:
Для проверки исправности блока N1:
1) установить блок В1 в режим многоканального сигнатурного анализатора;
2) установить блок В2 в режим генератора псевдослучайных
последовательностей;
3) подать некоторое число тестовых наборов на вход блока N1, используя выходные комбинации блока В2 и, если необходимо, ПВх1;
4) накапливать в блоке В1 сигнатуру реакций блока N1;
5) по завершении процедуры перевести блок В1 в режим сканирования и стробировать последовательно выводимый результат (или обеспечить параллельный вывод для сравнения с эталоном).
Для проверки исправности блока N2 в описанной процедуре следует поменять местами названия блоков В1 и В2.
Основное преимущество сигнатурного метода тестирования перед сканирующим заключается в сокращении времени тестирования. Недостатком метода сканирующего тестирования является необходимость постоянного переключения режимов нормального функционирования и сканирования данных для одного из элементов BILBO. Кроме того, следует учитывать затраты времени на последовательный ввод и вывод данных в режимах сканирования.
В методе сигнатурного тестирования первый недостаток отсутствует, а второй можно исключить, если выходы триггеров каждого элемента BILBO сделать первичными.
Приведем еще некоторые замечания относительно метода сигнатурного тестирования.
А. На шаге 2 желательно было бы управлять значениями сигналов на входах Z блока В1, чтобы обеспечить максимальную длину псевдослучайной последовательности. (Напомним, что набор Z1=Z2=Z3=0, Z4=1 обеспечивает длину в 15 тестов. Другая начальная установка входов z такой длины не обеспечит.)
Б. На шаге 3 предполагалось подать некоторое число псевдослучайных тестов. Поэтому возникает очевидный вопрос о том какое число тестовых наборов считать достаточным. Оно ограничено числом разрядов генератора псевдослучайных последовательностей и допустимым временем тестирования. Принимая во внимание эти ограничения, можно ответить, что для максимизации уровня покрытия неисправностей число тестовых наборов должно быть как можно больше. Для n-разрядного сдвигового региcтра с линейной обратной связью максимальное число различных псевдослучайных наборов равно 2n-1. После этого цикл повторяется (как показано на рис. 3.19) Вообще, предпочтительнее использовать восьми-, а не четырехразрядные элементы BILBO с обратной связью такого типа, как показано на рис. 3.29.
Рис. 3.29 Восьмиразрядный элемент BILBO с типовой структурой цепей обратной связи
В заключении на рис. 3.30 показано, как можно использовать элементы BILBO для построения самотестируемых схем основанных на применении сигнатурного анализа. Схема состоит из следующих компонентов: В1 - элемент схемы BILBO используемый как генератор псевдослучайных тестовых воздействий; В2— Другой элемент схемы BILBO, который обычно в режиме нормального функционирования является частью всего устройства, но в режиме тестирования функционирует как многоканальный анализатор, принимающий двоичные данные и формирующий сигнатуры входных последовательностей.
Декодер-компаратор декодирует сигналы с выходов элемента В2 (если отсутствует непосредственная проводная связь с элементом В2, то наиболее подходящим местом подключения является точка разрыва цепи обратной связи) и осуществляет сравнение с множеством предопределенных эталонов. Декодер на одиночном выходе вырабатывает сигнал «исправно» или «неисправно» в зависимости от результата сравнения. Двоичный суммирующий счетчик устанавливается в начальное состояние 0 и управляет числом тактовых импульсов, подаваемых на элементы В1 и В2, когда эти элементы находятся в режиме тестирования.
Рис. 3.30. Самотестируемая схема на основе элементов BILBO: для упрощения схемы шины управления, системных тактовых импульсов, сброса и установки не приведены
Процесс тестирования достаточно прост. Элемент В1 генерирует установленное число псевдослучайных тестовых наборов, подаваемых на вход блока N. Выходная реакция блока N путем стробирования вводится в элемент В2, где формируется ряд сигнатур. Заметим, что элементы В1 и В2 функционируют согласно разным фазам тактового сигнала. Поэтому максимальная скорость функционирования определяется предсказанным худшим случаем времени задержки сигнала в блоке N. По завершении отсчета установленного числа тестовых тактов на выходе «конец счета» счетчика тактов появится 1, которая запрещает дальнейшее поступление тактовых импульсов и дает разрешение индицировать выходной сигнал декодера одним из двух светодиодов.
В случае, когда тест прошел, что соответствует состоянию «исправно», на выходе декодера устанавливается 1 и зажигается зеленый светодиод; при состоянии «неисправно» (тест не прошел) на выходе декодера появляется 0 и включается красный светодиод. По существу, схема на рис. 3.30 представляет собой более развернутый вариант самотестируемой схемы, приведенной на рис. 3.22 (вариант 3).