Введение
1. Основные понятия 16
1.1. Булевы функции, конечные автоматы, логические схемы 16
1.2. Программируемые логические элементы 18
1.3. Методы тестового и функционального диагностирования 22
1.4. Обзор методов проектирования дискретных систем 24
1.4.1. Методы проектирования самопроверяемых схем 24
1.4.2. Обзор методов проектирования детекторов кодов 27
1.5. Выводы по главе 35
2. Проектирование самопрорверяемых схем 36
2.1. Однонаправленные неисправности самопроверяемой синхронной последовательностной схемы 36
2.2. Получение интервального описания 38
2.3. Монотонные и частично-монотонные системы 41
2.4. ПЛБ реализация синхронной последовательностной схемы, представленной системой BDD - графов 42
2.5. Однонаправленное проявление неисправностей класса WB комбинационной схеме 55
2.6 Результаты экспериментов 60
2.7. Выводы по главе 60
3. Проектированрее самотестируемого детектора (m,n)- кодов 62
3.1. Метод разложения множества кодовых слов (т,п) - кода 63
3.2. Реализация самотестируемого детектора кодовых слов (т,п) - кода для 70
3.3. Обоснование самотестируемости схемы С 78
3.4. Реализация (1,п)-детекторов 86
3.5. Результаты сравнения с другими известными реализациями детекторов
(т,п) -кодов 90
3.6. Выводы по главе 90
4. Оценка сложности детектора 92
4.1. Подсчет числа ПЛБ 92
4.2. Неупорядоченные коды 101
4.2.1. Построение детекторов неупорядоченных кодов 102
4.2.2. Обсуждение свойства самотестируемости детектора 103
4.3. Сокращение дерева формулы А 104
4.4. Выводы по главе 105
Заключение 106
Список литературы 108
