Введение
1. Методы контролепригодного проектирования 14
1.1. Модели неисправностей 16
1.2. Самопроверяемые схемы 18
1.3. Самотестируемые схемы 23
1.4. Отказоустойчивые схемы 28
1.5. Выводы по главе 31
2. Минимизация систем булевых функций, представляющих задание на синтез самопроверяемых дискретных автоматов 33
2.1. Реализация системы частичных булевых функций 35
2.2. Реализация системы частичных булевых функций, полученной по STG описанию 39
2.3. Минимизация частично монотонных реализаций частичных систем булевых функций 44
2.4. Минимизация полностью монотонных реализаций частичных систем булевых функций 54
2.5. Поиск максимальных расширений интервала частичной булевой функции 59
2.5.1. Матрица ортогональности и ее свойства 62
2.5.2. Построение всех максимальных расширений интервала частичной булевой функции 66
2.5.3. Построение некоторых максимальных расширений интервала частичной булевой функции 61
2.5.4. Упрощение матрицы ортогональности 68
2.5.5. Экспериментальные результаты 72
2.6. Выводы по главе 16
3. Построение проверяющего теста, обнаруживающего одиночные неисправности системы безызбыточных дизъюнктивных нормальных форм (БДНФ) 77
3.1. Модели неиправностей безызбыточной ДНФ и способы обнаружения неисправностей 79
3.2. Построение проверяющего теста для одиночных неисправностей БДНФ 83
3.2.1. Поиск корня логического уравнения D = 0 83
3.2.2. Построение всех максимально совместимых подмножеств конъюнкций 89
3.2.3. Построение проверяющего теста Г для БДНФ 93
3.3. Построение проверяющего теста Г для одиночных неисправностей системы БДНФ 98
3.4. Выводы по главе 100
4. Архитектура дискретных устройств, устойчивых к кратковременным и перемежающимся неисправностям 101
4.1. Схема, устойчивая к неисправностям 102
4.2. Исследование схемы на устойчивость к неисправностям 108
4.3. Выводы по главе 116
Заключение 117
Литература
