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

• Автор: Неудобнов, Николай Александрович
• Шифр специальности: 05.27.01
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Москва
• Количество страниц: 157 с. : ил.

СОДЕРЖАНИЕ.
Введение.

1. Исследование и анализ технологий передачи информации.

1.1. Анализ современного состояния систем обмена информацией.

1.2. Анализ стандартов и конструкций интерфейсных устройств.

1.3. Анализ маршрутов проектирования интерфейсных устройств.

1.4. Постановка задачи.

2. Разработка математической модели интерфейсных устройств.

2.1. Анализ и выбор .математического аппарата.

2.2. Разработка иерархической модели интерфейсных устройств.

2.3. Разработка метода и формализация перехода от сети Петри к К описанию.

3. Разработка алгоритмов расчета и оптимизации устройств передачи информации.
3.1. Анализ и выбор критерия оптимизации интерфейсных устройств.
3.2. Разработка алгоритмов генерации структурных вариантов ИУ.
3.3. Разработка алгоритмов анализа и оптимизации логической структуры ИУ
4. Программное моделирование ИУ.
4.1. Описание пакета программ.
4.2. Тестирование пакета.
Заключение
Список литературы


Х-модулей найти структурные варианты выполнения базовых операций ИУ, при которых значения целевой функции стратегии генерации не превышают заданного максимума. Алгоритм генерации логических вариантов формирует логические варианты построения ИУ, извлекая из библиотеки //? Данные варианты сразу же проверяются на удовлетворение ограничениям посредством проведения расчета времени реакции на основе результатов моделирования СИССП (слово языка соответствует последовательности операций). Используется методика последовательных отсечений не прошедших верификационные расчеты вариантов. В результате рассчитывается значение выбранного критерия для небольшого количества оставшихся вариантов, что позволяет отсортировать их по возрастанию или убыванию значения критерия. Разработаны соответствующие структуры для хранения СИССП, результатов моделирования, структурных и логических вариантов ИУ и результатов поверочных расчетов в реляционных базах данных. В четвертой главе описана структура разработанного комплекса прикладных программ, реализующего указанные выше модели, алгоритмы и методы. Библиотека подпрограмм расчета стратегии генерации, конструкторских ограничений и критериев оптимизации Часть модулей КГТ реализовано в виде внешних программ, написанных на языке C++. Другая часть реализована в виде хранимых сервером Interbase процедур на интерпретируемом языке PL/SQL. Пакет алгоритмов анализа свойств сети, представляющей ИУ - PL/SQL. Процедура алгоритма генерации структурных вариантов - PL/SQL. Программа, синтезирующая VHDL-описание по заданной сети Петри - C++. Подпрограмма, генерирующая файл, содержащий описание текущих конфигураций для VHDL-Moayncu. Конфигурация определяется заданными параметрами оптимизации. В состав блока программ-синтезаторов входят пакеты различных фирм общей чертой которых должна быть возможность синтеза ИУ на уровне регистровых передач или на вентильном уровне по заданному КЯОІ-описанию. Поскольку различные программы используют разные алгоритмы синтеза, то и результаты синтеза по одному и тому же VHDL-коду могут значительно различаться. При работах, проводимых в рамках программы по разработке отечественного CAN-контроллера, использовался пакет LeonardoSpectmm фирмы Mentor Graphics. Для автоматизации процедуры выбора оптимального варианта применяется специализированная программа, написанная на C++, приводящая файлы отчетов программ-синтезаторов к сравнимому виду. Программы моделирования и анализа синтезированного ИУ по его VHDL-описанию предназначены для верификации VHDL-кода верхнего уровня на предмет соответствия поведения ИУ требованиям технического задания. Кроме того, с их помощью осуществляется верификации KtfDI-описания второго уровня для определения финальных временных параметров, критических путей распространения сигналов и адекватности поведению РНОД-модели первого уровня. Программы моделирования, как правило, входят в состав интегрированных пакетов, выпускаемых различными фирмами, специализирующихся на разработке САПР для проектирования программируемой элементной базы. Широко известны продукты фирмы Cadence, Mentor Graphics, Synopsys и. При работе над проектом CAN-контроллер применялись пакеты ModelSim и LenardoSpectrum фирмы Mentor Graphics. Общая схема пакета приведена на рис. Входным языком пакета являет командный файл на языке PL/SQL, в котором задаются в матричном виде элементы сети, моделирующей ИУ, входные воздействия, элементы стратегии генерации структурных вариантов, порядок вызова процедур генерации структурных вариантов, ограничения и критерии оптимизации логических вариантов, процедуры их расчета. Сервер баз данных производит разбор командного файла, запись соответствующих данных в базу, далее производит вызов и отработку соответствующих процедур и алгоритмов и возврат подробного отчета о выполненных командах пользователю. Работа с пакетами третьих фирм (LeonardoSpectrum и ModelSim) осуществляется из того же командного файла с использованием интерфейса командной строки, который предусмотрен во всех вышеописанных пакетах.