Синтез контролепригодных программируемых логических матриц и проверяющих тестов

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
Глава I. СОСТОЯНИЕ ИССЛЕДОВАНИЙ В ОБЛАСТИ ТЕСТОВОГО
ДИАГНОСТИРОВАНИЯ ПЛМ
1.1. Математические модели исправных и
неисправных ШИЛ
1.2. Краткий обзор методов построения проверяющих
тестов для одиночных неисправностей ПЛМ
1.3. Анализ подходов к диагностированию ратных
неисправностей ШЕЛ.
1.4. Выводы к главе 1
Глава II. СИНТЕЗ КОНТРОЛЕПРИГОДНЫХ ПЛМ ПЕРВОГО РОДА
2.1. Постановка задачи.
2.2. Компенсация неисцравностей и устранение
компенсации
2.3. Построение ПЛМ с к , 1 свойством
при 7 12,3,4.
2.4. Синтез ШЕЛ, чувствительных ко всем
одиночным коммутационным неисправностям
2.5. Заключение к главе II.
Глава III. СИНТЕЗ КОНТРОЛЕПРИГОДНЫХ ПЛМ ВТОРОГО РОДА
И ПОСТРОЕНИЕ ДЛЯ НИХ ПОЛНЫХ ТЕСТОВ
3.1. Длина минимального полного теста
3.2. Класс контролепригодных ШЕЛ второго рода
3.3. Метод синтеза контролепригодных Ш1М
второго рода
3.4. Проверка синхронизированной ГШЛ с окном
3.5. Заключение к главе III.
Глава У. МОДИФИКАЦИЯ ПЛМ ДЛЯ УДОБСТВ КОНТРОЛЯ
4.1. Построение полного теста для ПЛМ, не содержащей входного буфера из
дешифраторов.
4.2. Модифицированные ЛЛМ
4.3. Заключение к главе У
Заключение
Литература