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