Повышение отказоустойчивости конфигурируемых блоков программируемых логических интегральных схем на основе функционально полных толерантных элементов

ВВЕДЕНИЕ
1 АНАЛИЗ СУЩЕСТВУЮЩИХ МЕТОДОВ ПОВЫШЕНИЯ ОТКАЗОУСТОЙЧИВОСТИ ПЛИС И ПОСТАНОВКА ЗАДАЧИ ИССЛЕДОВАНИЯ
1.1 Анализ объекта исследования конфигурируемых блоков программируемых логических интегральных схем и средств повышения
их отказоустойчивости.
1.2 Анализ моделей отказов больших интегральных схем
1.3 Анализ предмета исследования методов обеспечения отказоустойчивости конфигурируемых блоков ПЛИС
1.3.1 Анализ методов обеспечения пассивной
отказоустойчивости ПЛИС
1.3.2 Активная отказоустойчивость
1.3.3 Восстановление ЛИС, допускающей перерывы
в функционировании.
1.4 Постановка задачи исследования
Выводы по главе 1
2 ОПРЕДЕЛЕНИЕ ФУНКЦИОНАЛЬНО ПОЛНЫХ ТОЛЕРАНТНЫХ БУЛЕВЫХ ФУНКЦИЙ ЧЕТЫРХ АРГУМЕНТОВ С УЧЕТОМ МОДЕЛИ ЗАМЫКАНИЙ ПЕРЕМЕННЫХ.
2.1 Получение таблиц функций отказов вектора предполагаемой ФПТ функции для п4 с учетом комбинированной модели отказов.
2.2 Обеспечение свойства нелинейности в смысле теоремы Поста вектора предполагаемой ФПТ функции для п4 с учетом комбинированной
модели отказов
2.3 Обеспечение не самодвойственности ФПТ функции.
2.4 Проверка новых полученных остаточных функций на соответствие теореме Поста.
2.4.1 Остаточные функции для модели отказов замыкания входов
с доминированием
2.4.2 Модель отказов Монтажное И
2.4.3 Модель отказов Монтажное ИЛИ
2.4.4 Модель отказов Монтажное И с доминированием.
2.4.5 Модель отказов Монтажное ИЛИ с доминированием.
2.4.6 1 роверка свойств новых остаточных функций.
2.5 Усовершенствованная методика построения ФПТ функции.
Выводы по главе 2.
3 РАЗРАБОТКА МЕТОДИКИ СИНТЕЗА ЦИФРОВЫХ КОМБИНАЦИОННЫХ СХЕМ В ФУНКЦИОНАЛЬНО ПОЛНОМ ТОЛЕРАНТНОМ БАЗИСЕ И В ОСТАТОЧНЫХ БАЗИСАХ.
3.1 Особенности представления булевых функций в базисе хХ2 V лзл4
3.2 Представление булевой функции в базисе дгЛ2 V х,х
3.3 Особенности синтеза для функций с развязывающей переменной
3.4 Особенности синтеза для функций, обладающих общей переменной .
3.5 Особенности синтеза для несвязных логических функций.
3.6 Алгоритм представления булевой функции в ФПТ базисе хХ2 V хХа
и в остаточных базисах
3.6.1 Синтез в трехэлементном остаточном базисе х, V х,хм ю
3.6.2 Представление функции в двухэлементных остаточных базисах
х, Vх, и х,Хк
3.7 Разработка программы автоматизированного синтеза цифровых комбинационных схем в функционально полном толерантном базисе
и в остаточных базисах.
3.8 Результаты тестирования программы Синтез ФП Г
Выводы по главе 3.
4 МЕТОДИКА СИНТЕЗА КОНФИГУРИРУЕМЫХ БЛОКОВ НА ОСНОВЕ ФУНКЦИОНАЛЬНО ПОЛНЫХ ТОЛЕРАНТНЫХ ЭЛЕМЕНТОВ.
4.1 Оценка эффективности одноканальной восстанавливаемой
ПЛИСФПТ на основе Марковских моделей.
4.1.1 Марковская модель ПЛИСФПТ с переходом на остаточные
базисы и с одним дополнительным состоянием
4.1.2 Разработка программы расчета коэффициента готовности восстанавливаемой ПЛИС с конфигурируемыми блоками на основе функционально полных толерантных элементов.
4.2. Результаты расчтов
4.3 Оценка вероятности безотказной работы отказоустойчивой ПЛИС
Ф1 ГГ со скользящим резервированием и восстановлением лог ики.
4.4 Методика синтеза конфигурируемых блоков на основе ФПТ
элементов.
Выводы по главе 4.
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ