Станкевич А.В. Теоретические основы систем автоматизированного проектирования

Белорусский государственный университет информатики и радиоэлектроники. Минск. Год не указан. 245 слайдов.Основные понятия теории САПР.
Системный подход к проектированию ЭВС. Иерархия и классификация математических моделей.
Интерполяция табличных данных.
Аппроксимация табличных данных и функций. Численное решение систем линейных уравнений
Численное решение нелинейных уравнений.
Основы метода конечных разностей.
Решение двухмерных задач. Устойчивость, сходимость и погрешность конечно-разностных аппроксимаций.
Топологические методы формирования математической модели на макроуровне.
Анализ чувствительности, точности и статистический анализ.
Модели сигналов и элементов цифровых устройств.
Асинхронное двоичное моделирование цифровых устройств.
Марковские случайные процессы. Потоки событий. Основные понятия теории СМО.
Примеры аналитической модели СМО. Имитационное моделирование СМО.
Виды моделей данных в САПР. Реляционные модели данных.
Оптимальное проектирование ЭВС.
Постановка задачи и классификация методов оптимального проектирования.
Симплекс-метод.
Алгоритм симплекс-метода.
Постановка задачи целочисленного программирования.
Нелинейное программирование.
Решение задачи условной оптимизации в нелинейном программировании.
Формальное описание коммутационных схем. Методы и алгоритмы решения задачи компоновки.
Постановка задачи размещения конструктивных модулей на плате. Классификация алгоритмов размещения.
Последовательный и итерационный алгоритмы размещения конструктивных модулей на плате.
Трассировка соединений.
Модифицированные волновые алгоритмы. Лучевые алгоритмы трассировки.