Введение
1. Обзор методов обеспечения работоспособности систем с произвольным доступом и самопроверяемости логических схем 17
1.1. Введение 17
1.2. Обзор методов восстановления поврежденных систем с произвольным доступом 18
1.2.1. Статическое резервирование 21
1.2.2. Динамическое резервирование 22
1.2.3. Гибридная избыточность 24
1.2.4. Использование резервирования для восстановления поврежденных систем с произвольным доступом 25
1.3. Обзор методов обеспечения самопроверяемости логических схем 28
1.3.1. Самотестируемые схемы 30
1.3.2. Самопроверяемые схемы 31
1.4. Выводы 37
2. Частичное восстановление работоспособности дискретных систем с произвольным доступом 39
2.1. Введение 39
2.2. Постановка задачи 39
2.3. Минимизация отображения Р 44
2.3.1. Точный метод 44
2.3.2. Построение минимизированного отображения Р 57
2.3.3. Сравнение алгоритмов 66
2.4. Выводы 68
3. Частично монотонные системы и А,Б-неисправности 70
3.1. Введение 70
3.2. Монотонные и частично монотонные системы 72
3.3. Получение частично-монотонных систем булевых функций по микропрограммному описаниго синхронного последовательности ого устройства 76
3.4. Многоуровневые методы синтеза 83
3.5. Выводы 97
4. Проявление А,Б-неисправностей в синхронных последовательностных устройствах 99
4.1. Введение 99
4.2. Проявление А,Б-неисправностей в самопроверяемых синхронных последовательностных схемах 100
4.3. Выводы 105
Список литературы 107
Заключение 117
