СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. АНАЛИЗ СИСТЕМ И СРЕДСТВ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ И ИЗБЫТОЧНОГО ТЕСТИРОВАНИЯ СОВРЕМЕННЫХ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
1.1. Этапы проектирования цифровых устройств на базе ПЛИС в САПР
1.2. Анализ современных средств автоматизированной верификации и избыточного тестирования ПЛИС
1.3. Особенности построения среды функциональной верификации и генерации тестов
1.4. Цель и задачи исследования
2. РАЗРАБОТКА МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ ПРОЦЕССА ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
2.1. Построение структурной схемы процесса функциональной верификации ПЛИС
2.2. Формирование тестовых последовательностей для верификации ПЛИС на основе стандарта 1ЕЕЕ
2.3. Построение фафовой модели верификационного окружения ПЛИС
2.4. Основные выводы второй главы
3. СОЗДАНИЕ АЛГОРИТМОВ ВСЕОБЩЕГО И ПОЭЛЕМЕНТНОГО ТЕСТИРОВАНИЯ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
3.1. Конструктивные особенности основных структурных элементов ПЛИС
3.2. Построение алгоритмов поэлементного тестирования функциональной модели ПЛИС
3.3. Алгоритмы автоматизированной генерации тестовых последовательностей
3.4. Основные выводы третьей главы
4. РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПОЛНОГО ФУНКЦИОНАЛЬНОГО ТЕСТИРОВАНИЯ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
4.1. Инструментальная среда реализации верификационного окружения ПЛИС
4.2. Структурнофункциональная организация программного комплекса верификации
4.3. Использование разработанного программного обеспечения для верификации ПЛИС и анализ его эффективности
4.4. Основные выводы четвертой главы
ЗАКЛЮЧЕНИЕ ПО
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- Київ+380960830922