Введение
1. Проблемы синтеза и обощенные модели самотестирующихся средств вычислительной техники
1.1. Особенности самотестирующихся средств вычислительной техники как объектов технического диагностирования 13
1.2. Структурные модели традиционных самотестирующихся средств вычислительной техники 20
1.3 .Типовая структура двухуровневых программируемых логических
матриц и особенности их тестирования 27
1.4. Структурная и математическая модели самотестирующегося логического преобразователя с перестраиваемым элементным базисом 35
1.5. Обобщенный подход к инженерному синтезу самотестирующихся логических преобразователей с перестраиваемым 40 элементным базисом
Цель работы и задачи исследования 47
2. Разработка методик автоматизированного преобразования дизъюнктивных нормальных форм в полиномиальные формы 48
2.1. Особенности задачи автоматизированного преобразования дизъюнктивных нормальных форм в полиномиальные формы 48
2.2. Методика автоматического формирования полиномиальных нормальных форм по таблицам истинности логических преобразователей 52
2.3. Методика автоматического формирования полиномиальных нормальных форм с использованием разложения на биномиальные коэффициенты 56
2.4. Методика автоматического формирования модифицированных полиномиальных нормальных форм 63
2.5. Автоматизация восстановления произвольных дизъюнктивных нормальных форм в таблицы истинности 67
Выводы 79
3. Разработка методики автоматизированного расчёта эталонных выходных реакций в классе м-последовательностей 80
3.1. Диагностические свойства и теоретические основы М-последовательностей 80
3.2. Методика расчёта конечной суммы произвольной совокупности М-последовательностей из одного и того же класса 92
3.3. Детализация и оптимизация структуры подсистемы генерации тестовых и эталонных последовательностей самотестирующихся 99
логических преобразователей
Выводы 105
4. Экспериментальная проверка достоверности результатов исследования 107
4.1. Метод инженерного синтеза самотестирующихся логических преобразователей с перестраиваемым элементным базисом 107
4.2. Общая характеристика экспериментальных исследований метода синтеза самотестирующихся логических преобразователей 119
4.3, Методика и результаты экспериментальных исследований метода синтеза самотестирующихся логических преобразователей 131
Выводы 143
Заключение 144
Условные обозначения 147
Список литературы
