Составные части абстрактного автомата. Способы задания автоматов. Синхронные и асинхронные автоматы. Минимизация полностью определенного автомата. Структурная теория. Канонический метод структурного синтеза автомата. Кодирование состояний автомата. Гонки в автомате. Противогоночное кодирование состояний автомата, страница 9

 

 

 

 - доля необнаруживаемых ошибок

 

Существуют многоканальные сигнатурные анализаторы.

Метод диагностического анализа заключается в том, что мы не храним все результаты.

Специализированное проектирование контролепригодных устройств

Специальные методы не ориентированы на решение общей проблемы тестирования. Их цель – повышение контролепригодности за счет повышения их управляемости и наблюдаемости. Специализированные методы – набор рекомендаций, обеспечивающих улучшение тестопригодности цифрового устройства.

Улучшение управляемости и наблюдаемости за счет обеспечения доступа к ключевым точкам схемы путем:

  I.  использование незадействованных выводов микросхем, вентилей, выходов печатных плат

  II.  использование гнезд с перемещаемым контактным штепселем

  III.  использование контрольных точек печатной платы

  IV.  развязка с использованием элементов с тремя состояниями и дополнительными выводами для управления и наблюдения

  V.  использование мультиплексора и демультиплексора

  VI.  регистры сдвига с последующим вводом информации

  VII.  исключение логической избыточности (узел схемы является логически избыточным, если все значения сигналов на выходе схемы не зависят от его логического состояния на всех входных наборах и последовательности состояний)

VIII.  разбиение больших схем на подсхемы

  IX.  обеспечение простоты начальной установки элементов памяти

  X.  обеспечение разрыва цепей ОС

  XI.  сокращение использования вибраторов

  XII.  подключение нагрузки ко всем неиспользуемым входам и выходам элементов

XIII.  обеспечение управления цепью тактовой синхронизации

XIV.  не использовать контактное "И" и контактное "ИЛИ"

  XV.  разрыв длинных цепей в счетчиках

XVI.  буферирование входов и выходов

XVII.  ограничение коэффициента разветвления конечной схемы

XVIII.  узлы платы должны быть функционально закончены

Методы структурного проектирования контролепригодных устройств

Методы направлены на решение общей проблемы тестирования. Основной принцип методов – сканирование входных и выходных данных. Элементы памяти в процессе тестирования переключаются из нормального режима работы в такой режим, когда они становятся управляемыми и наблюдаемыми.

a)  сканирование путей

b)  сканирование с произвольным доступом

c)  сканирование при ограниченной чувствительности

d)  метод сканерной установки

Принцип сканирования путей - изменения структуры при тестировании, при этом обеспечивается отдельная проверка элементов памяти, установка в начальное состояние, непосредственное наблюдение выходных сигналов комбинационной части, подаваемых на элементы памяти.

Порядок тестирования:

¥  устанавливается режим сканирования и проверяется состояние и правильность функционирования элементов памяти путем использования входа/выхода сканированных данных и тактовых импульсов. Для этого можно использовать следующие тесты:

o  тест бегущей "1" или "0", позволяющий проверить способность каждого элемента памяти принимать нулевое или единичное значение

o  тест проверки сдвигового регистра последовательностью 0011, позволяющий проверить все комбинации переходов каждого элемента памяти

¥  определить множество тестовых наборов комбинационной части схемы, предполагая полное управление всеми входами (внутренними и внешними) элементов памяти и непосредственное наблюдение состояний всех выходов (внешних и элементов памяти)

¥  применить каждый тестовый набор следующим образом:

o  установить режим сканирования пути, в элементы памяти записать тестовый набор и установить тестовый набор на внешних входах

o  установить режим нормального функционирования, при этом состояния выходов комбинационной части записываются в элементы памяти

o  вернуться к режиму сканирования и вывести содержимое элементов памяти через выход сканированных данных