Ви є тут

Разработка моделей и алгоритмов верификации в САПР высокоразрядных СБИС спектрального анализа

Автор: 
Башкиров Алексей Викторович
Тип роботи: 
диссертация кандидата технических наук
Рік: 
2006
Артикул:
563283
179 грн
Додати в кошик

Вміст

ВВЕДЕНИЕ
1 АНАЛИЗ СИСТЕМ И СРЕДСТВ АВТОМАТИЗАЦИИ ПРОЕКТИРОВАНИЯ И ВЕРИФИКАЦИИ УСТРОЙСТВ БЫСТРОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ ВЫСОКОЙ РАЗРЯДНОСТИ
1.1 Основные направления повышения эффективности обработки цифровых сигналов при помощи быстрых алгоритмов
1.2 Особенности алгоритмов, моделей построения и функционирования устройств быстрого преобразования Фурье высокой разрядности
1.2.1 Алгоритмы БПФ с основанием 2 как наиболее оптимальные для реализации модуля БПФ высокой разрядности
1.2.2 Сопоставление объема вычислений при использовании оснований
2,4 и 8, для нахождения оптимального
1.3 Разработка оптимальной математической модели функционирования модуля быстрого преобразования Фурье
1.3.1 Особенности аппаратной реализации быстрого преобразования Фурье с основанием
1.3.2 Оптимальная аппаратурная реализация алгоритма с основанием
1.3.3 Параллельные структуры для алгоритмов быстрого преобразования Фурье с основанием 2 и
1.3.4 Построение поточных схем быстрого преобразования Фурье
1.4 Средства моделирования при проектировании БПФ высокой разрядности. Анализ направлений и методов верификации моделей микроэлектронных устройств высокой разрядности
1.5 Цель и задачи исследования
2 РАЗРАБОТКА МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ ПРОЦЕССА ПРОЕКТИРОВАНИЯ И ВЕРИФИКАЦИИ УСТРОЙСТВ БЫСТРОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ ВЫСОКОЙ РАЗРЯДНОСТИ
2.1 Анализ процесса функциональнологического проектирования
2.1.1 Технология восходящего и нисходящего проектирования
2.2 Иерархия моделей СБИС на этапе функциональнологического проектирования
2.3 Математические модели создания тестовых последовательностей, для верификации устройств быстрого преобразования Фурье высокой разрядности
2.4 Основные выводы второй главы
3 АЛГОРИТМИЗАЦИЯ ФУНКЦИОНАЛЬНОГО ТЕСТИРОВАНИЯ УСТРОЙСТВА БЫСТРОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ ВЫСОКОЙ РАЗРЯДНОСТИ
3.1 Особенности алгоритмов для арифметики с плавающей точкой
3.2 Алгоритм работы функции умножения над операндами с плавающей точкой в формате I4
3.3 Алгоритм работы функции сложения над операндами с плавающей точкой в формате I4
3.4 Алгоритм работы генератора тестовых последовательностей
3.5 Алгоритм работы генератора модели ПЗУ
3.6 Алгоритм работы тестбенча модели умножителя и сумматора
3.7 Алгоритм работы тестбенча модели ОЗУ
3.8 Алгоритм работы тестбенча модели ПЗУ
3.9 Основные выводы третьей главы
4 РАЗРАБОТКА СРЕДСТВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ФУНКЦИОНАЛЬНОГО ТЕСТИРОВАНИЯ МОДУЛЯ БЫСТРОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ ВЫСОКОЙ РАЗРЯДНОСТИ
4.1 Используемые технические средства и обоснование их применения
4.1.1 Платформа тестового окружения
4.1.2 Выбор среды моделирования
4.1.3 Средства автоматизации тестов
4.1.4 Язык и среда программирования
4.2 Функциональное описание программного комплекса
4.2.1 Функциональная схема тестового окружения модели ОЗУ и ПЗУ
4.2.2 Функциональная схема тестового окружения модулей умножения
и суммирования
4.2.3 Функциональная схема тестового окружения модуля БПФ
4.3 Описание физической структуры программного комплекса
4.4 Использование разработанного программного обеспечения для верификации БПФ на 6К точек и анализ его эффективности по результатам внедрения
4.5 Основные выводы четвертой главы
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ