Батанов Л.А. Автоматизация проектирования цифровых вычислительных систем

М.: Энергия, 1978. — 80 с. — (Библиотека по автоматике. Выпуск 585).В книге излагаются основные сведения по автоматизации проектирования и разработке цифровых вычислительных систем, включающих выбор технической базы проекта и обоснование принятых структурных решений и конструкторско-технологические задачи.
Дается общая постановка задачи, рассматриваются наиболее широко используемые алгоритмы и методы решения, а также их сравнительная оценка.
Книга рассчитана на специалистов, работающих в области вычислительной техники и в смежных областях, а также студентов соответствующих специальностей.Предисловие.
Введение.
Характеристика этапов проектирования цифровой системы.
Моделирование — аппарат и средство АСП.
Автоматизация процесса расчета элементов.
Общая характеристика процесса расчета элементов.
Формализация расчета.
Кодировка схемы элементов и вод в ЭВМ.
Основные трудности автоматического расчета.
Автоматизация построения тестов.
Методы задания характеристик объекта диагностики.
Основные ограничения метода моделирования неисправностей.
Типы цифровых схем и методов неисправностей.
Тесты и тест-процедуры.
Генерирование тестов для комбинационных схем.
Генерирование тестов для последовательностных схем.
Минимизация тестов.
Моделирование временных характеристик работы структур цифровых ЭВМ.
Назначение временных диаграмм.
Способы построения временных диаграмм.
Потактовый способ.
Событийный способ.
Пример построения временной диаграммы.
Сравнение характеристик способов моделирования.
Временные модели элементов.
Способы отображения результатов моделирования.
Языки описания и моделирования структур.
Общая характеристика моделирования структур
Требования к языкам описания и моделирования структур.
Вариант языка, ориентированного на моделирование структур.
Пример применения языка моделирования.
Особенности применения языков моделирования в АСП.
Задачи размещения.
Общая характеристика.
Критерии оценки размещения элементов.
Алгоритмы размещения.
Алгоритмы, основанные на силовых функциях.
Перестановочные алгоритмы.
Последовательные алгоритмы.
Задачи трассировки.
Общая характеристика.
Постановка задачи.
Методы решения.
Теоретические (классические) методы.
Эвристические алгоритмы.
Архив.
Основные функции.
Обслуживающие программы.
Обслуживающие программы.
Характер информации о проектируемой системе.
Принципы структурной организации архива.
Список литературы.