Введение
ГЛАВА I. ИССЛЕДОВАНИЕ МЕТОДОВ.СИНТЕЗА.ТЕСТОВ.ДЛЯ ЦИФРОВЫХ СХЕМ. 9
1.1. Основные понятия 9
1.2. Критический обзор существующих,методов.синтеза.тестов. .13
Выводы 24
ГЛАВА 2. ПРЕДСТАВЛЕНИЕ ОБЪЕКТА ДИАГНОСТИРОВАНИЯ МАТЕРНАТИВНЫМИ ГРАФАМИ 25
2.1. Понятие альтернативного графа 25
2.2. Синтез функциональных. АГ методом разложения. булевых функци 30
2.3. Структурный подход к синтезу АГ 31
2.4. Основные свойства модели АГ 35
2.4.1. Структурные свойства АГ 35
2.4.2. Эквивалентные преобразования АГ 36
2.4.3. Инвертирование АГ 41
2.5. Переход от модели САГ к модели ФАГ 42
2.6. Модель АГ для последовательностных схем 48
2.6.1. Представление временного параметра в АГ 48
2.6.2. Модель ЦУ с элементами памяти 49
2.6.3. Модель.ЦУ с обратными связями 52
Выводы 55
ГЛАВА 3. СИНТЕЗ ТЕСТОВ ЦИФРОВЫХ УСТРОЙСТВ НА МОДЕЛИ АЛЬТЕРНАТИВНЫХ. ГРАФОВ...56
3.1. Основы синтеза тестов на модели САГ 56
3.2. Активизация на ЦУ путей с различной.мерностью .59
3.3. Синтез тестов на системе САГ 64
3.4. Анализ компенсации неисправностей на АГ 68
3.5. Синтез тестов для последовательностных схем 79
З.б. Выявление, состязаний, на. АГ 85
Выводы 89
ГЛАВА 4. СИНТЕЗ ТЕЗТОВ МОДУЛЬНЫМ ПОДХОДОМ 90
4.1. Вопросы синтеза тестов модульным подходом ...90
4.2. Трансляция.выходных.реакций.многовыходного модуля на ТЗДГ 92
4.3. Синтез.локальных.тестов модуля при переходе от.САГ .
4.4. Групповая активизация.множества функционально зависимых выходов 105
Выводы 112
ГЛАВА 5. РЕАЛИЗАЦИЯ И ЭКСПЕРИМЕНТАЛЬНЫЕ ДАННЫЕ 113
5.1. Машинное представление и обработка модели АГ
5.2. Внедрение, и. экспериментальные данные
Выводы
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ
